update genesis keyless vk (#13303)

* update genesis keyless vk * also update sample proofs --------- Co-authored-by: Oliver He <[email protected]>
aptos-labs · May 17, 2024 · 3631b4a · 3631b4a
1 parent a833681
commit 3631b4a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 14 deletions.
diff --git a/types/src/keyless/circuit_constants.rs b/types/src/keyless/circuit_constants.rs
@@ -56,26 +56,26 @@ pub fn devnet_prepared_vk() -> PreparedVerifyingKey<Bn254> {
 
     let delta_g2 = g2_projective_str_to_affine(
         [
-            "10857046999023057135944570762232829481370756359578518086990519993285655852781",
-            "11559732032986387107991004021392285783925812861821192530917403151452391805634",
+            "6309950375468367434079888575625734658722834850554198467265341412057133512289",
+            "290788916745604303732014379515714703987358626088033030814233237684691015915",
         ],
         [
-            "8495653923123431417604973247489272438418190587263600148770280649306958101930",
-            "4082367875863433681332203403145435568316851327593401208105741076214120093531",
+            "18062633083579661887564610476476551517623934510295133920710347041696656037149",
+            "18531177357310703535722548657431805690263733685063962985389260695754645724386",
         ],
     )
     .unwrap();
 
     let mut gamma_abc_g1 = Vec::new();
     for points in [
         g1_projective_str_to_affine(
-            "19759886250806183187785579505109257837989251596255610913102572077808842056375",
-            "8515569072948108462120402914801299810016610043704833841603450087200707784492",
+            "3314139460766150258181182511839382093976747705712051605578952681462625768062",
+            "15177929890957116336235565528373348502554233971408496072173139426537995658198",
         )
         .unwrap(),
         g1_projective_str_to_affine(
-            "18250059095913215666541561118844673017538035392793529003420365565251085504261",
-            "21846936675713878002567053788450833465715833259428778772043736890983365407823",
+            "11040819149070528816396253292991080175919431363817777522273571096667537087166",
+            "13976660124609527451731647657081915019685631850685519260597009755390746148997",
         )
         .unwrap(),
     ] {

diff --git a/types/src/keyless/circuit_testcases.rs b/types/src/keyless/circuit_testcases.rs
@@ -181,9 +181,9 @@ pub(crate) static SAMPLE_PK: Lazy<KeylessPublicKey> = Lazy::new(|| {
 /// https://github.com/aptos-labs/devnet-groth16-keys/commit/02e5675f46ce97f8b61a4638e7a0aaeaa4351f76
 pub(crate) static SAMPLE_PROOF: Lazy<Groth16Proof> = Lazy::new(|| {
     Groth16Proof::new(
-        G1Bytes::new_from_vec(hex::decode("0093f692e4b0fb2e04acf52b862abf7d629a729cc1cd888ff46843dd4ced0d2e").unwrap()).unwrap(),
-        G2Bytes::new_from_vec(hex::decode("2e8deaf247490013eef4d8bbb1a407e72bf932cd141ef9347b1b49c0c4cc5a12b1ffd67e3b1119b384f4c821df35f9d3540f027c3766a4a4acc67cc0d804ff28").unwrap()).unwrap(),
-        G1Bytes::new_from_vec(hex::decode("a94683ea56b099fafb157321a52ddd7578f1ba5dc85acef3e231d1b5f1c03713").unwrap()).unwrap(),
+        G1Bytes::new_from_vec(hex::decode("95030afdb785624d3f305655579775fe216a4780496ccb7abe899dc8a7bcf798").unwrap()).unwrap(),
+        G2Bytes::new_from_vec(hex::decode("08d5814954cb04ac1f80771f783585162abb2cd673203f7ee22ec87a783f431cc649ca449bc1d2d93ba4aaecd382f94306c23003ed1e1c0592a46c64e5cf6504").unwrap()).unwrap(),
+        G1Bytes::new_from_vec(hex::decode("117177343a361982883579c3f49eb30b05d79b7ca1e96556be7ccb2ee88ea391").unwrap()).unwrap(),
     )
 });
 
@@ -194,9 +194,9 @@ pub(crate) static SAMPLE_PROOF: Lazy<Groth16Proof> = Lazy::new(|| {
 /// https://github.com/aptos-labs/devnet-groth16-keys/commit/02e5675f46ce97f8b61a4638e7a0aaeaa4351f76
 pub(crate) static SAMPLE_PROOF_NO_EXTRA_FIELD: Lazy<Groth16Proof> = Lazy::new(|| {
     Groth16Proof::new(
-        G1Bytes::new_from_vec(hex::decode("6bfcb02a4a0c4aaefa70b3d5a535d1a306c2b23cc6bb23f0c25992e5e3839324").unwrap()).unwrap(),
-        G2Bytes::new_from_vec(hex::decode("55af188580d37264a4876560bbe763b608be566849697778830aa0d47ab27129434d02b33179a6c39c648f1bf0c3074e48c5b58a63aba83b3567a7fc6de87202").unwrap()).unwrap(),
-        G1Bytes::new_from_vec(hex::decode("49513acd5cf07b77d1558387d14b69ebe55a95a886ebb735dc73d456b1116113").unwrap()).unwrap(),
+        G1Bytes::new_from_vec(hex::decode("62b167d43c33169b96c018deaa4efdc5223e095016dc6ee2cd1ad1e61755d8a5").unwrap()).unwrap(),
+        G2Bytes::new_from_vec(hex::decode("2dd8fcc64014ab9f877c7ba03618cf59c49c69204b981be297dc835f60d4f923192e0f894ad947bd4aee96fd19305eb79ff359e8c341a17e8f6ba470be655e12").unwrap()).unwrap(),
+        G1Bytes::new_from_vec(hex::decode("5e6e3e076e632f1440327758c634a311d83244ad7d32edcdf66458d7e0ed5619").unwrap()).unwrap(),
     )
 });