Feat: Allow generation and veryfying groth16 proofs to enable compatiblity between sp1 versions

common/Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+name = "cryptographic_sync-common"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+serde = { version = "1.0", default-features = false, features = ["derive", "std"] }
+tendermint-light-client-verifier = { version = "0.35.0", default-features = false, features = [
+    "rust-crypto",
+] }
+p3-baby-bear = "0.1.3-succinct"

common/src/lib.rs

@@ -0,0 +1,35 @@
+use tendermint_light_client_verifier::types::LightBlock;
+use serde::{Serialize, Deserialize};
+use p3_baby_bear::BabyBear;
+
+#[derive(Serialize, Deserialize)]
+pub enum ProgramInput {
+    Recursive(RecursiveProgramInput),
+    Genesis {
+        hash: Vec<u8>,
+        header: LightBlock,
+        vkey: [u8; 32],
+    }
+}
+
+#[derive(Serialize, Deserialize)]
+pub struct RecursiveProgramInput {
+    pub public_values: Vec<u8>,
+    pub genesis_hash: Vec<u8>,
+    pub recursive_proof_input: RecursiveProofInput,
+
+    pub previous_header: LightBlock,
+    pub current_header: LightBlock,
+
+    pub current_vkey: [BabyBear; 8],
+    pub previous_vkey: [BabyBear; 8],
+}
+
+#[derive(Serialize, Deserialize)]
+pub enum RecursiveProofInput {
+    Sp1, // proof itself is passed via write_proof
+    Groth16 {
+        proof: Vec<u8>,
+        sp1_key: Vec<u8>,
+    }
+}

flake.nix

@@ -0,0 +1,71 @@
+{
+  description = "Rust development environment";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = nixpkgs.legacyPackages.${system};
+        # Read the file relative to the flake's root
+        overrides = (builtins.fromTOML (builtins.readFile (self + "/rust-toolchain.toml")));
+        libPath = with pkgs; lib.makeLibraryPath [
+          # load external libraries that you need in your rust project here
+	    pkgs.openssl
+            pkgs.stdenv.cc.cc.lib
+        ];
+      in
+      {
+        devShells.default = pkgs.mkShell rec {
+          nativeBuildInputs = [ pkgs.pkg-config ];
+          buildInputs = with pkgs; [
+            clang
+            llvmPackages.bintools
+            rustup
+	    openssl
+            stdenv.cc.cc.lib
+          ];
+
+          RUSTC_VERSION = overrides.toolchain.channel;
+
+          # https://github.com/rust-lang/rust-bindgen#environment-variables
+          LIBCLANG_PATH = pkgs.lib.makeLibraryPath [ pkgs.llvmPackages_latest.libclang.lib ];
+
+          shellHook = ''
+            export PATH=$PATH:''${CARGO_HOME:-~/.cargo}/bin
+            export PATH=$PATH:''${RUSTUP_HOME:-~/.rustup}/toolchains/$RUSTC_VERSION-x86_64-unknown-linux-gnu/bin/
+          '';
+
+          # Add precompiled library to rustc search path
+          RUSTFLAGS = (builtins.map (a: ''-L ${a}/lib'') [
+            # add libraries here (e.g. pkgs.libvmi)
+	    pkgs.openssl
+            pkgs.stdenv.cc.cc.lib
+
+          ]);
+
+          LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath (buildInputs ++ nativeBuildInputs);
+
+
+          # Add glibc, clang, glib, and other headers to bindgen search path
+          BINDGEN_EXTRA_CLANG_ARGS =
+          # Includes normal include path
+          (builtins.map (a: ''-I"${a}/include"'') [
+            # add dev libraries here (e.g. pkgs.libvmi.dev)
+            pkgs.glibc.dev
+	    pkgs.openssl
+            pkgs.stdenv.cc.cc.lib
+          ])
+          # Includes with special directory paths
+          ++ [
+            ''-I"${pkgs.llvmPackages_latest.libclang.lib}/lib/clang/${pkgs.llvmPackages_latest.libclang.version}/include"''
+            ''-I"${pkgs.glib.dev}/include/glib-2.0"''
+            ''-I${pkgs.glib.out}/lib/glib-2.0/include/''
+          ];
+        };
+      }
+    );
+}