way better sync mechanism

usherlabs · Mar 24, 2024 · 3d15ec3 · 3d15ec3
1 parent 720e919
commit 3d15ec3
Show file tree

Hide file tree

Showing 6 changed files with 30 additions and 23 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
-name = "zkllvm-rust-template"
-version = "0.1.0"
+name = "zkoracle"
+version = "0.0.1"
 edition = "2021"
 
 [dependencies]

diff --git a/README.md b/README.md
@@ -1,4 +1,6 @@
-# zkLLVM Rust template
+# zkOracle 
+
+*Fork of zkLLVM Rust template*
 
 [![Tutorial check](https://github.com/NilFoundation/zkllvm-rust-template/actions/workflows/main.yml/badge.svg)](https://github.com/NilFoundation/zkllvm-rust-template/actions/workflows/main.yml)
 
@@ -21,13 +23,18 @@ On most of the modern Linux-based platforms you will already have these installe
 
 ### Table of contents
 
-- [Introduction](#introduction)
-- [Getting started](#getting-started)
-- [Building code](#building-rust-code)
-- [Generating circuit](#generating-circuit)
-- [Generating proof locally](#generating-proof-locally)
-- [Uploading circuit statement to Proof Market](#uploading-circuit-statement-to-proof-market)
-- [Verifying proof on EVM](#verifying-proof-on-evm)
+- [zkOracle](#zkoracle)
+  - [Prerequisites](#prerequisites)
+    - [Table of contents](#table-of-contents)
+  - [Introduction](#introduction)
+  - [Getting started](#getting-started)
+    - [Install zkLLVM toolchain](#install-zkllvm-toolchain)
+    - [Clone repository](#clone-repository)
+  - [Building Rust code](#building-rust-code)
+  - [Generating circuit](#generating-circuit)
+  - [Generating proof locally](#generating-proof-locally)
+  - [Uploading circuit statement to Proof Market](#uploading-circuit-statement-to-proof-market)
+  - [Verifying proof on EVM](#verifying-proof-on-evm)
 
 ## Introduction
 

diff --git a/bin/devsync.sh b/bin/devsync.sh
@@ -5,4 +5,4 @@ shift
 
 echo "Synchronising local repository to remote server at $OPERATION...";
 
-rsync -azP -e ssh ./ $OPERATION:~/zkoracle/
+rsync -vhra -e ssh ./ $OPERATION:~/zkoracle/ --include='**.gitignore' --exclude='/.git' --filter=':- .gitignore' --delete-after
diff --git a/inputs/example-same.inp b/inputs/example-same.inp
diff --git a/inputs/example-same.json b/inputs/example-same.json
@@ -0,0 +1,8 @@
+[
+  {
+    "int": 5
+  },
+  {
+    "int": 5
+  }
+]
diff --git a/src/main.rs b/src/main.rs
@@ -2,16 +2,16 @@
 #![feature(const_trait_impl)]
 #![feature(effects)]
 
-use ark_ff::Field;
-use ark_pallas::Fq;
+// use ark_ff::Field;
+// use ark_pallas::Fq;
 
 // fn pow(a: Fq, n: u32) -> Fq {
 //     (0..n).fold(Fq::ONE, |acc, _| acc * a)
 // }
 
 #[circuit]
-pub fn main(a: Fq, b: Fq) {
-    assert_eq!(a, b)
+pub fn main(a: i32, b: i32) -> bool {
+    return a == b
 }
 
 // pub fn field_arithmetic_example(a: Fq, b: Fq) -> Fq {