chore: Update verifier assets for sphinx (#18)

* chore: Update verifier assets for sphinx * chore: Update fixtures --------- Co-authored-by: wwared <[email protected]>
argumentcomputer · Sep 30, 2024 · 77bdf6f · 77bdf6f
1 parent 1f8c7d9
commit 77bdf6f
Show file tree

Hide file tree

Showing 9 changed files with 13 additions and 19 deletions.
diff --git a/assets/epoch_change.json b/assets/epoch_change.json
@@ -1,5 +1,5 @@
 {
-    "vkey": "0x0028418ec600456b3768cd78d1af143a057fc71a3cf522c557c7b473762946ee",
-    "publicValues": "0xe0e58f00000000005d32119aae2ee9f88867d5787af5c4df68884a4bf8fff525ff8c408e8f98805085382a0c8b1b38485a3d816f31ab5b23a0eae94d86c90086cd4e7b6e8c5c46825ebd1cf9ea54ce88af740aad4d7e95e742157209f36867ff5d7d490afa91c6bf",
-    "proof": "0x017c7eb73cc842da1f0de7e633cafe08d3443d7d2ab8b2840505436a1917ed8c24e2579f01e06d4b564a4e67cb7eb5e6223c176f5198aa6037a305a57dc24dbf0c5e784927edad806a06f27025febc0d0de8e2a79ed364ae9d1fbe7f16afe1811ccf7e9d2b556a474a902893460b55575b95e7e1ef5056965e7a008d9abc01cb1ba237f078fb45cec3204013d9973930c953c753bc3b5ff6015e1f22b87556f3272df6e02b68324f35e7082d9435428daa1fe036114bf2a0aca55388415eba6106716a421310b52e8490d2a416fd2458a9880106015729bb26ff592c9cf09ca01d623d186a3156de18defc205bc014624f8e4671abd419e9331d1702218deada2bdf332bb58aaf4e0a3e9812295ee36952a68419bba7271bc5813881bffc21771511696756276892e56c0d8c690bdd9c5d7dd79fd4801e20fd634ad956a770990758e274e64e041597728e73246ee4473e7a889772b217d414fe0605c0f8c0fd04d818dec517ae77f199d45b71a6ed2d1d253a497c5960fbff9b46a7641358b603d3f9ea0990150c10370190bd713982ebaf6ce021e2c6a1c77cf2ce3807b8cf1e12092cd52e0766402215fe41bce9da2dc2aa160e5e2aa62cac1a0f594785102a15f9501c3c4486566a21307c56aa4fa35dc39f05e49e4488731ba47f6cad3a230a188cbe9243fb5067bd8ec31d4fa8f1bb5802d93adcc213a5bfc530bc29de00000007093eba33099b7c086aaa18a4ed5d8358987eb303754202f712b4a19a51cc4643278b264dea8506db28133297289a13af02badf6d98900fd552a363a74dd2131d148efa4fb4abd437d9499f10bac59b124b128ee012c719264129c816821ec2910011875e35f8d2d28bd6ec36ce36a1680a546f28541f29681a22045b7dda321f2ec85e7ef610c112479e66d8776bcffb7202e2c6f9ed8333035326b5e6ac9e8b0f51671f56074d8ef83da4ab571a019f7f50cf85b3ddf3bf1f9b43c08f93274908e28c8e7138f858f1ff2227c265be7aabd17fc4091f96a12df3c236f8a8c74d2d35d17dfc4c2893c1e31d21c079fe0866657d34dac442ac76cb960d93cc19092234c977bdfeeee0ee0c32c61fe0fb04920f53f0decdd6b3cccb9d612b6ef9a20579d16dfa9e86f6be075fea1bf3fa1f9de0a18fe59ea8564c7cc1b30950cca40000000121ae71eb42b0d35cb26c2c981d9d314d9017a195401ba77e0ac8774b93f78f6102f3c6622b785034e3393a6009886b42e8d64293adff9028e35b06fc08a67204"
-}
+  "vkey": "0x00c55464e91190f7548e4355c11cc43c1187f73cb1547a37aba0e6a1760a11d0",
+  "publicValues": "0xe0e58f00000000005d32119aae2ee9f88867d5787af5c4df68884a4bf8fff525ff8c408e8f98805085382a0c8b1b38485a3d816f31ab5b23a0eae94d86c90086cd4e7b6e8c5c46825ebd1cf9ea54ce88af740aad4d7e95e742157209f36867ff5d7d490afa91c6bf",
+  "proof": "0x0c04ba03cd20322b2b7c4560bf375cdae0eb937dbba3e6ead61ccd38c8e126d30566ee7ef22b870683e5bb4fae4d32c4c6dbe0970ccc8be4b6c845be9e509511198587a694f121abe256e353cf115ea349e2d540232a9971ae1ba4f1b073131c1432283789b5eda625ebb455b309ed2055e887ab0d83c3ccd88e8e42f769f9ec230a90af8367efabc2978bb5ebd79f86f4ee597d66ace90fa6a3fcc90a424595220ee3450b33ecbf7161c2fa58711e73a41c016091d9cf020d66469c8a5dc39d2cf4849b792b771cea6112e98d49d68a80c417257bcb8a9632f4396ef0f1f5730b5e253b5da49aada273a5a2167db470934685777082c34c87e2ae8711e1b66f01e76d477d1f6953904fd6a26c6e7cce14f755512b394dcff5f4f33a66c0575317d3093ea51f7002c161797e12858a3e1bae4cc776b377317bd37e8440b54e1f17646280fe13f72355875252c4eff306a0d33bf4d1a46206621da86a9419bf8f0692cb765604a7f0c2cb4169d342e90f761f049a345ed5eca93abb93be72e69d0c974d1e75e99869c8c2983087f6adcd20caa6fe0612d0f1b6e596e517bc19810eb7148719150f283cc13851666c6786b6e06d973c5236f5c37d511ecbc0f8e9087abb135fef30602b4560ad6baff66a2f4b20301e84177d8db358451e5f3c9816ae27657ea0f9a53bff38793de945d8c1a02fc22f72e41dc923a1eb6f9bc69c000000070e6477e97c7aa2d14f2a50a7dfa2c5688d52de171596555510f5b84e8392404f19bb28ab2d30896aa2cb5db3135265951335c36baa6a5b4b2bde3503e078bade194426aad20df55a4e6ed8805064c597ee89e8e340aebab046cb6829c692ab0c2e74cc6dddfc9eef77e6892dc1addfc56ae06099f228cf28adf67eb657ed45fd2212eab7bda93751e1403685a34e91c33d50296a9d4271c1f8bb2b13b4de876d16b252190d3241f4bcff9cfeec894705b941b69d43e1cfe20cd7a6916e7726642e9a121c5635f474b8ff28214b029f037aa05517bc19b1cfaa0d012695a4fbf700576e8e02bbaf346448d18fe2e52fa7eabdead2e322f6c01e15a84f649db2a105c769dad22f3da6a0ce6e685b58ac17bf2bda5cb56d0b604e3fd37973fc90162660de4911c08d6aec32edcf0371ff915c67da412629ece898684e5affcbb624000000012f587c44a28e13eb1851f1747f0a9fb1633fa904fff60b2327c8bdef3573a4b61935650a24145c31e4d52cbb8498c511a6e852bc903b32c444ba759834fa2be5"
+}
diff --git a/assets/fibonacci_fixture.json b/assets/fibonacci_fixture.json
diff --git a/assets/inclusion_fixture.json b/assets/inclusion_fixture.json
@@ -1,5 +1,5 @@
 {
-    "vkey": "0x005835dfcad599fa418a0df2b5ecde903b801f7e0706e9530959119ec75aa9e3",
-    "publicValues": "0xe0fc9100000000000969ed235cf75d25800ea6845c2584af013c1f9617ad2de87202d7e9b93739c95c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f22002fe30a172d0a479f6add89c63b29dce29b6071b3c7e486b0fb4bc431f88501000000000000002000000000000000290decd9548b62a8ef0d3e6ac11e2d7b95a49e22ecf57fc6044b6f007ca2b2ba010000000000000080",
-    "proof": "0x19b3db1870a51a91be455ba82d2e39cbe5629abdb0b684133a8f69e43302baed21f64f8c3a017c0c322ee0910ea20fb0deff14ebc9d28b22ae1b65bd049f5fe5068f5e2f1842492c1ec64675c53c7b541923d5ad88f4efafd5535061c06b1ee7107a492104941224643fae9f051fbcef1beb7ac19cb527748ff79ba4f7de2b48193bc9921fb16667289153bb6031a4fe01af87f693235319e6d3fea954ee91ac2440212dec1b6c62ab2cc1d8b61a4b9416e1b0d9237be712bdb8c603013c6b7200fe827e9235aaa8e2bbd3db172e46fff9161193e3a568ad8f6e7af50572a858150e60e282674711b44a801fcfe5bf8692a1feac0be30b6184f0c90987ba38fe02194c1c9c8429d24788e46f75568d03a3191c7e83a6dee6def281c6d36183522cdaa119cf660847b8c29cef6e4435499ef4086238825e9c441c3a28960cfc1b0a647a89d8494b5de2caa394fb59a4381a14a523f364ea302d6a84b32054308900662eaf0058fbc6d436602e672e2eba696e8110cd8d0228129496c1a708f29a291691d639d11a9ae2300a24b9fe7b50ccbc292ec9092ef367b98922afaa33300b02166502f811e1dbc324e0858c6f63b9db42152410aab9a96e5fd1ae5d624e01ea3694a8278162c9d962ca1ef2f6a70590a20a534e973acccee2f01af40fa204ddc41227632b53c764b99b837d32d785987a43f5edf397cd34beb9402b854900000007169c4da2bfc39950f8fe20225faf4da7b46ec38da8d4c22b2e40841ec30ef83e0d6aef7b402e7f0de5cb7f6798328268d2fc5e8759f6f12663ac3bff27c76cb1074224fa19ec12fb01bd95d10f4f53436b3e8441c3e93247d2f21fbe94579d43075306065f6ce1f0c966bd219fb1bc2f7347bcb8f149994d5cf023e0b408f34c0416a6c00e69acd5a402c776c53ee60ad3e3a01dea16621d5f110245e14501cf0e464ef0f83a41ad025dbf85cccffd2af8f2bbcfd0eddc5519e86d1ec362249b0d50b96c17005da5b900fad884a0a85402a07b92e4a746f3273b42f31b0e24e92c3e0ef03c15cfec9d03001e9dd208b257e7932f30780c90b5031206ea38e12d2916661b232cd46be404137b62a5268815cc9915685a5d9dcbcfed7d3e6872fe117973aaa3fcfadfbe2c42cbcf7537a5dc1df78c38e931066b3bc3125078dee7000000012ca60493e5d5edafe7948cbe0e3736b1c59aa29998f216a8d7e4b89c06c536a32129520c5ed2ecce4e9d8263b11b757956d2999f74dac0efc16992d923b94bc3"
-}
+  "vkey": "0x00d6b0922b33f4a88cac7a71b76e025fa0dfb9b3a2e74e009bd511db5688bd3d",
+  "publicValues": "0xe0fc9100000000000969ed235cf75d25800ea6845c2584af013c1f9617ad2de87202d7e9b93739c95c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f22002fe30a172d0a479f6add89c63b29dce29b6071b3c7e486b0fb4bc431f88501000000000000002000000000000000290decd9548b62a8ef0d3e6ac11e2d7b95a49e22ecf57fc6044b6f007ca2b2ba010000000000000080",
+  "proof": "0x2f93d3a43da1c76c4cae2fafe0d8250d61ce0ac4870fdb59ba0549ae9bae61d6050e4757193c4bbe613f8768bd03eb03652d193dd24f54635d6bb48d0f44f9040b2befeee22cb43a929feb4ec8031336b3ba2223f3a4e71b359a510b1628b717108bbe571b578ee61e75197622241a9ced0d4e5972215b6007a4b7cc55b1a1e523bf848202faa2a40830a5c0ceb683f7a2a0f5e40d694a464cf46ec1e92bb8c50640afac401954562fcaf33f549323e5ab60d2277f1bc4cb4dd4772d80d5725c0eeb8a1c928f7d9d33e2e690b7e75fb42b8f66eb2054ae5e1f92ee1f18dbc3e21c653f94fdbb8026692d2bf176468b082f9cdc2e2f2e6b63f4a83ee501037ab308a0424c1ab6a8646d33d2d9490091869d3e663a0ec856651f21d928785133210029bb25b7d51d1446587bc27be1a7a2f5693eaddbe233088f57f82472e5f67912564c4dbb36d7fa48930fdd2f98e36f0f61c51233863b5955d4784c71b377c821981daa46312defde25b4257a0d2d9a3dd109f9f23bce153a382778fda0461d1a2dd99bafee2e049c50b00b6e33309a5d3e55a4da2da903e42ef0377143e0031c41a40d90b4df4146ea47323fbf0c13f9f9218ee7b7fdd1a759d5bb64837a5d1e0d100235d48ec777920f4cb727cb63352ad25176ba1fa3a1f485b74b6cad0b0fdedf1be572734f9fdb4e173621a648708106688fef2af2232bf5f3bf2e3be3000000070cb1cd50632fef611592e281968f5bd89fc514cf5d9000fe40991ca8d3be4a1c223dc9d526104eaba6c553cbef4c3824037fb43bab57c95d970ae0b6f4bf61fc24aad1a71a6c372b8a26160a38f593bed0d6d57ea2821d9c60284a8826eb08a51f404e4793bf325fb7e23614c363afe9d49407ea0bcffb187d3179c92f03d98a02ba82480b2cbc2fd57f9d8c605b5d6ebe624bc8f685d199592c469ceb10b0c127c9178496eadbf14738b685f2bbea68b4782d6c6ac1dc50eb5f6b200e0495e310ee14bdea4fe45924bc5f054ef41f33c21abadf2c176c7821e1c063390912161007390e8db39567b03a23d0021d303a439c6c164004dd29af4f7a963fbd48181a9a8a2e59ca91949da592d263c8993d3e2d499604d5dbb0c5fbe859980fbd792af40f77ab4bb4ebb33368c1da9bfb0842d0b967a2e3565c5d35b227e65940f800000001069af35d68273965cb42e0417a971970ac57f013836cfce5718e9d381adc77f301814c4b044f9d14d26d6a29a32ac4e932f333e92a002fa8a5f71ed282414f12"
+}
diff --git a/plonk-verify.cabal b/plonk-verify.cabal
@@ -13,7 +13,7 @@ extra-source-files:
     src/lib.rs
 
 data-files:
-    verifier-assets/v1.0.8-testnet/vk.bin
+    verifier-assets/v1.0.8.2-testnet/vk.bin
 
 build-type: Custom
 custom-setup

diff --git a/src/lib.rs b/src/lib.rs
@@ -158,7 +158,7 @@ mod tests {
     pub fn plonk_bn254_artifacts_dev_dir() -> PathBuf {
         PathBuf::from(env!("CARGO_MANIFEST_DIR"))
             .join("verifier-assets")
-            .join("v1.0.8-testnet")
+            .join("v1.0.8.2-testnet")
     }
 
     pub fn asset_directory() -> PathBuf {

diff --git a/test/app/Main.hs b/test/app/Main.hs
@@ -15,8 +15,8 @@ import PlonkBn254.Verify
 main :: IO ()
 main = do
     -- This directory contains only the necessary artifacts for verification
-    -- Alternatively, the parameters might also be present at `~/.sp1/circuits/plonk_bn254/v1.0.8-testnet`
-    let circuitPathStr = "./verifier-assets/v1.0.8-testnet"
+    -- Alternatively, the parameters might also be present at `~/.sp1/circuits/plonk_bn254/<VERSION>`
+    let circuitPathStr = "./verifier-assets/v1.0.8.2-testnet"
     vk <- VMKey <$> B.readFile (circuitPathStr <> "/vk.bin")
 
     -- Convert Haskell strings to CStrings

diff --git a/tests/Main.hs b/tests/Main.hs
@@ -43,11 +43,10 @@ vmKeyName :: String
 vmKeyName = "vk"
 
 vmKeys :: [(FilePath, VMKey)]
-vmKeys = $$(embedVMKeys "bin" "verifier-assets/v1.0.8-testnet")
+vmKeys = $$(embedVMKeys "bin" "verifier-assets/v1.0.8.2-testnet")
 
 main :: IO ()
 main = hspec $ describe "examples" $ do
-    testExample "fibonacci_fixture"
     testExample "epoch_change"
     testExample "inclusion_fixture"
 

diff --git a/verifier-assets/v1.0.8.1-testnet/vk.bin b/verifier-assets/v1.0.8.1-testnet/vk.bin
diff --git a/verifier-assets/v1.0.8.2-testnet/vk.bin b/verifier-assets/v1.0.8.2-testnet/vk.bin