Update circuit

axiom-crypto · Jan 20, 2024 · 0fcd261 · 0fcd261
1 parent ca36fa5
commit 0fcd261
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/app/axiom/average.circuit.ts b/app/axiom/average.circuit.ts
@@ -47,10 +47,10 @@ export const circuit = async (inputs: CircuitInputs) => {
   }
 
   // Accumulate all of the balances to `total`
-  let total = witness(0);
+  let total = constant(0);
   for (const account of sampledAccounts) {
     const balance: CircuitValue256 = await account.balance();
-    total = add(total, balance.lo());
+    total = add(total, balance.toCircuitValue());
   }
 
   // Divide the total amount by the number of samples to get the average value

diff --git a/app/axiom/data/compiled.json b/app/axiom/data/compiled.json
@@ -1,5 +1,5 @@
 {
-  "vk": "Ag0AAAAABgAAAKdY0S2x49O88WffhIg6j+sI1Nhyl5stleJlyqOU4a4YI3l5FcT4uSbnhps89EEvH7Pl4PdxSKEhmsm6qRblcCRfLCv6FTmyOp0WXYzXOfrnQr9WnCoMfwAHh0yjtAG6I6RfADIMUg87mRA5A6jNVrS95tANWkBXxsE+J8dE95wGaUp0ENaONCtStUUWEp1Kk7FBC1Pf/qvcVosSwIdL8R1/8awZHhWhK1d/ewijadrpgYjwFPiXVX3Um1L4sEDrEQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKLaDGGtzzjcjMcDz4eeFPGxdFJV+SK7trvkS3u+r3UGNh4onndbFZiMbJNyoBlsAgp4jWzoTWLkaYidw4MWAhmkPWZ8MDDBLuKiE3ZBQkgDgoNXtDS+6d9zAAbIBpBGCTqJYccGSUMMi8qLEaMw95LjChHuj2lMy4mTrJT89g8iNbkFZydC5AcudVP5ZXNpqh3VLZRV19ozwxNdZOd37y0LaVF9cdNxt8uBTro5G1nsbb3AAQSxhe5Ljm1KdHVRCMVaeC9tQ0w3NfPHRq1jJLc4gGmnkzh87EMghDb9tZohFxr4MAIY0dDW1Ud4bWbSs1Kf/wBRxHbvRBf8KXfImCeQ8abjs9k3ton3Trhk72vHrvJzzqyaX6Z2h9hMz+bpDZRnQtfr+JQ1bgNokpaNGYut/YrC6d4EAUolcHdxVmQmMfVylMdF/T90FtVLRnlG8XVEH1SDk7d1gCN7q0P3cSS+poOBX7ZkebDlhej7gN0XZryuHfTchTs6y1IMEqCLHJC/2jp4oIniB1quTI8OnX9zWAK5OA2jvtddaNl7KP8MZmWECfe3aty1Wm5MYJO/0abH2+ca7uL6UT6RQ/dKqRU=",
+  "vk": "Ag0AAAAABgAAAKdY0S2x49O88WffhIg6j+sI1Nhyl5stleJlyqOU4a4YI3l5FcT4uSbnhps89EEvH7Pl4PdxSKEhmsm6qRblcCQVgXLM4obm5Lk6ap7FB6/9by2ZeNBW+s3zUP4Tjs8zFwUJeY5o0HbwT8zy8/+AfM2INbHJvHk8PKCOs4WFSqAc/vGqIp67oJ8uQuSVU6bTUlxF+PMTDb+ftpQZsrU62A99kpXyg32AfrmozWbZbJJQCdsmAATcH2t3dMs9sq1WDgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAB+iw7aQ1yOTPFMoosESOKg1wEi3YTO7f1cWja0lCYMGach/muGTfZjWxeQGP5FRFbvvMeu9C9Rpj7mnAIioGge5Y4eyFqcWBb398AVAY1OV4hvhUz/GR9leHrjGvCVLC71WbmQ3qAvh2ZDO507QY1tuVVcG9qEES/IwVWjtM4MvNbkFZydC5AcudVP5ZXNpqh3VLZRV19ozwxNdZOd37y0LaVF9cdNxt8uBTro5G1nsbb3AAQSxhe5Ljm1KdHVRCMVaeC9tQ0w3NfPHRq1jJLc4gGmnkzh87EMghDb9tZohFxr4MAIY0dDW1Ud4bWbSs1Kf/wBRxHbvRBf8KXfImCeQ8abjs9k3ton3Trhk72vHrvJzzqyaX6Z2h9hMz+bpDZRnQtfr+JQ1bgNokpaNGYut/YrC6d4EAUolcHdxVmQmPwQoTpUYgwd30W1X/ucY5o3aHbL3VX3IyACsIWP0/ibdRKvKAqHvu3u1Ikm++E92gpGZvIieJ6T8yIFYiE+rJZq41Bmcdozx2l0w5M5LURajabU/ITU4mfgbHBG9xFwGbAUsUIVDc3LmCzDIulhHTvnjSfZ1WFZcNmXMewuADSY=",
   "config": {
     "k": 13,
     "numAdvice": 4,
@@ -8,7 +8,7 @@
     "numLookupBits": 12,
     "numVirtualInstance": 2
   },
-  "querySchema": "0xa6dffd39120038d7a74f5915baa7a1ddd934d68b22deafb2737eb74adcd806de",
+  "querySchema": "0xa44ce4065d6d6db90c3844966dd0a804e28cc5b8e9e02ca38d10e33a4a33ef97",
   "inputSchema": "eyJibG9ja051bWJlciI6IkNpcmN1aXRWYWx1ZSIsImFkZHJlc3MiOiJDaXJjdWl0VmFsdWUifQ==",
-  "circuit": "Y29uc3QgY2xpZW50XzEgPSBBWElPTV9DTElFTlRfSU1QT1JUCmFzeW5jIChpbnB1dHMpID0+IHsKICAgIC8vIE51bWJlciBvZiBzYW1wbGVzIHRvIHRha2UuIE5vdGUgdGhhdCB0aGlzIG11c3QgYmUgYSBjb25zdGFudCB2YWx1ZSBhbmQgTk9UIGFuIGlucHV0IGJlY2F1c2UgdGhlIHNpemUgb2YgCiAgICAvLyB0aGUgY2lyY3VpdCBtdXN0IGJlIGtub3duIGF0IGNvbXBpbGUgdGltZS4KICAgIGNvbnN0IHNhbXBsZXMgPSA4OwogICAgLy8gTnVtYmVyIG9mIGJsb2NrcyBiZXR3ZWVuIGVhY2ggc2FtcGxlLgogICAgY29uc3Qgc3BhY2luZyA9IDkwMDsKICAgIC8vIFZhbGlkYXRlIHRoYXQgdGhlIGJsb2NrIG51bWJlciBpcyBncmVhdGVyIHRoYW4gdGhlIG51bWJlciBvZiBzYW1wbGVzIHRpbWVzIHRoZSBzcGFjaW5nCiAgICBpZiAoaW5wdXRzLmJsb2NrTnVtYmVyLnZhbHVlKCkgPD0gKHNhbXBsZXMgKiBzcGFjaW5nKSkgewogICAgICAgIHRocm93IG5ldyBFcnJvcigiQmxvY2sgbnVtYmVyIG11c3QgYmUgZ3JlYXRlciB0aGFuIHRoZSBudW1iZXIgb2Ygc2FtcGxlcyB0aW1lcyB0aGUgc3BhY2luZyIpOwogICAgfQogICAgLy8gUGVyZm9ybSB0aGUgYmxvY2sgbnVtYmVyIHZhbGlkYXRpb24gaW4gdGhlIGNpcmN1aXQgYXMgd2VsbAogICAgKDAsIGNsaWVudF8xLmNoZWNrTGVzc1RoYW4pKCgwLCBjbGllbnRfMS5tdWwpKHNhbXBsZXMsIHNwYWNpbmcpLCBpbnB1dHMuYmxvY2tOdW1iZXIpOwogICAgLy8gR2V0IGFjY291bnQgYmFsYW5jZSBhdCB0aGUgc2FtcGxlIGJsb2NrIG51bWJlcnMKICAgIGxldCBzYW1wbGVkQWNjb3VudHMgPSBuZXcgQXJyYXkoc2FtcGxlcyk7CiAgICBmb3IgKGxldCBpID0gMDsgaSA8IHNhbXBsZXM7IGkrKykgewogICAgICAgIGNvbnN0IHNhbXBsZUJsb2NrTnVtYmVyID0gKDAsIGNsaWVudF8xLnN1YikoaW5wdXRzLmJsb2NrTnVtYmVyLCAoMCwgY2xpZW50XzEubXVsKShzcGFjaW5nLCBpKSk7CiAgICAgICAgY29uc3QgYWNjb3VudCA9ICgwLCBjbGllbnRfMS5nZXRBY2NvdW50KShzYW1wbGVCbG9ja051bWJlciwgaW5wdXRzLmFkZHJlc3MpOwogICAgICAgIHNhbXBsZWRBY2NvdW50c1tpXSA9IGFjY291bnQ7CiAgICB9CiAgICAvLyBBY2N1bXVsYXRlIGFsbCBvZiB0aGUgYmFsYW5jZXMgdG8gYHRvdGFsYAogICAgbGV0IHRvdGFsID0gKDAsIGNsaWVudF8xLndpdG5lc3MpKDApOwogICAgZm9yIChjb25zdCBhY2NvdW50IG9mIHNhbXBsZWRBY2NvdW50cykgewogICAgICAgIGNvbnN0IGJhbGFuY2UgPSBhd2FpdCBhY2NvdW50LmJhbGFuY2UoKTsKICAgICAgICB0b3RhbCA9ICgwLCBjbGllbnRfMS5hZGQpKHRvdGFsLCBiYWxhbmNlLmxvKCkpOwogICAgfQogICAgLy8gRGl2aWRlIHRoZSB0b3RhbCBhbW91bnQgYnkgdGhlIG51bWJlciBvZiBzYW1wbGVzIHRvIGdldCB0aGUgYXZlcmFnZSB2YWx1ZQogICAgY29uc3QgYXZlcmFnZSA9ICgwLCBjbGllbnRfMS5kaXYpKHRvdGFsLCBzYW1wbGVzKTsKICAgIC8vIFdlIGNhbGwgYGFkZFRvQ2FsbGJhY2tgIG9uIGFsbCB2YWx1ZXMgdGhhdCB3ZSB3b3VsZCBsaWtlIHRvIGJlIHBhc3NlZCB0byBvdXIgY29udHJhY3QgYWZ0ZXIgdGhlIGNpcmN1aXQgaGFzCiAgICAvLyBiZWVuIHByb3ZlbiBpbiBaSy4gVGhlIHZhbHVlcyBjYW4gdGhlbiBiZSBoYW5kbGVkIGJ5IG91ciBjb250cmFjdCBvbmNlIHRoZSBwcm92ZXIgY2FsbHMgdGhlIGNhbGxiYWNrIGZ1bmN0aW9uLgogICAgKDAsIGNsaWVudF8xLmFkZFRvQ2FsbGJhY2spKGlucHV0cy5ibG9ja051bWJlcik7CiAgICAoMCwgY2xpZW50XzEuYWRkVG9DYWxsYmFjaykoaW5wdXRzLmFkZHJlc3MpOwogICAgKDAsIGNsaWVudF8xLmFkZFRvQ2FsbGJhY2spKGF2ZXJhZ2UpOwp9"
+  "circuit": "Y29uc3QgY2xpZW50XzEgPSBBWElPTV9DTElFTlRfSU1QT1JUCmFzeW5jIChpbnB1dHMpID0+IHsKICAgIC8vIE51bWJlciBvZiBzYW1wbGVzIHRvIHRha2UuIE5vdGUgdGhhdCB0aGlzIG11c3QgYmUgYSBjb25zdGFudCB2YWx1ZSBhbmQgTk9UIGFuIGlucHV0IGJlY2F1c2UgdGhlIHNpemUgb2YgCiAgICAvLyB0aGUgY2lyY3VpdCBtdXN0IGJlIGtub3duIGF0IGNvbXBpbGUgdGltZS4KICAgIGNvbnN0IHNhbXBsZXMgPSA4OwogICAgLy8gTnVtYmVyIG9mIGJsb2NrcyBiZXR3ZWVuIGVhY2ggc2FtcGxlLgogICAgY29uc3Qgc3BhY2luZyA9IDkwMDsKICAgIC8vIFZhbGlkYXRlIHRoYXQgdGhlIGJsb2NrIG51bWJlciBpcyBncmVhdGVyIHRoYW4gdGhlIG51bWJlciBvZiBzYW1wbGVzIHRpbWVzIHRoZSBzcGFjaW5nCiAgICBpZiAoaW5wdXRzLmJsb2NrTnVtYmVyLnZhbHVlKCkgPD0gKHNhbXBsZXMgKiBzcGFjaW5nKSkgewogICAgICAgIHRocm93IG5ldyBFcnJvcigiQmxvY2sgbnVtYmVyIG11c3QgYmUgZ3JlYXRlciB0aGFuIHRoZSBudW1iZXIgb2Ygc2FtcGxlcyB0aW1lcyB0aGUgc3BhY2luZyIpOwogICAgfQogICAgLy8gUGVyZm9ybSB0aGUgYmxvY2sgbnVtYmVyIHZhbGlkYXRpb24gaW4gdGhlIGNpcmN1aXQgYXMgd2VsbAogICAgKDAsIGNsaWVudF8xLmNoZWNrTGVzc1RoYW4pKCgwLCBjbGllbnRfMS5tdWwpKHNhbXBsZXMsIHNwYWNpbmcpLCBpbnB1dHMuYmxvY2tOdW1iZXIpOwogICAgLy8gR2V0IGFjY291bnQgYmFsYW5jZSBhdCB0aGUgc2FtcGxlIGJsb2NrIG51bWJlcnMKICAgIGxldCBzYW1wbGVkQWNjb3VudHMgPSBuZXcgQXJyYXkoc2FtcGxlcyk7CiAgICBmb3IgKGxldCBpID0gMDsgaSA8IHNhbXBsZXM7IGkrKykgewogICAgICAgIGNvbnN0IHNhbXBsZUJsb2NrTnVtYmVyID0gKDAsIGNsaWVudF8xLnN1YikoaW5wdXRzLmJsb2NrTnVtYmVyLCAoMCwgY2xpZW50XzEubXVsKShzcGFjaW5nLCBpKSk7CiAgICAgICAgY29uc3QgYWNjb3VudCA9ICgwLCBjbGllbnRfMS5nZXRBY2NvdW50KShzYW1wbGVCbG9ja051bWJlciwgaW5wdXRzLmFkZHJlc3MpOwogICAgICAgIHNhbXBsZWRBY2NvdW50c1tpXSA9IGFjY291bnQ7CiAgICB9CiAgICAvLyBBY2N1bXVsYXRlIGFsbCBvZiB0aGUgYmFsYW5jZXMgdG8gYHRvdGFsYAogICAgbGV0IHRvdGFsID0gKDAsIGNsaWVudF8xLmNvbnN0YW50KSgwKTsKICAgIGZvciAoY29uc3QgYWNjb3VudCBvZiBzYW1wbGVkQWNjb3VudHMpIHsKICAgICAgICBjb25zdCBiYWxhbmNlID0gYXdhaXQgYWNjb3VudC5iYWxhbmNlKCk7CiAgICAgICAgdG90YWwgPSAoMCwgY2xpZW50XzEuYWRkKSh0b3RhbCwgYmFsYW5jZS50b0NpcmN1aXRWYWx1ZSgpKTsKICAgIH0KICAgIC8vIERpdmlkZSB0aGUgdG90YWwgYW1vdW50IGJ5IHRoZSBudW1iZXIgb2Ygc2FtcGxlcyB0byBnZXQgdGhlIGF2ZXJhZ2UgdmFsdWUKICAgIGNvbnN0IGF2ZXJhZ2UgPSAoMCwgY2xpZW50XzEuZGl2KSh0b3RhbCwgc2FtcGxlcyk7CiAgICAvLyBXZSBjYWxsIGBhZGRUb0NhbGxiYWNrYCBvbiBhbGwgdmFsdWVzIHRoYXQgd2Ugd291bGQgbGlrZSB0byBiZSBwYXNzZWQgdG8gb3VyIGNvbnRyYWN0IGFmdGVyIHRoZSBjaXJjdWl0IGhhcwogICAgLy8gYmVlbiBwcm92ZW4gaW4gWksuIFRoZSB2YWx1ZXMgY2FuIHRoZW4gYmUgaGFuZGxlZCBieSBvdXIgY29udHJhY3Qgb25jZSB0aGUgcHJvdmVyIGNhbGxzIHRoZSBjYWxsYmFjayBmdW5jdGlvbi4KICAgICgwLCBjbGllbnRfMS5hZGRUb0NhbGxiYWNrKShpbnB1dHMuYmxvY2tOdW1iZXIpOwogICAgKDAsIGNsaWVudF8xLmFkZFRvQ2FsbGJhY2spKGlucHV0cy5hZGRyZXNzKTsKICAgICgwLCBjbGllbnRfMS5hZGRUb0NhbGxiYWNrKShhdmVyYWdlKTsKfQ=="
 }