Add the atomic-swap proof generation

Author: OmegaTymbJIep

Cargo.lock

@@ -4,13 +4,24 @@ version = "0.1.0"
 edition = "2021"
 license = "GPL-3.0"
 
+[workspace]
+members = [
+    "crates/rapidsnark",
+    "crates/rapidsnark-sys",
+    "crates/witness_calculator"
+]
+
 [dependencies]
-eyre            = { version = "0.6.11",  default-features = false }
-poseidon-rs     = { version = "0.0.10",  default-features = false }
-clap            = { version = "4.4.18",  default-features = false, features = ["std"] }
-ethers          = { version = "2.0.11",  default-features = false }
-config          = { version = "0.13.4",  default-features = false, features = ["toml"] }
-serde           = { version = "1.0.130", default-features = false }
+rand                = { version = "0.8.4",   default-features = false }
+eyre                = { version = "0.6.11",  default-features = false }
+poseidon-rs         = { version = "0.0.10",  default-features = false }
+clap                = { version = "4.4.18",  default-features = false, features = ["std"] }
+ethers              = { version = "=2.0.7",  default-features = false }
+config              = { version = "0.13.4",  default-features = false, features = ["toml"] }
+serde               = { version = "1.0.130", default-features = false }
+num                 = { version = "0.4.0" }
+rapidsnark          = { path    = "crates/rapidsnark" }
+witness-calculator  = { path    = "crates/witness_calculator" }
 
 [dependencies.bdk]
 git              = "https://github.com/velykodnyi/bdk"

Cargo.toml

@@ -8,6 +8,11 @@ url     = "http://127.0.0.1:18443"
 auth    = { username = "admin1", password = "123" }
 network = "regtest"
 
+[circom]
+witnes_calculator_path = "./atomic_swap.dev/atomic_swap.wasm"
+proving_key_path = "./atomic_swap.dev/circuit_final.zkey"
+verification_key_path = "./atomic_swap.dev/verification_key.json"
+
 [alice]
 bitcoin_private_key  = "dbf0d0e35b10578d001e3560946a40a5da79d24004b91685dd4eae947d435741"
 ethereum_private_key = "7319e149ff5ae8c0993261ef7d93c40c45dade4eb34c3ca20ba49260e9043a55"

examples/atomic-swap/config.example.toml config.example.tomlexamples/atomic-swap/config.example.toml renamed to config.example.toml

@@ -0,0 +1,4 @@
+[package]
+name    = "rapidsnark-sys"
+version = "0.1.0"
+edition = "2021"

crates/rapidsnark-sys/Cargo.toml

@@ -0,0 +1,19 @@
+use std::env;
+
+fn main() {
+    // Determine the directory where build.rs and Cargo.toml reside
+    let dir = env::var("CARGO_MANIFEST_DIR").unwrap();
+
+    // Construct the path to static libraries
+    let path = format!("{}/vendor", dir);
+
+    // Specify the paths to the static libraries
+    println!("cargo:rustc-link-search=native={}", path);
+
+    // Tell cargo to link with these static libraries
+    println!("cargo:rustc-link-lib=static=rapidsnark-darwin-arm64");
+    println!("cargo:rustc-link-lib=static=gmp-darwin-arm64");
+
+    // Link with the C++ standard library
+    println!("cargo:rustc-link-lib=c++");
+}

crates/rapidsnark-sys/build.rs

@@ -0,0 +1,32 @@
+#ifndef PROVER_HPP
+#define PROVER_HPP
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+//Error codes returned by the functions.
+#define PRPOVER_OK                  0x0
+#define PPROVER_ERROR               0x1
+#define PPROVER_ERROR_SHORT_BUFFER  0x2
+
+
+/**
+ * @return error code:
+ *         PRPOVER_OK - in case of success.
+ *         PPROVER_ERROR - in case of an error.
+ */
+
+int
+groth16_prover(const void *zkey_buffer,   unsigned long  zkey_size,
+               const void *wtns_buffer,   unsigned long  wtns_size,
+               char       *proof_buffer,  unsigned long *proof_size,
+               char       *public_buffer, unsigned long *public_size,
+               char       *error_msg,     unsigned long  error_msg_maxsize);
+
+#ifdef __cplusplus
+}
+#endif
+
+
+#endif // PROVER_HPP

crates/rapidsnark-sys/prover.h

@@ -0,0 +1,20 @@
+/* automatically generated by rust-bindgen 0.65.1 */
+
+pub const PRPOVER_OK: u32 = 0;
+pub const PPROVER_ERROR: u32 = 1;
+pub const PPROVER_ERROR_SHORT_BUFFER: u32 = 2;
+extern "C" {
+    #[doc = " @return error code:\n         PRPOVER_OK - in case of success.\n         PPROVER_ERROR - in case of an error."]
+    pub fn groth16_prover(
+        zkey_buffer: *const ::std::os::raw::c_void,
+        zkey_size: ::std::os::raw::c_ulong,
+        wtns_buffer: *const ::std::os::raw::c_void,
+        wtns_size: ::std::os::raw::c_ulong,
+        proof_buffer: *mut ::std::os::raw::c_char,
+        proof_size: *mut ::std::os::raw::c_ulong,
+        public_buffer: *mut ::std::os::raw::c_char,
+        public_size: *mut ::std::os::raw::c_ulong,
+        error_msg: *mut ::std::os::raw::c_char,
+        error_msg_maxsize: ::std::os::raw::c_ulong,
+    ) -> ::std::os::raw::c_int;
+}