feat(cometbls-near): groth16 verifier with host functions

Signed-off-by: aeryz <[email protected]>

Cargo.toml

@@ -73,7 +73,7 @@ members = [
   "light-clients/near/near",
   "near/dummy-ibc-app",
   "near/near-ibc-tests",
-  "light-clients/near/ics08-near", "lib/near-verifier", "light-clients/cometbls/near", "poc-relayer",
+  "light-clients/near/ics08-near", "lib/near-verifier", "light-clients/cometbls/near", "poc-relayer", "near/test-circuit",
 ]
 
 [workspace.package]

lib/cometbls-groth16-verifier/src/lib.rs

@@ -282,6 +282,7 @@ fn verify_generic_zkp_2(
             .chain_update(trusted_validators_hash)
             .finalize(),
     );
+    // println!("commitment: {:?}", commitment_hash.to_be_bytes());
     // drop the most significant byte to fit in bn254 F_r
     inputs_hash[0] = 0;
     let public_inputs: [substrate_bn::Fr; NB_PUBLIC_INPUTS] = [
@@ -460,4 +461,31 @@ mod tests {
             Err(Error::InvalidProof)
         );
     }
+
+    #[test]
+    fn print_consts() {
+        let mut buffer = [0u8; 64];
+        GAMMA_ABC_G1[2]
+            .x()
+            .to_big_endian(&mut buffer[0..32])
+            .unwrap();
+        GAMMA_ABC_G1[2]
+            .y()
+            .to_big_endian(&mut buffer[32..64])
+            .unwrap();
+        buffer.reverse();
+        println!(
+            "{}",
+            format!(
+                r#"
+            G1Affine {{
+                x: Fq({:?}),  
+                y: Fq({:?}),  
+            }}
+            "#,
+                &buffer[32..64],
+                &buffer[0..32],
+            )
+        );
+    }
 }

lib/unionlabs/src/ibc/lightclients/cometbls/client_state.rs

@@ -18,6 +18,7 @@ use crate::{
         from
     )
 )]
+#[derive(Default)]
 pub struct ClientState {
     pub chain_id: String,
     pub trusting_period: u64,

lib/unionlabs/src/uint.rs

@@ -8,6 +8,7 @@ use core::{
     str::FromStr,
 };
 
+use borsh::BorshSerialize;
 use serde::{Deserialize, Serialize};
 use serde_utils::HEX_ENCODING_PREFIX;
 

light-clients/cometbls/near/Cargo.toml

@@ -19,6 +19,8 @@ borsh = { workspace = true, features = [ "derive"] }
 thiserror = { workspace = true }
 ics23              = { workspace = true }
 cometbls-groth16-verifier = { workspace = true }
+hex-literal = {workspace = true }
+hex.workspace       = true
 
 [lints]
 workspace = true

light-clients/cometbls/near/src/contract.rs

@@ -23,7 +23,7 @@ use unionlabs::{
     id::ClientId,
 };
 
-use crate::error::Error;
+use crate::{error::Error, verifier::verify_zkp};
 
 #[near_bindgen]
 #[derive(PanicOnDefault, BorshDeserialize, BorshSerialize)]
@@ -205,13 +205,13 @@ impl Contract {
             return false;
         }
 
-        // cometbls_groth16_verifier::verify_zkp(
-        //     &self.client_state.chain_id,
-        //     trusted_validators_hash,
-        //     &header.signed_header,
-        //     header.zero_knowledge_proof,
-        // )
-        // .unwrap();
+        verify_zkp(
+            &self.client_state.chain_id,
+            trusted_validators_hash,
+            &header.signed_header,
+            header.zero_knowledge_proof,
+        )
+        .unwrap();
 
         true
     }
@@ -221,6 +221,16 @@ impl Contract {
         false
     }
 
+    pub fn test_circuit(
+        &self,
+        chain_id: String,
+        trusted_validators_hash: unionlabs::hash::H256,
+        header: unionlabs::ibc::lightclients::cometbls::light_header::LightHeader,
+        zkp: Vec<u8>,
+    ) {
+        verify_zkp(&chain_id, trusted_validators_hash, &header, zkp).unwrap()
+    }
+
     pub fn update_client(&mut self, client_msg: Vec<u8>) -> (Vec<u8>, Vec<(Height, Vec<u8>)>) {
         let header = Header::decode_as::<Proto>(&client_msg).unwrap();
 

light-clients/cometbls/near/src/error.rs

@@ -40,4 +40,13 @@ pub enum Error {
 
     #[error("the chain id cannot be more than 31 bytes long to fit in the bn254 scalar field")]
     InvalidChainId,
+
+    #[error("invalid zkp length")]
+    InvalidZKPLength,
+
+    #[error("invalid height")]
+    InvalidHeight,
+
+    #[error("invalid timestamp")]
+    InvalidTimestamp,
 }

light-clients/cometbls/near/src/lib.rs

@@ -1,2 +1,3 @@
 pub mod contract;
 pub mod error;
+pub mod verifier;