Move to arkworks BLS implementation

CosmWasm · Apr 16, 2024 · fc84471 · fc84471
1 parent 903bea1
commit fc84471
Show file tree

Hide file tree

Showing 23 changed files with 2,909 additions and 1,546 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/contracts/burner/Cargo.lock b/contracts/burner/Cargo.lock
diff --git a/contracts/crypto-verify/Cargo.lock b/contracts/crypto-verify/Cargo.lock
diff --git a/contracts/crypto-verify/Cargo.toml b/contracts/crypto-verify/Cargo.toml
@@ -30,7 +30,7 @@ cranelift = ["cosmwasm-vm/cranelift"]
 
 [dependencies]
 base64 = "0.22.0"
-bls12_381 = { version = "0.8.0", default-features = false }
+ark-bls12-381 = { version = "0.4.0", default-features = false }
 cosmwasm-schema = { path = "../../packages/schema" }
 cosmwasm-std = { path = "../../packages/std", features = ["cosmwasm_2_1", "iterator"] }
 hex = "0.4"
@@ -42,5 +42,7 @@ sha2 = "0.10"
 sha3 = "0.10"
 
 [dev-dependencies]
+ark-ec = "0.4.2"
+ark-serialize = { version = "0.4.2", default-features = false }
 cosmwasm-vm = { path = "../../packages/vm", default-features = false, features = ["iterator"] }
 hex-literal = "0.4.1"
diff --git a/contracts/crypto-verify/tests/integration.rs b/contracts/crypto-verify/tests/integration.rs
@@ -19,7 +19,9 @@
 //! 5. Anywhere you see query(deps.as_ref(), ...) you must replace it with query(&mut deps, ...)
 //! (Use cosmwasm_vm::testing::{init, execute, query}, instead of the contract variants).
 
-use bls12_381::G1Affine;
+use ark_bls12_381::G1Affine;
+use ark_ec::AffineRepr;
+use ark_serialize::CanonicalSerialize;
 use cosmwasm_std::{Binary, Response, Uint128};
 use cosmwasm_vm::testing::{
     instantiate, mock_env, mock_info, mock_instance, query, MockApi, MockQuerier, MockStorage,
@@ -116,8 +118,13 @@ fn bls12_381_verifies() {
 
     let msg = build_bls_message(round, &previous_signature);
 
+    let mut serialized = [0; 48];
+    G1Affine::generator()
+        .serialize_compressed(&mut serialized[..])
+        .unwrap();
+
     let verify_msg = QueryMsg::VerifyBls12PairingEquality {
-        p: G1Affine::generator().to_compressed().into(),
+        p: serialized.into(),
         q: signature.into(),
         r: PK_LEO_MAINNET.into(),
         msg: msg.into(),
@@ -142,8 +149,13 @@ fn bls12_381_errors() {
 
     let msg = build_bls_message(round, &previous_signature);
 
+    let mut serialized = [0; 48];
+    G1Affine::generator()
+        .serialize_compressed(&mut serialized[..])
+        .unwrap();
+
     let verify_msg = QueryMsg::VerifyBls12PairingEquality {
-        p: G1Affine::generator().to_compressed().into(),
+        p: serialized.into(),
         q: signature.into(),
         r: PK_LEO_MAINNET.into(),
         msg: msg.into(),