From ce5f83074b269fd73b94e83f2b3f03b4195bb436 Mon Sep 17 00:00:00 2001 From: brozorec <9572072+brozorec@users.noreply.github.com> Date: Tue, 13 Oct 2026 15:27:05 +0200 Subject: [PATCH 1/4] Confidential circuits: pass G and H to multi_scalar_mul as witnesses bb routes an MSM with constant G/H bases through fixed-base lookup tables, whose read counts non-zk proofs commit in the clear. Route the generators through a constrained hint, regenerate the baseline and VKs, and check the compiled ACIR for constant MSM bases and plookup-backed blackboxes in CI. --- .github/workflows/noir.yml | 5 ++ packages/confidential/circuits/CLAUDE.md | 5 ++ .../circuits/constraints.baseline | 24 ++++-- packages/confidential/circuits/lib/src/lib.nr | 37 +++++++++- .../circuits/scripts/check_witness_lookups.sh | 69 ++++++++++++++++++ .../confidential/circuits/vks/clawback.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/clawback.vk.json | 2 +- .../confidential/circuits/vks/register.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/register.vk.json | 2 +- .../circuits/vks/set_spender.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/set_spender.vk.json | 2 +- .../circuits/vks/spender_transfer.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/spender_transfer.vk.json | 2 +- .../confidential/circuits/vks/transfer.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/transfer.vk.json | 2 +- .../confidential/circuits/vks/withdraw.vk.bin | Bin 1760 -> 1760 bytes .../circuits/vks/withdraw.vk.json | 2 +- 17 files changed, 134 insertions(+), 18 deletions(-) create mode 100755 packages/confidential/circuits/scripts/check_witness_lookups.sh diff --git a/.github/workflows/noir.yml b/.github/workflows/noir.yml index 4e645172b..1dddd2e3f 100644 --- a/.github/workflows/noir.yml +++ b/.github/workflows/noir.yml @@ -79,6 +79,11 @@ jobs: - name: nargo test run: nargo test + - name: Check that no witness reaches a lookup table + # Proofs are non-zk, so lookup read counts are committed in the + # clear; the script header explains the leak this rules out. + run: ./scripts/check_witness_lookups.sh + - name: Diff extracted VKs against committed artifacts # Re-extracts both VK forms for each per-operation circuit using the # pinned bb version and compares against the committed `vks/*.vk.json` diff --git a/packages/confidential/circuits/CLAUDE.md b/packages/confidential/circuits/CLAUDE.md index ed626d790..e5e46e52c 100644 --- a/packages/confidential/circuits/CLAUDE.md +++ b/packages/confidential/circuits/CLAUDE.md @@ -15,6 +15,7 @@ Run from this directory. CI is `.github/workflows/noir.yml`. | Per-primitive constraint counts | `nargo info` | | Compile one circuit | `nargo compile --package circuit_` | | Regenerate verification keys | `./scripts/extract_vks.sh` | +| Check no witness reaches a lookup table | `./scripts/check_witness_lookups.sh` | There is no `nargo fmt` step in CI and no formatter config — Noir formatting is unenforced. The workflow triggers only on `circuits/**`, so a change to the Rust-side parity test in `../test.rs` does **not** run this job. @@ -28,6 +29,10 @@ It appears in all fourteen package `Nargo.toml` files — the workspace manifest `_acct_f` in `register/src/main.nr` is referenced by no gate and looks like dead code. It is the replay binding: UltraHonk absorbs every public input into the transcript, so a proof produced for one account fails when the contract assembles the blob for another. Removing it lets anyone replay a legitimate registration's published proof and payload to mint duplicate-key accounts. `clawback/src/main.nr` carries four such bindings — `addr_f`, `_acct_f`, `_dest_f`, `_nonce` — removing `_dest_f` lets a compromised clawback signer settle a witness to a destination of its own choosing, and removing `_nonce` lets an approved proof execute again once the commitments are restored. Each operation circuit declares its exact public-input count in a header comment — clawback 11, withdraw 16, transfer / spender_transfer 25, set_spender 26 — and the count is part of the contract with the on-chain assembler. +### `as_witness` in `commit` and `scalar_mul` is not dead code + +`as_witness(G, value)` looks like an identity wrapper around a constant. It keeps bb off its fixed-base lookup tables: proofs are non-zk, so the read-count commitments would publish which table rows each secret scalar's windows hit. The doc comment on `as_witness` lists what keeps the generator a witness. `scripts/check_witness_lookups.sh` fails CI on any `multi_scalar_mul` with a constant base point and on any blackbox outside its plookup-free allowlist; extend the allowlist only after confirming bb lowers the new blackbox without lookups. + ### Package names are load-bearing Directory `transfer/` is package `circuit_transfer`; `gadgets/commit/` is `gadget_commit`; the library is `stellar_confidential_lib`. `scripts/extract_vks.sh` derives `circuit_${name}` and `target/${pkg}.json` from a bare name, and every row of `constraints.baseline` is keyed on the package name. Renaming a directory without matching the package name breaks both. Gadgets depend on the lib via `../../lib`, operations via `../lib`. diff --git a/packages/confidential/circuits/constraints.baseline b/packages/confidential/circuits/constraints.baseline index 20ad34730..c1dd38c13 100644 --- a/packages/confidential/circuits/constraints.baseline +++ b/packages/confidential/circuits/constraints.baseline @@ -20,34 +20,42 @@ | Package | Function | Expression Width | ACIR Opcodes | Brillig Opcodes | | circuit_clawback | decompose_hint | N/A | N/A | 30 | | circuit_clawback | lte_hint | N/A | N/A | 33 | -| circuit_clawback | main | Bounded { width: 4 } | 64 | 63 | +| circuit_clawback | main | Bounded { width: 4 } | 84 | 91 | +| circuit_clawback | point_hint | N/A | N/A | 28 | | circuit_register | decompose_hint | N/A | N/A | 30 | | circuit_register | directive_invert | N/A | N/A | 9 | | circuit_register | lte_hint | N/A | N/A | 33 | -| circuit_register | main | Bounded { width: 4 } | 33 | 72 | +| circuit_register | main | Bounded { width: 4 } | 41 | 100 | +| circuit_register | point_hint | N/A | N/A | 28 | | circuit_set_spender | decompose_hint | N/A | N/A | 30 | | circuit_set_spender | directive_invert | N/A | N/A | 9 | | circuit_set_spender | lte_hint | N/A | N/A | 33 | -| circuit_set_spender | main | Bounded { width: 4 } | 135 | 72 | +| circuit_set_spender | main | Bounded { width: 4 } | 175 | 100 | +| circuit_set_spender | point_hint | N/A | N/A | 28 | | circuit_spender_transfer | decompose_hint | N/A | N/A | 30 | | circuit_spender_transfer | directive_invert | N/A | N/A | 9 | | circuit_spender_transfer | lte_hint | N/A | N/A | 33 | -| circuit_spender_transfer | main | Bounded { width: 4 } | 136 | 72 | +| circuit_spender_transfer | main | Bounded { width: 4 } | 180 | 100 | +| circuit_spender_transfer | point_hint | N/A | N/A | 28 | | circuit_transfer | decompose_hint | N/A | N/A | 30 | | circuit_transfer | directive_invert | N/A | N/A | 9 | | circuit_transfer | lte_hint | N/A | N/A | 33 | -| circuit_transfer | main | Bounded { width: 4 } | 134 | 72 | +| circuit_transfer | main | Bounded { width: 4 } | 178 | 100 | +| circuit_transfer | point_hint | N/A | N/A | 28 | | circuit_withdraw | decompose_hint | N/A | N/A | 30 | | circuit_withdraw | directive_invert | N/A | N/A | 9 | | circuit_withdraw | lte_hint | N/A | N/A | 33 | -| circuit_withdraw | main | Bounded { width: 4 } | 95 | 72 | +| circuit_withdraw | main | Bounded { width: 4 } | 123 | 100 | +| circuit_withdraw | point_hint | N/A | N/A | 28 | | gadget_assert_on_curve | main | Bounded { width: 4 } | 2 | 0 | | gadget_commit | decompose_hint | N/A | N/A | 30 | | gadget_commit | lte_hint | N/A | N/A | 33 | -| gadget_commit | main | Bounded { width: 4 } | 23 | 63 | +| gadget_commit | main | Bounded { width: 4 } | 31 | 91 | +| gadget_commit | point_hint | N/A | N/A | 28 | | gadget_ecdh | decompose_hint | N/A | N/A | 30 | | gadget_ecdh | lte_hint | N/A | N/A | 33 | -| gadget_ecdh | main | Bounded { width: 4 } | 17 | 63 | +| gadget_ecdh | main | Bounded { width: 4 } | 21 | 91 | +| gadget_ecdh | point_hint | N/A | N/A | 28 | | gadget_encrypt_amount | main | Bounded { width: 4 } | 4 | 0 | | gadget_poseidon_with_domain | main | Bounded { width: 4 } | 3 | 0 | | gadget_sponge_squeeze_2 | main | Bounded { width: 4 } | 4 | 0 | diff --git a/packages/confidential/circuits/lib/src/lib.nr b/packages/confidential/circuits/lib/src/lib.nr index 4fd855bc7..3ddebfc97 100644 --- a/packages/confidential/circuits/lib/src/lib.nr +++ b/packages/confidential/circuits/lib/src/lib.nr @@ -155,18 +155,47 @@ pub mod domain { // ################## CORE PRIMITIVES ################## +unconstrained fn point_hint(p: EmbeddedCurvePoint, _anchor: Field) -> EmbeddedCurvePoint { + p +} + +/// Returns `p` as a witness. Barretenberg routes a multi_scalar_mul through its fixed-base lookup +/// tables whenever a base point is an ACIR constant equal to one of its precomputed generators (G and +/// H are), and the non-ZK proof's read-count commitments then expose which table rows the scalars' +/// 9-bit windows hit more than once. The hint takes a witness `anchor` so the compiler cannot fold it +/// back to a constant, and `assert_is` must run after the multiplication: an equality asserted before +/// it lets the compiler substitute the constant back. `scripts/check_witness_lookups.sh` guards both. +fn as_witness(p: EmbeddedCurvePoint, anchor: Field) -> EmbeddedCurvePoint { + // Safety: every caller constrains the result equal to `p` via `assert_is`. + unsafe { point_hint(p, anchor) } +} + +fn assert_is(w: EmbeddedCurvePoint, p: EmbeddedCurvePoint) { + assert(w.x == p.x); + assert(w.y == p.y); + assert(w.is_infinite == p.is_infinite); +} + /// Pedersen commitment `v*G + r*H` on Grumpkin. docs/protocol/primitives.md#pedersen-commitments. pub fn commit(value: Field, randomness: Field) -> EmbeddedCurvePoint { - multi_scalar_mul( - [G, H], + let g = as_witness(G, value); + let h = as_witness(H, randomness); + let out = multi_scalar_mul( + [g, h], [EmbeddedCurveScalar::from_field(value), EmbeddedCurveScalar::from_field(randomness)], - ) + ); + assert_is(g, G); + assert_is(h, H); + out } /// Scalar multiplication `s*P` on Grumpkin. Used for `Y = sk*H`, `PVK = vk*H`, /// `R_e = r_e*H`, and as the building block under `ecdh`. pub fn scalar_mul(scalar: Field, point: EmbeddedCurvePoint) -> EmbeddedCurvePoint { - multi_scalar_mul([point], [EmbeddedCurveScalar::from_field(scalar)]) + let p = as_witness(point, scalar); + let out = multi_scalar_mul([p], [EmbeddedCurveScalar::from_field(scalar)]); + assert_is(p, point); + out } /// ECDH shared-secret scalar extraction per docs/protocol/primitives.md#elliptic-curve-diffie-hellman: computes diff --git a/packages/confidential/circuits/scripts/check_witness_lookups.sh b/packages/confidential/circuits/scripts/check_witness_lookups.sh new file mode 100755 index 000000000..4e2d74a17 --- /dev/null +++ b/packages/confidential/circuits/scripts/check_witness_lookups.sh @@ -0,0 +1,69 @@ +#!/usr/bin/env bash +# Fails if any compiled package could feed witness data into Barretenberg's +# plookup argument. +# +# Proofs are generated without `--zk`, so `lookup_read_counts` and +# `lookup_read_tags` are committed in the clear and every lookup whose table +# row depends on a witness exposes that row. bb lowers MULTI_SCALAR_MUL to its +# fixed-base lookup tables whenever a base point is an ACIR constant equal to +# one of its precomputed generators, which `G` and `H` are; `commit` and +# `scalar_mul` in `lib/src/lib.nr` pass them as witnesses to prevent that. +# This script inspects the compiled ACIR for the two ways that can regress: a +# blackbox outside the plookup-free set below, or a MULTI_SCALAR_MUL base +# point with a constant coordinate. +# +# Requires the pinned `nargo` (which ships `noir-inspector`) declared in +# `.github/workflows/noir.yml`. Run from anywhere; the script anchors to the +# circuits/ root. +set -euo pipefail + +cd "$(dirname "$0")/.." + +# Blackboxes that bb 0.87.0 lowers without plookup: POSEIDON2_PERMUTATION to +# Poseidon2 gates, RANGE to delta-range gates, MULTI_SCALAR_MUL with witness +# bases to ROM-based Straus tables. +ALLOWED="MULTI_SCALAR_MUL POSEIDON2_PERMUTATION RANGE" + +nargo compile --workspace >/dev/null + +status=0 +for artifact in target/*.json; do + if ! noir-inspector print-acir "$artifact" | awk -v file="$artifact" -v allowed="$ALLOWED" ' + BEGIN { n = split(allowed, a, " "); for (i = 1; i <= n; i++) ok[a[i]] = 1 } + match($0, /BLACKBOX::[A-Z0-9_]+/) { + name = substr($0, RSTART + 10, RLENGTH - 10) + if (!(name in ok)) { + printf "%s: BLACKBOX::%s is not in the plookup-free set\n", file, name + bad = 1 + next + } + if (name != "MULTI_SCALAR_MUL") next + # Operands are 3 per point (x, y, is_infinite), then 2 per scalar. + ops = $0 + sub(/^[^[]*\[/, "", ops) + sub(/\].*$/, "", ops) + k = 0 + while (match(ops, /\([^)]*\)/)) { + op = substr(ops, RSTART + 1, RLENGTH - 2) + sub(/,.*/, "", op) + vals[k++] = op + ops = substr(ops, RSTART + RLENGTH) + } + for (p = 0; p < k / 5; p++) { + if (vals[3 * p] !~ /^_/ || vals[3 * p + 1] !~ /^_/) { + printf "%s: MULTI_SCALAR_MUL takes a constant base point\n", file + bad = 1 + break + } + } + } + END { exit bad } + '; then + status=1 + fi +done + +if [ "$status" -ne 0 ]; then + echo "Witness data can reach a lookup table; see the header of $0." >&2 +fi +exit "$status" diff --git a/packages/confidential/circuits/vks/clawback.vk.bin b/packages/confidential/circuits/vks/clawback.vk.bin index c61bc8b97ff1f5859f6e114f7997aa60b930f60c..e19728aaabc1a02e4ca69393ff22594d69ad92ce 100644 GIT binary patch delta 1722 zcmV;r21WVc4d4xb00000001BW000000000D000000000R00000000014vy-W!4(Oa zAZMhx^>fAY_*CRphe~3(eni4~dJ z%Et5wE`B4a9^18N2wuA(=DumQ)%nya+gHFjN-XWIiQTp)2g#k58kBIG!vZ2}+aF1~qM;oFUH1|ce+MMej@vi$tb@0&|+~|*8oS*0y%b+ zCi>m-04^q_{uZKPaL*HcEHE`&`xM2UWW@ic3W=-47S2ewWAcN{*DkZsWNd##S-dkF5qmu9A-6iaOQL|j*EvlfGW-H2nTV1K$ zL;y9=C>F&ZAT4UJC6+OsBMV@#`PN;cSM;Nkt!o(=axq^03!<>%1)8lTM~Y; zPjPf;^wC!!;4JF)j$#7XtonUGBD*a<(gD4yHVk$29Q(J7REDhOk?_lN zDOfSQlZKzcoZGFL6kCb2uHq0{*fz@lVJuPlYRyw zKm@S{pU!I`#y^Mv%H0(DXmH+e&<>&sFJn30mBYuet{e5A9EXn7_@{6NfDw5!c}M&6 QDQz~WGL!VX+l=%r^t@p?KmY&$ delta 1722 zcmV;r21WVc4d4xb00000004jh000000000F000000000R00000000011e;^16l`G| zW3Eh(_shDdFu}n^QoE=$8HvzX-Q`KcCf0|UzGp5w3Q+jQ>Gd>hPfGJ}`J1n<2o}zW z#xtv80C-~5UH^h}b61_f0*Z#xY(Ztr!Gjcy1yV*ymO&PO(-GiiXKHtKQRruA+L+Rf zOExwO_JUx+B<$chs}h0JM<%DcIsSH`o>FFYa=p);Wd=vA+mjjZ`_6CiW^QaTSuSNH zhkeqgy$45bTu%O&`h_|HH_wRWWdI{*RG0FSu>)wON^jgji<-LntwyMjxt;v;n~;Z`ptN6iAg4u@Od{oeG1XwL;s(=z z%FY}D@->RYZ2I8x#klQul|ZeImVjn#%NuW7@>e&1{wqx-J=Aex#usBZ3vE$E)Uca` zLR+QxN&w`S6yA5W&3<4il)(Nilan=O=O#nxWjvt1FHE;9qVpV^SJ9=i%t6~OqD7^q z$6kysNRKfBb1aA;htO1$uh18`fj)tH_BbFStNnvI14L|Pi6rbgb*%67UyH^B6&?jK z*CJAXyA?Za0b(5;F@pCh8B>m6d%{mW(VB3n=&sqr>}{sa6e&2f6{?&vea{%A!rww# zC!mGwojme*Y27S3D&{{(xU8{^BYK4L%y#t#NAGNzJGxjICuDQd`V1i5oaX^t|Iqqa z7y|SOG53KA_|Qsnzoh$L)QbrRFVtA|92|I&mGI)WB7Uncqa};Aew(Sp zIC8Ht*H;|yyl3#N6BjFF=Z4c9Y2gX)zEtk}4CWz!^uOLv80L9L?rc(3lp_{rO|@~P zYSCv);@XcP&eW#t!*Zy@tDAFI-`1~jI2Nd4g#V!4b>N* zDGw7_bl(nIdqlTMKeLFz?3PruD9E;d(le-qi#)w7W#wkxa(5dgr)xh^VVebImyg?n zV}9_{0P&LZTUX>1K<}`9EQY-`^8lU%r%Lr(1IhN|$Ygpp&kWfB?=PDL4;An6YEA3Z z+ZbFOd6vYDe>S}r#dZzux(tVj^~s+l*ZierF-wFstb1zcgP={5sNl028d9l$I^KY$ zz(+R-D!w{YpI7|)eMC%fr!~kO@Dp(+A<%78xu(5*DBieKEs&)$R)LcL>^Gc23PeuT zXYJE+Y*~J*ajeW9Je+rmP?^?=3fl=DP(8jT^> zioWLLiqg?6eZk8DMGIzSzYD>CsahCxa2cYPo(H^#rw143)MtK}TfQ1TE;7TMK(@m9 z1O91}$_`FmHvx+x0r2R>V!{BJH#?hRr6@y%%wZRZclsb9sOOB_NfBZkI;AEAVFo;1 zf7Br6g>WWlT)6bGkZCUDB;>EhGbm>jN2(YYKW^ma?DGV1@Nf~CwToVVn`z=*I=vZU zf3p?J>cZ*V3lXZY1-wSF7y(~egn`;cku4d2j$aIEQ;H-s`TdB!kEZ(=rr*FklndhT zjWTebn}Sk@|C5u%E9N7?UiL59E9E^V%!Bt&1wer8F`8|+YDnQeF_eob0?#U*xWWg^ z(6lT{M`ksC?e~@#@IJwR-A7v~8aQh-dE*EgP}`g{1gVv~f@)L_1uiWIB7Hg&F@JQ{ zf~BHw!KREQ>DppV`1d2+e8#!$$a%!e@)?+QZ$XzJ1!1x|DE?9}`|l^Rk@Ch9Eal9$ zoGcv?kiV+>9A&>5;4N?B^pRt|xp_}!W+)G<9Osu?mZ6)KltS5kVRB~> QacQ^c#X8>l1|rSZGtnSNBme*a diff --git a/packages/confidential/circuits/vks/clawback.vk.json b/packages/confidential/circuits/vks/clawback.vk.json index f9c9780ca..19f5c979b 100644 --- a/packages/confidential/circuits/vks/clawback.vk.json +++ b/packages/confidential/circuits/vks/clawback.vk.json @@ -1 +1 @@ -["0x0000000000000000000000000000000000000000000000000000000000008000","0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000000001","0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000a830c1c14552bba8341989d058dde549c3","0x0000000000000000000000000000000000049b63a8146c611b63ae4c8ff7cbba","0x0000000000000000000000000000006c4f4af370f99bafae0816ce88c633ab62","0x000000000000000000000000000000000026d68799be672e3b0a50f8c6e9f534","0x000000000000000000000000000000d26c4165ccc183148d05524649964116d3","0x0000000000000000000000000000000000007862d45dff827373579dc0028a86","0x0000000000000000000000000000004b36360bf68260c124ece039ab1281d347","0x000000000000000000000000000000000011e066676a777551e86768da98d28d","0x000000000000000000000000000000650647acdb9319effbce6ff1666e6c3159","0x000000000000000000000000000000000026a7bb39fe76a19e52667572bdcf9d","0x000000000000000000000000000000fa853a0137cf88e5650023675497f292b1","0x00000000000000000000000000000000002e6524877dd2a7bd07476e5c4efe98","0x00000000000000000000000000000047556ae230ef62ccd4df33d50fe88e9f82","0x00000000000000000000000000000000000368a54a6fdc418b9abafaadce0bef","0x000000000000000000000000000000ae6c86d535ebbb997fdbb8036f2ff2c359","0x0000000000000000000000000000000000087afca608730102d2914bf49693d3","0x0000000000000000000000000000005650a3cc44a43d85b88231e8505057eb81","0x00000000000000000000000000000000002297418c2f946b535eec0eb14b9489","0x000000000000000000000000000000a745954c22e57e31d560ade206d380cace","0x00000000000000000000000000000000000664b99dfcf39b90879ca0b45f7720","0x00000000000000000000000000000040ad8e9680666ccb1b6f5bf25737fe2b4d","0x00000000000000000000000000000000001c02f2358ac46cfae0f2c5b8ed7695","0x0000000000000000000000000000009b84425ba5f74a00e49714de77b5cd7e60","0x0000000000000000000000000000000000253dd47162c61763370b6d5144d4b0","0x000000000000000000000000000000a0be2f4cb72ba2f31c9b57d1a5b2cc41db","0x00000000000000000000000000000000002a94c0fe2d93933566e72643e9653c","0x000000000000000000000000000000882087d05493afd017b8813e817af63820","0x00000000000000000000000000000000002ea245a5a6c75e8c2e488f3102732c","0x000000000000000000000000000000eff45f8bc604151e0531d72252bb153b6d","0x000000000000000000000000000000000022abfd833a03446c658924ec3a75ac","0x0000000000000000000000000000003dd19a70a9e8aed9c3ec6da6cd142938b3","0x000000000000000000000000000000000001621d1d3182f72a19538e607bc24f","0x000000000000000000000000000000ec9d3cf27869dd2c3a2ae63f48b8acb18c","0x000000000000000000000000000000000015aa9c327dcf18a4c2df425a27a085","0x00000000000000000000000000000019276473d2fa0c20dd9ce7015cffd0fa58","0x0000000000000000000000000000000000237a84f2cc76f50647ef6c993bba58","0x0000000000000000000000000000005fd48b0faaddb4c827dbf4202fd458f51c","0x00000000000000000000000000000000001802f40931f7810af8d04a72bfa4fb","0x0000000000000000000000000000007e9ba9c43872af32d7571cf0bc67f0ac13","0x00000000000000000000000000000000001c789195f0e2b6227eab2fa3258bb5","0x0000000000000000000000000000000ce6217ff4bfde5018e67947ee6c525594","0x0000000000000000000000000000000000172b64e786d31c69e109efbe54eefb","0x000000000000000000000000000000ced4a6ecc399eb8534e4be09acc7307dad","0x00000000000000000000000000000000002316674db571a46ad1674be2da8f21","0x000000000000000000000000000000aca653c7f0c18d0ee7a5bdbb8056fbb218","0x00000000000000000000000000000000002fb5ef9a89e0d65322d330c1bfd84b","0x000000000000000000000000000000e4af6f59112f35826ba64a8fdf5283a98a","0x00000000000000000000000000000000002eee2f7b8d127f14fa5eae92639cba","0x00000000000000000000000000000000c240d384fe0ee1741a783a44e2a6570a","0x000000000000000000000000000000000001c92f03140e750bea3e138d75e9c8","0x00000000000000000000000000000098c06e3aa37aa68cac40030e02a2360dd5","0x00000000000000000000000000000000000b9a454121b6aabee61ebd759023f1","0x000000000000000000000000000000b388c1ec9654b528c8b6d233a8858b3cbd","0x000000000000000000000000000000000017a0290f135974df0e5a7b44b7493f","0x0000000000000000000000000000000565978fdb83637ef0d300f192f35b57e4","0x00000000000000000000000000000000002c65e566de72771b25a76b3f51619b","0x000000000000000000000000000000f55b03c9f6e3c8647a36cf0cd900ef2f9b","0x00000000000000000000000000000000001440efb07d2c86bd35f3009e04a74a","0x000000000000000000000000000000c48d7f36bd17c5760deeba0c8789f5c99f","0x0000000000000000000000000000000000050f15eff16a4debd4db185c1d7996","0x0000000000000000000000000000004d93a8e0b31a1a52a93ade80a6c0473708","0x000000000000000000000000000000000025d7fca565314b8435ac7b6ae883a0","0x0000000000000000000000000000001df013712621d06d53b9a6bd7c28deb854","0x00000000000000000000000000000000002abe3a549f57fcfa7d444c70a735c8","0x000000000000000000000000000000d567edd3726c597eab71accc1e3c9cc36e","0x00000000000000000000000000000000002d90a532568192ffec379c410a444e","0x00000000000000000000000000000026a9bb99a1dbc242c0f580c5ec94f34476","0x000000000000000000000000000000000009b9fffa960808090df2deafdb4442","0x00000000000000000000000000000002450b6665bf0bc1a95a18747019a2979e","0x00000000000000000000000000000000001a8d21d78abee6e48ad2d12c7dc1cb","0x0000000000000000000000000000002e32c39c40b6c2f903fe6992ca0e4e5e37","0x000000000000000000000000000000000007bc87a70717e7d4677e985bbe1a3e","0x000000000000000000000000000000a5284385cc61178877fa2021a8e78cdc49","0x0000000000000000000000000000000000018b2201f0e8c562c20098373b9b62","0x000000000000000000000000000000857026685cb8f4b090692ee424e4afc733","0x000000000000000000000000000000000011621c3aa5260461063c5d7fd420e6","0x000000000000000000000000000000f0701199b58b5e9b69e25d3abd19627fb3","0x000000000000000000000000000000000028671547aa18183f6ee4e6ecf30471","0x000000000000000000000000000000015f5a8481da45912d197f8e5f0c69538a","0x000000000000000000000000000000000015caeac2e9dc0b11aab005bc46b118","0x0000000000000000000000000000000be2ef8d32709f9b825287ff9393c42be6","0x00000000000000000000000000000000002434f9fd88bd8fa6fb18a6dfc03c94","0x0000000000000000000000000000004080ec319a6db76a48e13e31948b2902cf","0x000000000000000000000000000000000023c15ef62fd92be53d26cc83f74f05","0x000000000000000000000000000000f79618f03ec1dd475b291a386b3479e308","0x00000000000000000000000000000000002a9eb8c207cbd0b42c4a4766357eed","0x0000000000000000000000000000002d07227d3a13317f74d682a5a26fc1a68c","0x00000000000000000000000000000000001a50db9c3304a995bb826a540e052e","0x000000000000000000000000000000c4cbf21998756f4197200561b23928fe52","0x000000000000000000000000000000000025e9da624df8f723dc7cc6b9edc879","0x0000000000000000000000000000001d1190bfaaf85b4c70ad460c99a44e5355","0x00000000000000000000000000000000002ffbef27b291f2c6132ce5ccb69c2c","0x0000000000000000000000000000001773b012d61d109cb6e6588c114f11981e","0x00000000000000000000000000000000001de6e1c0e5f3b633ba16fde6b8ce9f","0x000000000000000000000000000000fc5bd83ad9e7d6f11dfb737e10949cc552","0x000000000000000000000000000000000025ea1fa35b68c47ca6d27641abebc1","0x000000000000000000000000000000fc93be420537551e4000b3b4fbe19478d5","0x000000000000000000000000000000000000983abc4fa60d331e40f0ec883988","0x0000000000000000000000000000001b495d644ede89b197d520ed8fc2668e89","0x000000000000000000000000000000000001d8120399b0c88438272529ba9529","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000001c65bf19e02d6fe2f49163bdb9794f6666","0x000000000000000000000000000000000020f5ec27ce6dd322c3e82cf6307ca7","0x000000000000000000000000000000617267107169b7e8c53adefa0622cdd733","0x0000000000000000000000000000000000280fab1ce7975b96a19b959442d97d"] \ No newline at end of file +["0x0000000000000000000000000000000000000000000000000000000000002000","0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000000001","0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000f2f854e456874a62b97e44c2797c07c6f8","0x00000000000000000000000000000000000e8eea98c11509992067a4b9f573c5","0x000000000000000000000000000000c7fbf36f50cf3604203c9d4bba8385748f","0x000000000000000000000000000000000016ba08ff3caddd54ca15f5c7b0a08b","0x0000000000000000000000000000008d779d691f491df7bff1d5d77f987cf857","0x00000000000000000000000000000000002b8582ff128915f7b778278f0b5963","0x0000000000000000000000000000004a82a6bba24d752b391624c0c68098d3e5","0x000000000000000000000000000000000016cf37db2dceeaac34a3f9739211e8","0x000000000000000000000000000000a6225cec6e992f496d0a254042b6569126","0x000000000000000000000000000000000013ba8265895456ad88f3ab90ad4dcb","0x000000000000000000000000000000085ebb21e6be69b5d5f9d42adb57c0394a","0x0000000000000000000000000000000000224530cac6f4092e7e23a91edbb567","0x000000000000000000000000000000206f61bbb2842ce004a564c4d6e62da854","0x00000000000000000000000000000000002cedad89ddb626e3fc916bc5a9fd05","0x000000000000000000000000000000c99d961a94709bc302226bdb1f49baa2a1","0x00000000000000000000000000000000000c72430bb2bfcb40b3213332e95107","0x00000000000000000000000000000009548cc73f8cfeb9ff21902b1c2363ac01","0x000000000000000000000000000000000024bab7165899031e2a2212d7e20666","0x000000000000000000000000000000bc5809c21f4180b4252241ff49da5436a2","0x00000000000000000000000000000000000a5db571b25a6df0a1c94b01eceb7c","0x000000000000000000000000000000b35910b929750b04152403a6c0688520d0","0x0000000000000000000000000000000000011113579305488554c010a99c6652","0x0000000000000000000000000000005ecbc71356bc86e027ac371e4ef103cb69","0x00000000000000000000000000000000002d97dedc6d249a1218185e09b1f640","0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db","0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76","0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3","0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023","0x000000000000000000000000000000e9ee13f5e0869c15d5d7ca9cb53fc1ddf2","0x00000000000000000000000000000000001ac5800a90afe4515ef34b28b01fd1","0x0000000000000000000000000000004575f0d11adce88f5d9c9fe817e482248c","0x000000000000000000000000000000000008f60094f894d916da9ceb1ff1aefb","0x0000000000000000000000000000006edbf0bf4de589f6a10217c3be3eab8722","0x000000000000000000000000000000000022978f4d4c9f93b90c0be1d51b2ab9","0x000000000000000000000000000000c23ef4822093cd1e1a3db4545308ff0fd9","0x00000000000000000000000000000000000be6863da85e7c55d5478bb62516c2","0x0000000000000000000000000000007d2c30355bfb14c59de4f610f3448cf397","0x000000000000000000000000000000000026faddf2002e26a5fe16a26170cf13","0x00000000000000000000000000000084b2d0534d67b6829c8a76123c8f28fa57","0x00000000000000000000000000000000002847dd291d1833b0c2e75930f82336","0x0000000000000000000000000000009d9ae27dd981fbbc600ed628b031ecea32","0x0000000000000000000000000000000000148fdbba62af950f773273a2d726f3","0x0000000000000000000000000000009621b9b205d7b439efbb2a711bf43beaa6","0x00000000000000000000000000000000001ba9dfe09992219921574e63c0900c","0x00000000000000000000000000000048da54696a0bbf922ed2f901b9d9366667","0x0000000000000000000000000000000000305ff8c77255ca42ca53876bc2c20e","0x000000000000000000000000000000674c5c860077e5f08c7596b0d8a6522b12","0x000000000000000000000000000000000009d6664ddbcc5735bda9785e948079","0x000000000000000000000000000000080468d77d9ae4cdbcbf1b9aa932468bb4","0x000000000000000000000000000000000027226f21148bd38cefdcbc82e0141c","0x0000000000000000000000000000003ed60ddc95eb21734b4d210f695f4d4051","0x000000000000000000000000000000000012ec71d2e977b633fe9ba34fe6e5f5","0x0000000000000000000000000000008f800e9ca0d8c45aaff82f6fe9e70ddc93","0x00000000000000000000000000000000002479706a176295e10844cae6922d56","0x0000000000000000000000000000001fb3c3e297fa7affef833008d60a60e527","0x000000000000000000000000000000000020464cef605137872b96d81e0c93ee","0x0000000000000000000000000000001eb140ce513ea54bfedfa39ade4cefda5f","0x00000000000000000000000000000000002d3e88a95d9c2d78ce85cdac18312a","0x000000000000000000000000000000aad0568820762083ea612a25b96c490469","0x00000000000000000000000000000000002e657671851be78c55b0c593fd3abd","0x0000000000000000000000000000005ce32daaa097662bca5b5da9dd440035d0","0x000000000000000000000000000000000010de5b5a70a392efe3dd25ec7d51b3","0x00000000000000000000000000000046362ac82f294773e0beb4b956e561484e","0x00000000000000000000000000000000002816c51f202d78fbb4dfc28c9cf993","0x0000000000000000000000000000007f84fe253a8997847b100723416ba3e5b3","0x00000000000000000000000000000000002a1702329f5e39a373fe8fc2bd4614","0x0000000000000000000000000000007b989a32f64d65ba016ec0f352fea380ec","0x00000000000000000000000000000000001d4d04f845f84a6713071bb366f068","0x00000000000000000000000000000073dc80db4458d1356f333f72bdffc125a1","0x00000000000000000000000000000000001ed05dddc69c149c78dc1eceee6a07","0x000000000000000000000000000000691ddd1876cab49b79788e5851fb4c2f2c","0x0000000000000000000000000000000000270389c75c000b484ac1be398193b8","0x00000000000000000000000000000043ff4713acacd0f09d78a84f7a9fbd9c96","0x0000000000000000000000000000000000161a20f82bc3e2dabe7da5d74d6293","0x000000000000000000000000000000ee1eeb936f4f10a7d289aecfc202808d6c","0x00000000000000000000000000000000000556615d673a2db9f32e596b4ff5a1","0x000000000000000000000000000000879849ce5662b75f3cf7f170affc7b6978","0x000000000000000000000000000000000005b30658ac8522ca7f2469da9c0061","0x0000000000000000000000000000008f0ceba86d8903c6f51b1b77449917912a","0x00000000000000000000000000000000000d2fa3d8652100265d256373cccf3b","0x000000000000000000000000000000127eb14f717468f4d15720e02ceaf68e62","0x00000000000000000000000000000000002364e796473300230b1dca4e91d95b","0x0000000000000000000000000000000c75f41cfbb78c5486ace5e5202c66ad9b","0x000000000000000000000000000000000002d8acfa7d4022bb2d3ed201bdaa36","0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e","0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c","0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd","0x000000000000000000000000000000000009c45c61155d314160b50b20e35c94","0x0000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b7","0x0000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd0","0x00000000000000000000000000000085656153a6120eebdf3a488dccad95d00d","0x000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc2","0x000000000000000000000000000000e014214cfc1eec34001bc0e37213a3dd90","0x00000000000000000000000000000000002e51457f90ac649be71c69813f8f70","0x000000000000000000000000000000c4cab1a1d3479411afd12fa5603beef8ad","0x000000000000000000000000000000000026249bcca5ce3da70630c31f07cb5c","0x000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad99","0x00000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56","0x000000000000000000000000000000183a142ac675e313630847be47fe912b91","0x00000000000000000000000000000000001558e16ed49142b74e4a2085b22287","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000006870de70d00ea20a2f6339de95c3c7b1ae","0x000000000000000000000000000000000004b1069fce6b21c63f8800cadd14fa","0x0000000000000000000000000000007947fbf3296d36a83293f4bbdb8cf42df4","0x00000000000000000000000000000000001bf59f1c878ed4f8a7700680117933"] \ No newline at end of file diff --git a/packages/confidential/circuits/vks/register.vk.bin b/packages/confidential/circuits/vks/register.vk.bin index ef5f70c2681ddb7994874e9a3a94d8bb31aa2431..dd1ec9f86efad8a0b8003c77cbcff371247b75a4 100644 GIT binary patch delta 1722 zcmV;r21WVc4d4xb00000001BW000000000D000000000M00000000016#)+hwPP!v z6@BS=7W@kCjOoP%ZOD|SMag`r1s{;M9t|F(sY4$?&vIFT_I9a%ah=i6aQhK^X&DJ^ zWEfPZ7O)1hAOQ5s{^?4oAgeua|8EB3iomgTlbvc$VF1B@Yby4;a>6*IFRe^RePJ=j zE`!PB8%hR@`n{YE1h{szt{1ixOAe@jpr}QR-Ub9v<&wGZ!xZS~h(TgnHFH?qXB9ZrTllHuY3D_~=QUHh$STnEhGz=?uN*gBcS!iPV?8JOaFcpJjycrjb~Q&^RyC z52Or`z!-Udj1C_WVwT_&2Uil*II_0;)B14BxA=@|##yh9P-QNB&G;`fJ=4v3A|&cq z)8f*^itMMOnUD6}m5h}y!IWYJlXV2I(Rk}IvB3TbRZ%o_w|H9~p00G2ZT6M%ym^Oqbl@nk9mEetFhHFEh44D_=XGkT4H1j_5M zC`vFURe5w*8ZhrM*h%!pn#9UB9avsVms8Y#--<-FfEz4b$CR;DdYx$(h-791zD2cR z4gA3+s>fIcHwG+_VO=v?7yM|Oht?(QWEdv%`hm)M0 z!@8dY$+#0%#1kGuggN3xcZ_tPcOUhN>IWMA=DqAIRYMIiG>#UOHBmmR_5VtS6alw? zP(w*91yBo==qRS&$D#u_8HW(k(2*s-u(KhtIXembJKc?Mt+oeg^t-0-PjpA$8vvhl zSAi&;&&;@n5N56T0ajj|> zqf-KND{u&?SW?qtZ`tt)ViO8jH)n(==teRK)&Rda@GSQ1jREz z=;;%7H?>on6IAOueUn%i7Kw&`SeX!9KuJ*T7Xo(E zykMrOp$r?>!RsgVQA|%(2eL1Jt4P0?VqX!gF$iQ~!RU-r8Rq)VdMWZ>)N$E; z$$l07QN`1&iW`s2MW>}#0Ne<;WFLjmbEC!oqxq&wo%qnSw!GOk8yLD+eAbMHl`BDD3XNF;yk19dmNnS!De#CL-#~wQK4#h^m777v&t5KUHyje&$hUe zCVVGTI-VY!aF=ZjWPLB1=qNh>&u4&&+&OV@c)NhxtCbpkoXCYyrY?o?N(7=@XLaS~ zi!L26j~m^5OEXgz9>NlhTizgS{d;b|sUq=$^<_By$B`Mlc+1tFn5+9bkS-UaUS<2` z(llg;&UC9gy20(B@w7mH9tsD$+G+nMR6V&CzG^`UzO$E>$^o@FRpUHQ8hac}LNiWv zSx8{*cOF#|FupaxPm1M82EfMbBhk*TzA%!hqsUy^qjesHQB50CRx$J>>G z_(r^;XYraID~GA*G$_)XZcNZDER(RTc{$Ui>sTZjV7(ZFijaG3w;|~4^ey~44(a?q z8|nFy4LWpu5djXDq7PlnUkFX$v1>A9ex1g>wQ#s?J{n8DbI8np6%IZbjStB@Jt+rTZ4v%* zko*}1y0|VN`mq1U=YbO-9}{#7SNBe&H(qoDh0`ro&$f)z5cN3pI!zkpZVxMTwgL#E zEHuF0cqKl*>X95t-7k_=+#)}%N_3#JqQtZD5)2vVhE-i&(;0zR%lO0Rg$atY9MdJHDfJh~2;_zwm?;=g1J@A5QWCWAaD6Zl0fbMADlbtz% z7aj)^N+FrJxBNdt1MIOTz7Uc`QKP-q&lOEM=S)Ynv#Y^pNuuUDpbA36TW#+%GMnS zoKtc8QAs`oFM|R}qqIDzag>|&4ID+SQcjp;wqm!EC!4*T*V!M>NW%dRK1G)934Z=K z8|1V4r=QC~vis0-!4vvt$)C-P7*aAB9NV0KyFR)2q9T%o*aS#2``|fEa3>wS>P3H} z@Ipar19gj%ksC`u(I>bHK6mX>;zy2CI8`n)$q@yJf&uT)r=P3c#fwp;n zt4ZAP!lfl4Lp{5t1&|AEEC2CXuGy2|sdb3|t(*7Ny0Z_$ljA7i$oAP{UzTUWp$3K> zuLBR|jNd(1S#Lp-^Vt`Z<@*NSf+vRVN(ZcVgdYlagblACi(L0A)#9a3IH)eL^)(sb zF=^{iooS|bq>6uk>!UHpWUJ-%5O-C7I^}W;c8U1_f+sC%iSwa!9ZlKbpp68LO#g&i zX`U|Ptd8^7liIo>HB78G&0{%!_B%Grpe%ZrIA)Y4SG~(YsW7K>Lnnzj^6Qf zXjD|mov2th$2Cj7vTA5yOCfzO;cbHw-BQ4=_e9bwy53gkR!5Qv6eXFD(lQ`_q{SXn z;?F7NBOcIr_d)N%(Y6g=Ad4*9)WI_*S;cv{1{2Z<#bZjCAKwJZ4fw7kJgdkvVfnglSy&@XV}5cW-qgY%(;1d`g`a9T4|77oMo=B4n8=bq9u?sNza!9h8)g^+zLq58?M^B@^9Y6Kpk66DoX z=sMSgbsNe?(6ac_7qtr4c@tT}ts*aq7sbDB(GfeYmFdo1>o6X{ZS{?RM3gj30R`5u zY;zt4((`nsX1)KOESw4|{z5#wRtOH>X4_ z1^pa%70B*laj>+4Jcm1 z1oOLdii4&GP^Rf*!^Zu@tI*&IoqlzCC95Ld8*lD+erayXL+}$X(htleyxW5FQ7cXy zS1YdnJWUUPS9;XPxgi|DimPa4)UAQ)L94uK5!45*f>pZ?F~;R5}YZ# zXZt)wB5kJmKN7WXn8Xm}J9qV#B|AeSeXC{`UJ-Q0D>~nQ*BV;hxq;)jFbOM)9$w#* z(M(SBS#iu4^&-C>-))pd^#y}}>uk}oWdW<9*V90DK?lcqb%mxHBI4nCQn)4OfEV() zK9Dv<}oWt|1`sfzg^d6HCW`z9?203Fv2rjG^zDfItV|anfPg z`MopEii;B#3`1$avqdKjh%NPI6tU?r{7F8xQu-`xC&v`My`h+A%ZE8VO=!R;JkT>8 zII)LuDrngY$u*Fs+Bn+-7PMY{WEXXoHUc;VnbfE-1J6VbXDr~5SHZV}e9s|}VncUz z;B)PN#ME1H3QjX2^L}-M9e~~TKWHAKl!gqdH^!lSPB#+|gu8=}9UVInZ+6V@GXA9# zS%zGE4R^lHsmY`I!IinShtnZWf~hMl6hVWe78t^2$|40U14gDvJ6IM z8)Ml|3~!?8Mb@Jdr^?=m)(#7JW-L&G`TgX7Z9heUsTg__i8A0+Jn`w-k=0qdPHYwe zU}86n5#B@>)x;Npl?ouWJ`vQIT5g)WBm&!j)CN8H&H3oOel?QgNfy90j}r9zvdL0s z2tXKrUFvKchkWXuRTa|egRiN8wPRYP=Oj2Kb80>Y*IMIQ=?R^s2TR}6>H$DZuuhJD z{TAQwkog%thn=f@39nDhP4jpxe~QWrtOxi^#ij;EojM7#Y*+=V5;?qmWbd3wxR5b0 zI%5^5r(lbl0wt-qJMX(G3k)k#T0_ocfSu)%(hlMW)mmf+KF-G`MfNrqRkI7CEanRx zxuZdo=twjqUc-}MfNR8Q|M&UHpslKZ7|&G;UcSx|(@<-goDr<^$&10v3!AHNEn2T^ z90a>fF@^u1iHjd2e~^UD6H~mlo`07+)p6VVb{&Aq45|{a^K#8vS6X@pIIPThTB6)l z)W;WXFB7qSK#vP(4|~z@;RBCLzj-GH(0mX$Fbxu+>H0?1C;G|TTwW=|y3y-@A1tXw zvTBWd8)s3d5{{ky!BCntV~qiM@oj9Iheg&8)ZVlD0|GYohF;Y-BJ^FGpcGhE-*uwcn=+60YahQ zF`RO-_qugbUE&}WseAe045g5N9^t)6uvFkYeHr<2;$S_n)Tf(x$y?^Fc1mit=RRCL zZX7@tCP0F^NG16+6dope$p9FG6Wvv*{kxWC+Z^fVg>TKa9F^&+xge+_Ev4eMAt?98 zgmN9Lo>LONpC)DI)>})+g>OA#EDkW+Vh@GXyiX+rh{qV@b9xMk2%Iy2p)aak-|Ytz znw1~r$63Ogapg4%3DP-%3+0|tH^`)aFRwndDyTFd&k7KWm<~ux6`e4r34c%{AHQ&D zRxvAIvnz`UmVu)uJhPptrd1`!PWWh?hZk@H%^{0vUL_@?MEodhpODN&`14tG<8-5e zDn@UIXDeMkXVhRo7({3TC2=@`)t5g`eT7nEF)HQND4W{&7)6yf4J<+He^HQ_f{;kU zHTuL6699LV!-@Ol000!GX Q1ED!xmcr6f(sq>uWm~r)G5`Po delta 1722 zcmV;r21WVc4d4xb00000004jh000000000F000000000g00000000015NZmDlWKr_ zkYCbYrt0M$=rV8i`c0myX^vq)@PCtg1&~96FokWz;+rc-e}blbibm39V-rjhWeMj7 zw?^^AChn8U;GbqlAW68ZpBV0s+E1yX7ZJllos4_jhX$j6S_gwbG=`%LFnAjiHn45r z`ehlSUfV5k&EX1pd3jDD{|!NLdGx~-!%)l-2f5G5EQs*rDZ{E8NcZ_Q3F|Ptng`BJ zX=`%g*hMW;r^@->u(Di7V>@)wqQ4x_5B%q`EEvqsaxysHX3uEfOSxCQ&Z} z4l_d++UDwi@W>qovnLIuYBmP|e&?+Z9{7WYp^e-YkV6Lrk9~TGK1wLjv64^c&ja=a z=K<`^AnqD@t(yED0=Pipd{TqwM42d6OBsx560&FLroRb?+M?(|J0_wy!6!@{OToWC zqh<@@5K`dEOS}QEB3iUT?{ZzsZ8Ic7$?mJaFcF?%_& zW_5YQtY%;xd15C!E7&qD7(W`zLX_rMLZ0$(3V+Cc>vB-%vg451mC{*ZsUTP#r{wfp!GXxGP}e zTHb7bEBn3V6De;$A=SP%_QT#!eiFM|3iE>Mr;7y$Bj9i$qFHA!3G$!~Bjs8Acejx7 zc-BM{??%52j!?GhM($7A|G z(Y^dRlw0wNkE`xTK6;?C4nQegFYa!6+6$_8ky7?dFs#;pwy9+@-(-InLeumgWUUu} z^ZxkC*(w4vp$_CrLE{oVSdckkoMZggJB$lOo&87{^3GjGBGh24OFImo z67aIz8I2urN>ssL2cO7Z3|4mo1jKuPd23aymGW*b!rmaq;I&_wJLnXIt8(&DmAA5C zgCSMudIj9@z>y0DPpSBtU)zkyq0N5B7JqnFNZ=Cvx<06sYoeUiwkVw)71VY?WLNZu zxq9>z>Kfd|6eHOg(X)}O^nL<41#~X}?vHbLd1i7|YTnO}Y-6HG5-dXaV`#5`Y7BI# zqFrB{ELOxC2crONC@`!+Km_OL!ZX2*aNpKvTIJn+_2QCo8xmbJ7Qstm#WMD|vgH28 zb?JFxs3Q-Cp$R>4PM;42CkFN-g3Nvw$K^4DFZpJPy%?GHZ20$ESfaKHo#c%79#H1z zt$XCy+RO5ulnV6HYBwTS1=Qew7X)ww9)Iy$o6rZYQ(^@47^sx6(nt z-BJT}5Jw?$Z5ixHP`}fApZ3PXe&LRwZMte^{Aq4Y9%=q)8pp@5dPO z6u6oKg1089jgpE;rQs4PCy;b`2pvbx1>q{2!mu5?2&U(aCy%*zepU4bE-Wd(5q44I z2!|ig5&+FTmx6P~JR}EyQ{6_>>*bJKhkWZ8!o=+VXzezc3kX`~?y%>`n@FMZWN3aV z#k*=dDX{7k;kjNQz&0~xr_@m0v~f}f@OD+%D|EQ`3rVxU(hF@AfW(o{+E}n^!QLPv zJte~!jMtz|Y>J2j_?$VOo5@%Z%r5$m7{aq*E&-_dMFSU6TPxCRHsblkgs09`Ey(=B z2{&UIPZFx)oy(tlbX6)J3O|8C8y*Jj^jtHP$ikN51Picot#RIfUBlB^0oeT_>f7^> zBqb--WM%`)E2#Sz0ieT!N+=X3puIr*`qIFeY3Vr7n&_k8vgm?RM?^F6lVJuPlYRyw zKp*<<*r5GRlj$!pkZlLs^Yg9CM1&Jo$_MS^|JtPGZzOz(i1K>IryY?FM@yrWgbd2l>WZ7At#<^vkUxLBqbz&`5$mnO>tbm>Ok)8x?0&+ zIX}pIAs*JIr_fWRkOTFXSu8`((Hr-4O^e6tbL6K!0c{V>nqgUvijbn`(~XRBP8g?d z6WNN~%wqj|U4_A%(*4ddbQS{VF_ympK?hQ&d=;hq> z%GKRUxm}D%^a;x^+X*IR+|l?UrAyO%=cnZ?DE3)-n~&r+c-RC+*FMt*{~2wsd1#T{9lm(N_GpRuo8Hn@?MB2jH?YYCM}_` z$sPq%*_MkxB`biH{Y0NMUMMkbB*$ycgEWlSLzlFFV)D@-Y#l<9XbLP8YtvjY1_)f) zUPbHx?UE`hz)nreP%^6oci0s9QxbWjnWi=HQ9NNK{{;0izYNuNYMz(AuIEJ{uMJsx zz`T^pD5_jd+NsfEjIk)MhtUen+7P}6a%$`*^K$Ya<{xN!EXb}IlgjNW(MR5~j-SfU z4-OxH7+vZxCsc=x-wJ&Nu$`0BBwq^;VhHElZdBw#y%Dx;5p9181`IgC4l#azZiJrb(K3Abrd9510Y6k zq!;OPHYtSI(08>B`v1wTpc=p_HMRd_~EGW*J@gS z7TaO^%6=IuR?DvYSmOW_SzR@bVO%^MOcx7E;7WCI&}HLwLk1rF?|dL02J3oeuZD5} z=u6M17MQGOlCVvcI?cTnJ7y|3PM*|i3{5Rye{D2n+DSQgTOZFJ4!Xq-lg23JK8PPJ zK!h!N7(=f`luoNU=^c8|C-~*;0miWf0OGTZV&ao{iG4w}=<1MDlisu^c%mB&h(=n6RB}?xndU!h?Z&;Myt? zpQ4_-s#?lw9&Hc0E>&f-0}BoEWvQ(k$Ndck2|czOXq@G;Cu)081T3#W!ygTQFY#-O zZ*@sC0PHJ4(W#s*0#&o`Ys(jO&L?Ycd*G<=K){2%N*hYIE<9m314&dLoo>@=N_3o( zvoKErSRE!5IbypbG6Bpl5lz9r`}fd^!)n~7<*)`V^#msb?8(;~_@+VsP`Xhf5MS2n z)qgm|Sl4nfTTA^nRl@c@TTpO+`q*hUJgWp<4k~)FtAaz@Y#!_R8S~!}JoxZhs~c}z z6yui1^<&V~i6eQ#xONH+IE-&sPt~oga8C&*qg!xAw(36dEE}uFzY);wae5|1{sOde zv=g6aNx_zQJ7>=727m2JB5gH>uOW~%o~r_JdkfHOde$Jy2t3p~GtFjyp4iJK-Qoqy zEH?=?-`J{>N;dOn6>VboceY<5EJ9QlbH#Y0OY~}+OLGMHavmy)BJ4%F5PB}>xYhy7 zF+Ph1l(CPP4)bfP&Ef>0R2kn7$XA(f0+xL_BohMP+)65ZG9_w$IYwhGTR9PG{3_Tx zpf@+2&K*4iLsIxF04gJYlVfdYFV{9E5bHY%2GMpNu(Z04(2^9aD7|Y0$p#Q;^f~?P znPsi5eOa^ucuc(%VZljdWBrlcC0)R9@^2nXaQqU=*RQ6^nnke{49|pq=jT=II{hwG zP>LTrUf4Rx{CtKMI+RGUCZX~ZENB+b^qAkpFYs9)DoMG@BM|maPppn@pqOIJ*^CE{Ct3QTxa3ZVq;Tl>jW@Fu6kcka5GewHhG9 zxsB@jDezPG&aoX0GTw*Wd?R@)35RkUktpELLD{n`Qi@f!DWU}MVcM4Y@MU4t`5~OK z^gX41rPtD!y$*XxibDw|+ut+Ek%^1ta6p<73KD`+iB>FZ75cd7QqxXzA3X$&zXL^*phvU!L(B%LvwE^}v$G8G60kqB-{i+meU~?jDv>j#z%c4yqppKnBW+Sf+%GkjD`{=%3W`A z(xt#tobMLAS91Lz3t|pp18s>_K06)ne#o>9A!4{@K2c(8W406XjSz$QLScBMt+;ib zR#tL<)QwlN9GzXxTs>@AQ8)1a{AP<@GQ7Mo)6iekatC7cdS z9&XoDWKJ^@XRirsf2KLrXRk)p8Bbpyw05FtGPh2fI{N7s?YO}5V>-+y3 z3w$e(7aWw;lg^9*kDZ@?7Pl&V(|dodQVZ*USaXH13=!lHxw~DCNI_~a;`{7UYnSxA z)c?CbL!?ZbRN5&LCmAu|(LEm|t_YM(-*k8BMg9P@x2JTb@<)>5BQ1RYejYY_B#wos z8|?0Ylz4BYpgb1gj?xXtur-@C^oXTlwGyv}>t?>aDor=RVA6Ucsp);^S2u({Dq&rJ z-_IC9aI*noJxHsGPtnFoxeQ7CISb)P6qp6?uy1sSb3QDi_l*RWX-QpE_u^f-KvcKC zX29Wo%=RKLZ(e{nD}`*3Y044d(p3uOmc1dEfytOh&vO6ZAi{QTAQgS_Yey(}tw zPkrYB3%_8DxV4faz{r!=9s|w0%*&{MJ~oDQf?@gyP4*zw*D4;yc$bwd(@S1Cbdn9( zcpi(JE`d}6GdV3E${rPm;+DZvQ1D)m*~rN(_-3xF|kJ6S0$7ZDxOyCG* zSwLmrlE0z=TU`mEf<8{-pfwtv|M3(Lk10S$r2bDhyFD_PZe=2#jYMrBa=f8`z2*q{ zx36hHDb|?z=ukxA8^ZcGK%5daN6kSakpur_?JA`%W-TA52T}ypx)Py>F!{`&Y@HM| zNqG!e{CY!4;pJCorv`7-5L$K6M0aYtou!+LY~CCOA;;l55;Z#SQ;7 zB-ktjc;wNg?jBE%0vpU-`Q8%yXP_ID_k=?tZ1QZly#%K_3DZ1eff&9soG+gp_iW;_ z0k;E%a86Otf%1*w9Ey+1DR`sK@-B`!6Jp^H%sz9Ngb=na-xo_$j5EW3e`>BDQ+6pn zus|wl%yqE@taw%Ze|7PMqeD^(>I%>IhKCR|fUukasP-A=sSA|YW2V%^>nSw%IPY zz{jvhAj)Q5^yojD5DCg{D}Z!bfj5x+C>ynq6QRf(|I(j*YUvqN`o%6ilVJuPlYRyw zKrlm`Sjyga7~l diff --git a/packages/confidential/circuits/vks/spender_transfer.vk.json b/packages/confidential/circuits/vks/spender_transfer.vk.json index f81ac038c..daa8c1309 100644 --- a/packages/confidential/circuits/vks/spender_transfer.vk.json +++ b/packages/confidential/circuits/vks/spender_transfer.vk.json @@ -1 +1 @@ -["0x0000000000000000000000000000000000000000000000000000000000008000","0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000b1e2f541998a2755e5213d3e971e91df06","0x00000000000000000000000000000000001c85aa14f04fe5cd6ba340f1e36f30","0x000000000000000000000000000000dd17a4a404747a820741028f49190e3643","0x00000000000000000000000000000000001c56196f530a939d9d97a3cc03ab0b","0x000000000000000000000000000000e138bb15582e87af9d51fbc7ed6e0e7695","0x00000000000000000000000000000000001e7f60c2349b166c96ad0d379b4ca3","0x000000000000000000000000000000b98deafa29f053f7ceb11d0d32de87dc7c","0x0000000000000000000000000000000000002ce030b942f99071c3b7b51a20c3","0x000000000000000000000000000000528a55b629a204f061da96f9f06561d4f9","0x000000000000000000000000000000000023792b0987721b9128e0cf41d9b32c","0x0000000000000000000000000000008a430926dbdf33c991898be570409a110a","0x0000000000000000000000000000000000219cb1f43da57ea5d7d298bd0e7b49","0x00000000000000000000000000000092e74077b65ff0e232758cf9429592aaf5","0x00000000000000000000000000000000001282528955f7796f0a65e209114dd2","0x00000000000000000000000000000029590dd636d3648667c797ca389e874332","0x0000000000000000000000000000000000236ef8ad2e3fc5ce9dc9143315fb86","0x000000000000000000000000000000c8a6c7a4920d3415fab8e852d34e731f3d","0x0000000000000000000000000000000000169f38558aa5d5fbc8ccfc308ece82","0x0000000000000000000000000000007ab272b3b30d2aa5a04ab9ff8b03761300","0x0000000000000000000000000000000000048cbf034592a047b3f743cc06a9b3","0x00000000000000000000000000000092f9818005d01ae6aa95051e81a4d8fd7c","0x000000000000000000000000000000000019f5135e35bb7fd0bb0db2984503d7","0x0000000000000000000000000000001a8a976ae62ab0d4ebdf0f026a25320094","0x0000000000000000000000000000000000237782b32e0dd4f3385e0e58707578","0x0000000000000000000000000000007d23bc9c11fe98e0188a8228651e8c8612","0x00000000000000000000000000000000001824dc044196d321168c8386ebc647","0x000000000000000000000000000000fd200b620e62036d89553e3b1def7ec8b4","0x000000000000000000000000000000000025ca5d6f72d2a5c0539cef16bc5772","0x00000000000000000000000000000083f8426178a4adb8759e565672d48d57b2","0x00000000000000000000000000000000000d2162b8663e51626b63b613f38d10","0x0000000000000000000000000000005abf0765b4ec2d9008d3a0b0e4507d896d","0x00000000000000000000000000000000001c9eb82857d4ed7141bbdd48792bf6","0x00000000000000000000000000000053644e331267af096b7fa639d567af46d5","0x0000000000000000000000000000000000169b62f18a62c1dd259c0e4c1e6ed7","0x000000000000000000000000000000e0c1b58069ea333eef6ab3adfdebfbff1b","0x0000000000000000000000000000000000194f5f1fb476a26932b74e9b3b0076","0x0000000000000000000000000000007f16b72a7cd37b7fad520beb587385af0c","0x00000000000000000000000000000000000b7c2b90171c94d593ce8c018f9d9f","0x0000000000000000000000000000006b97f4bcd4ffbb3f43a44c9b54da291227","0x000000000000000000000000000000000011e40fb9bb5d8e48416a30e2fbec52","0x00000000000000000000000000000045fe00b3b7a774a6f24792e2232d7cff7e","0x00000000000000000000000000000000001931e0d13d1f24ae08944ddf7477e9","0x000000000000000000000000000000a03c16e18ed20dc8b0359b35f488a561b5","0x00000000000000000000000000000000001e367c248e85a81becee8094786fa5","0x000000000000000000000000000000a9e97de75737843e2a615ddfcf184170b3","0x000000000000000000000000000000000012af86eb66bebd2a4d37c160d27a23","0x0000000000000000000000000000000be148149805efb06f7487733e2ca3f78d","0x000000000000000000000000000000000001623d48ab894fd1c64ab90c49fc39","0x000000000000000000000000000000c0e17eccf6222f6f5e80382b856c9069ca","0x0000000000000000000000000000000000049669495d53f7e25db94054b7bf66","0x000000000000000000000000000000063bf54ae8896ffcfcd5f483bce7ffbd2c","0x000000000000000000000000000000000011e1d2550ae5e4aa5f37048b93c3ac","0x000000000000000000000000000000c893d71e03cdbbcccba83e3686748261fa","0x00000000000000000000000000000000002a7b4f7de7010bbf608cb8b59223c0","0x0000000000000000000000000000005e3974920dd9781e8b9b2e81540233392d","0x0000000000000000000000000000000000084df620d5d72a1ec67897952cd34b","0x000000000000000000000000000000c92cf866aee5a0ea4648909ef6d68fd296","0x00000000000000000000000000000000001fca1e1587e296c15350f05e90d9c8","0x000000000000000000000000000000a2005b5d09a1823e4ee2a0351a9efff114","0x000000000000000000000000000000000007c766a5124ce00865594065e092bf","0x000000000000000000000000000000229e8d446d2172bca1bde608f9b7af6940","0x00000000000000000000000000000000000f8f294047a4fe4f38bb3d32986e65","0x0000000000000000000000000000003547cd41239103ff65ed2aa52e662d1fa7","0x000000000000000000000000000000000029d698f9e85044e11bc2fa37409c12","0x0000000000000000000000000000003449790c59fc7a4349e1e55768a7066fd4","0x0000000000000000000000000000000000075204d5ba12a18730f9cca06c9d14","0x000000000000000000000000000000d74e3abd35dea7d5c3864b37381dacb1dd","0x0000000000000000000000000000000000105a75d044776abb9e403442460c86","0x00000000000000000000000000000050c32559396a96a2c975b2387cf9b0f0a8","0x00000000000000000000000000000000001560274dd48a2b5d24b6091ca1e9d5","0x000000000000000000000000000000926bdc48c50dff3424d82c0478e4d1a5ee","0x000000000000000000000000000000000008bf7f0695b740da94ed59263850ee","0x000000000000000000000000000000f78443226cf26cb8bd04a73b09d33c6481","0x00000000000000000000000000000000001e4f8f021bcc5df9de12fb67a01b94","0x000000000000000000000000000000704e51d181f28de21c8a8fca2978a3cef2","0x000000000000000000000000000000000018be339c2f9f1df76ce2b201b70385","0x000000000000000000000000000000df174b538c33c37f6aae1f5376293eb040","0x00000000000000000000000000000000002e8e391362e10fcc3e73988410b62e","0x00000000000000000000000000000043520aea0acff78687103480b09c01a8f6","0x00000000000000000000000000000000002a69cc75b104ac7855fd7f75f184a3","0x000000000000000000000000000000267c9488653d674ef240ba580f33176340","0x000000000000000000000000000000000019e6a90b94d863a6d4c4e39e80e6c0","0x0000000000000000000000000000009c7b961d4157b3b26b9156a3932361c86e","0x0000000000000000000000000000000000275212059032c11bb72f6a50581c87","0x0000000000000000000000000000008e59b97dd6154e534733ad92ad3a68a5d1","0x0000000000000000000000000000000000273947962d9e45c3ffe701e8dfb3d2","0x00000000000000000000000000000094d4ac37423f4543d43c6d532fba449ef1","0x000000000000000000000000000000000017ed9d63172a2eb4131c9f16db109a","0x00000000000000000000000000000072cb7beeabccc6c0373d512fc2a1fcd7e0","0x000000000000000000000000000000000001d67d4a0eb2e248680352726f0375","0x00000000000000000000000000000063ff686ee61e643ec81d1c8943337798b6","0x0000000000000000000000000000000000223b3eb65e0e3b442921ef14846d6a","0x000000000000000000000000000000a4c5c09617703654854f4cb71647d3ea68","0x000000000000000000000000000000000030451a0765f5e203bdedf2cfca899b","0x000000000000000000000000000000a71843a019f1987c83e489f228f4d22c33","0x00000000000000000000000000000000002eb0772b27bdffc2103f1878526700","0x000000000000000000000000000000c6b6d92eb8c0c7b04720ca665ef4e83f9a","0x00000000000000000000000000000000002edd5fa4e5172459005ff4f8a17593","0x0000000000000000000000000000009013a1c81bffd29f7d6ae91954fac52e3d","0x00000000000000000000000000000000001009ca6d2b80745a813790fc281bb5","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000d678f1a0bcc54fa74011eefbef799f4a0d","0x000000000000000000000000000000000030439c58cae8bce4e184e2b8bda865","0x000000000000000000000000000000c8f80f131a32e400e35d3dad34964738b9","0x00000000000000000000000000000000000fcd9a67a0311379f8a005c79daec1"] \ No newline at end of file +["0x0000000000000000000000000000000000000000000000000000000000004000","0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000a14ecd835d9603748ff0fb1e13c303e0a2","0x0000000000000000000000000000000000013ebe89705eff8e3fa1762fb2ffdd","0x000000000000000000000000000000662e7d2609729ebf1189b47881483b31a4","0x0000000000000000000000000000000000251adaadd6b8a4a6527da1e95cd65b","0x0000000000000000000000000000003494febeb421279e67b30bfc59242524f9","0x000000000000000000000000000000000006c9399739f8a4752f828003651e4a","0x000000000000000000000000000000393fc87b211ed6a6a7d053a49003f59759","0x00000000000000000000000000000000001f70524d715cbfea40eeedba5ad957","0x000000000000000000000000000000016d0fcd9a61598e8a90a2e7d38d8c724e","0x00000000000000000000000000000000002c43cfd11bf7744d8bc7eb73e4a73e","0x000000000000000000000000000000d2fdce32741602e73196bf01410752a77c","0x000000000000000000000000000000000018a76e13d98adccc62fd7a5d85c19c","0x0000000000000000000000000000007c77dd24e8e5dcf4ccecc41365eefde9f3","0x000000000000000000000000000000000005f1582cad831fee0383b710837067","0x000000000000000000000000000000092665dcd1f821a54bd37ce8ec0db0cddb","0x00000000000000000000000000000000000c34b95c755237acca3df409cb2fdb","0x000000000000000000000000000000f2c2f6debd5147db383c66dc548d23d9b0","0x00000000000000000000000000000000002f8aa4fc9463c126938578fec293ec","0x0000000000000000000000000000001278a0f25e88288cab0d32262da1b0c91e","0x0000000000000000000000000000000000104aa971a4b2fc5f91004a760ba4b0","0x00000000000000000000000000000028316d24c76bce83348cd74397b462f2d1","0x00000000000000000000000000000000000554d9968b3f252b8095fd449f345e","0x0000000000000000000000000000005cd95e45ec00ed922a2bc04e4dcb5032ab","0x0000000000000000000000000000000000206c1d4292680a2c146bd35c310608","0x0000000000000000000000000000006125ff04f532bf0cd5756a9e97beaee745","0x00000000000000000000000000000000000477d814f9531279a399a635f0513c","0x000000000000000000000000000000d1628cb128af87d10acdda10be07726aec","0x000000000000000000000000000000000020af0d597ac0bc94cb28aa5c4ddaa9","0x000000000000000000000000000000ed29d147deb18e9fcacf0f0e1f185dea30","0x000000000000000000000000000000000026f372f220e61f687a2cc8ae1993ca","0x0000000000000000000000000000004dbb47f43111d167c37e6acbca452d08b7","0x00000000000000000000000000000000002754878de3f7c9dca1ac50ae9fd03c","0x00000000000000000000000000000076a04344b3d07e15c97f82566f2cee2a72","0x0000000000000000000000000000000000222f1c9ee7bbb8fe314cb3f751818a","0x000000000000000000000000000000a6fe3e6b23430bcf294cb30da6269abad3","0x00000000000000000000000000000000000ab079bbb45b9757c2c4a657438d2e","0x000000000000000000000000000000d3bc637e7bd945eab45c1f2536c7514c53","0x0000000000000000000000000000000000300c060d9a8af3795bbe1d4c2fbb83","0x0000000000000000000000000000008e9e80d1ebfa9f1149a3d88f22a73e46e1","0x00000000000000000000000000000000001930e127873b0976b11e017fb9c6d8","0x00000000000000000000000000000018f65c692580f786bf1878e475953b1975","0x00000000000000000000000000000000002c93c19388a776c63e1620e039cec2","0x000000000000000000000000000000d077b50dfaffc9ada01ac02935b60a7ba6","0x00000000000000000000000000000000001424570320466fa417e973362984d8","0x000000000000000000000000000000f34e499bf8e1a8f1d76a5a16db61faca7e","0x0000000000000000000000000000000000148d5006b11430551aec11ff9fa4e7","0x0000000000000000000000000000005c3c1c4c170b4ae04a7571d065e3754306","0x0000000000000000000000000000000000192b56cbaefb58e30013595d358e61","0x0000000000000000000000000000004bcfa71698ac6792b04d953acdbd163b66","0x00000000000000000000000000000000001efcef7c201e06eb7a66af867200e8","0x0000000000000000000000000000004939775b1fcf1e0ebac50e93c628e53e88","0x00000000000000000000000000000000002a374e9ed46a0c4d2d607f6d3465da","0x0000000000000000000000000000001d7ad027f7a1b07d74bfdbd3cd56a974c0","0x00000000000000000000000000000000001f2d40842d7a1843af45944eab3ae9","0x000000000000000000000000000000578b9100edf21fa5fc3dd95286796510d2","0x00000000000000000000000000000000001e5da495ccc4eb0817c95de3efa99a","0x0000000000000000000000000000007688b11c392924a900d198b09d6ceea5b9","0x00000000000000000000000000000000001d5b8683699e8dd2afb78817a944f2","0x000000000000000000000000000000ca6a1e6d0fba2e5565b3030b0df265a9ad","0x000000000000000000000000000000000025c283817ae0da2a119fa29ebbaa5a","0x0000000000000000000000000000007b50042caf40c31f0d2ff16b8b6f754933","0x00000000000000000000000000000000001cc7fd0d06093db61b689ce5b2276a","0x00000000000000000000000000000074ce276b6f7be0a8ef40c083bc4a1b4ab7","0x000000000000000000000000000000000000ec2b41d1a99c2d0255b3ef6bcb17","0x00000000000000000000000000000092b3304f02581d26143962bb233201cc2f","0x00000000000000000000000000000000002e3c61370349541f9d6ed36a4a749c","0x0000000000000000000000000000002df5042704ecc9d71bf8a641ff50ba5122","0x0000000000000000000000000000000000114dc1bffbf7d089c36adca6e5b006","0x0000000000000000000000000000003755c2f63e5b5070fad869363cab045d0e","0x0000000000000000000000000000000000105fd6ead57f38c458d772315b4bfd","0x0000000000000000000000000000003cf8f05aab1b6f5c14e396c7f563d0d489","0x00000000000000000000000000000000002a7ab1ab8243db6c1eebf919f3df11","0x000000000000000000000000000000704f0927a35b7045b6ea3ef12c1babc6bf","0x00000000000000000000000000000000002379c3b8760a0d388c6f574fd5adac","0x00000000000000000000000000000049c196783b67ceea067fed4a226d3586af","0x000000000000000000000000000000000011d0ed717a2644fe02b472b4139f67","0x000000000000000000000000000000083cd43b33cd669ed8cb26dde205cb2c37","0x00000000000000000000000000000000002190359eab02717b0bd06b7ad620ca","0x000000000000000000000000000000b65f222c42541773c578a34bf46a9b4b73","0x00000000000000000000000000000000000935dfd8aa924a36f367156d62f777","0x000000000000000000000000000000d601cb313e8b0694b18f980ef36babcde2","0x000000000000000000000000000000000004f8721e2a8922ec45ba107a2ee7b8","0x0000000000000000000000000000001302dfdc4a2a7c32256a7e3946632d5b39","0x000000000000000000000000000000000004a05419df0fc857996f02967d3924","0x00000000000000000000000000000052f82b002a2393636d682fd7362610eb3b","0x0000000000000000000000000000000000116afc2ad83ba037379dce1d3d0343","0x0000000000000000000000000000006b04c9061068f439fdec9965adad7d59b4","0x00000000000000000000000000000000000a06d1761eb0b4ba8ed09214ac28bd","0x000000000000000000000000000000c070f26f1e4b70fc12cad7afa6ca9a45b1","0x000000000000000000000000000000000002784cbd1461c1496563fd91dd255d","0x0000000000000000000000000000001f3b5ed83ac9fc7c86163a9448b126a1f2","0x0000000000000000000000000000000000150ccf847ee7e755ec3afd2e54508a","0x0000000000000000000000000000006cced811138cac131e776392478620708a","0x0000000000000000000000000000000000132c6816cff498dfc52ff06e2ad461","0x0000000000000000000000000000001f6adad6bcc3231c1eddf1b78f5a4528f2","0x00000000000000000000000000000000002f148e6423d857d299c3d39a92475d","0x000000000000000000000000000000c9a71777ae87660f556fc4f9ba63464a4d","0x000000000000000000000000000000000008eda743f763b5dd449bf9cf372091","0x000000000000000000000000000000b011553ec90a06a64f315853b941a6e314","0x00000000000000000000000000000000001984811bc333da134cebfbd42f4f79","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000b5e3600ff46401b2a9399073a026019278","0x000000000000000000000000000000000025c2b2c50cfb592b7446423ca7807e","0x00000000000000000000000000000030f2393bd2f9ab8d921ba4625c66816316","0x000000000000000000000000000000000025f59576ee40148a4843b5c3f01a28"] \ No newline at end of file diff --git a/packages/confidential/circuits/vks/transfer.vk.bin b/packages/confidential/circuits/vks/transfer.vk.bin index 83270be0b648ce8456b746c3fd004c9d78787028..3d285342a978d7e676e7b6bc18f4fe942e540467 100644 GIT binary patch delta 1722 zcmV;r21WVc4d4xb00000002M$000000000E000000000f0000000001CZRANo*Bk1 zE<0e+lyE?E+xV)>+fXiFKDyD=SV_6aB{PEw$20VKX>1mcnls_DT)YIhu+e1US%0Ad zo|Won9f74+IEad}-qk0Ji1@TtDv1H_TkNGne*jm|#$DupM+#_3=ZW;?nWHrBlU8gS zE{YPC4fusUx&TBZJE{l*+7kcjc``E6&2IZWj$a-w$-0Wj>s#oOf`a;BDn?knsukFL zDO>*wprHtx042lXavJYS4k7$-FZYD}Burt79xxG*`A=XB82jN#H}>Un{JehgJ^-$? zzL#h@T@5&Yr+f(ZeyQ}s@0aJV?E7hYVp^^6E7wPs8Qq^5W!*rPUHuD;sBPLG-u%l3 zjMYcN*jyovjc92c$H159*B?MnBi~ zSYi)4y8tE2d|Zh3D@8^Gci0s9QxbWjnWi=HQ9NNK{{;0izYNuNYMz(AuIEJ{uMJsx zz`T^pD5_jd+NsfEjIk)MhtUen+7P}6a%$`u4UeW3u73Bex838*yR8J?GKy|xRojcIrn@ztY@l;Tyzal3p4k?KxYN|1G%ei zm!-*M7PyY(gQZs0DZur3jTW9m1CVr`uJKCT6u~ywe|${wyW+r9um7tT67=2!yw~1_ z3|;3d{lyK{zCW** z9hxHSKoTv~a?n{M9RbX3tI|K!$GOBy=pzR_rXZ}^TBlk^S;!Gxx$#6}+k zW=uI5-H{W63eRtL9>&sh{2j2c+BDgJfBQOLvh~ym2%-KLREK(iKbFr5H`3zv8wsL6 za?E*)WT^Cd;4)UY(w?lLUp$EhT zJawcHq_M=KSUJsixSfn|_%0O=mJqkgBV~^1~0}g_|H@$kNI=o$dio* z(`i8E#MRRbFGojvL}jDC2WR;>X~|Eb0KiZ-h8|Dk%a&-nZ zd>{-%G@d~HEf}VLlPG2yzrlid&)<^2Md+P)c1?DwyLTrUf4Rx{CtKMI+RGUCZX~ZENB+b^qAkpFYsUPz1Amag(!l^oxWG=~HAa$6ekf Q+d#lRYjB%Kp(>VPs?`ZECIA2c delta 1722 zcmV;r21WVc4d4xb00000004jh000000000F000000000f00000000011^C&%$Z+br zR477>?47*z*K(+`x4q`6?9Mqe$hvg~2jk#`R7I{Fwtg_E~Y z3`WX!9f}tR2R@&;DiCQ}F3-G4Otx>nV7unkknRY>w(FVtQ73>Z@F<{-8J+|y)!|C78MY)n zNH%55)2IkIRWLp8!m?{rfjVMvITE-RLD+$L2~E~!q_o#s;(L3?`Y?6c2+5s z^lAryV$G7Y`oKqYV(^z3B-{i+meU~?jDv>j#z%c4yqppKnBW+Sf+%GkjD`{=%3W`A z(xt#tobMLAS91Lz3t|pp18s>_K06)ne#o>51%)%^a!i^-3fQB`g9!Biw>4~PwPLwo zR*>$0r?S0_7l)2QLEy&Il$klht4WVY!Anj@z4K?3cbL@O8$Bnh71mx0IPnTXSW)S7 zx8-9fIs*=YcZ%E(0cZ_;O+MA{4@FplWH<_i3xEz!!m@W#1iwMZ0xS`qD4UCZC0PM4 z84Gt=o9Dwc9%DQr2kB`jQ9}s{0PWI8rTKb)J`9s#5h`r3<@;)qU+{9PbU@M`{25(> zPF%N2PhkfNAG9o3V=2(fP0G4J96xb5-rbHlzxE}T2e0B62{bo*y(}|k-xihb9f7gr z&^Od9XGwrqh)XlyK1ccUB;NxVLvHq11P|#*3l~s5?|qq{`{EV)&xjmLi?$1Ydj;@+ z;jx1w#YF_x@kvC53RfY*sh%abEt?~?VY85RVSXg*G>^|c>Y4>+^9IdG5aAfbj4JRv zp^DQe{ykpN@pM2iH*~50*xVy01XaSW;O&duF0OOrtmf5?5#$fCWUdb+-L=b&DkKT- zP3z3R^vLw06txLV@h620>jN%XWp0CiGjTxM07b+dTV_T_*?!M1*v&!+UMFk-iU}Id z;K+cwhBVP?gkmBM3)xR}$msoaUKfm0Wf6=%%fTb;;dC$?9cN0lB4O4P6FK(I$ci0C8a8cRMZE^qR+zOA?f8my{s z=)EgdABgIN~FAAzQjyz%7owjr!YvKQCZ_6m(EzYZ0{d1*>`$Qg%l{o_Bm9MSBh_)<7o- z?>?P(^W;VFE-BjPhL+A{WRuefn`b?7S9~6^2}ZSuF*8>5{m}=%)EAe=HHA(r0z`lE z4iFyWhXTCnI2mtB2G+)OKZCMfaW5}XI;b4#hrPG0Ga(-@n&&-!-Kvj&TX#|xX_wb# zJVOc$s+JBZzO(|wNn=n-RCB+7X39J@ab?&MLr(y7>fI&>Qwk4w1cHzAyn*ljp`eCK z5kUFB_%lAPiXvVic;g#tc#!mfkJ$Se_QEkIxbbDau(;g9giHQY``09v$KoeBN0u#~ zMZ^E+0qEbe(vDfVebyC!PE$uSt&*)eXr<8??VV#6DlW7W9G@235So>nSw%IPY zz{jvhAj)Q5^yojD5DCg{D}Z!bfj5x+C>ynq6QRf(|I(j*YUvqN`o%6ilVJuPlYRyw zKpC8i#0udK*YI-?x0hVnN`;`tP6YOvHmQBcPZ}dvMD7iI{|qsr Q03R>*ZMUzw+&1ZBl9%BjP5=M^ diff --git a/packages/confidential/circuits/vks/transfer.vk.json b/packages/confidential/circuits/vks/transfer.vk.json index 79ac1df9e..b87dacd12 100644 --- a/packages/confidential/circuits/vks/transfer.vk.json +++ b/packages/confidential/circuits/vks/transfer.vk.json @@ -1 +1 @@ -["0x0000000000000000000000000000000000000000000000000000000000008000","0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000f5d772a8b2b7bde6a9ecce3933c8ba7506","0x000000000000000000000000000000000005f8d9bec870eabb5428428cec9dbc","0x00000000000000000000000000000092ebb216fc3afa183f8593b7510c46ca76","0x000000000000000000000000000000000007e3e3a47295dfe7d76f593e657e16","0x000000000000000000000000000000640c5d727b698896a855ee57acba0e0499","0x00000000000000000000000000000000001d8a1707073e9fb82a1078ce2975a5","0x000000000000000000000000000000cd9e145bb7dafdcb53af565e81bd724533","0x00000000000000000000000000000000002b3f18887dceacffc34eda46dc10df","0x000000000000000000000000000000562d5f29dc5281a43c645517c310ceb8ff","0x000000000000000000000000000000000025ba00f39e165de83b2c3bda9cb123","0x000000000000000000000000000000502ca1dcf2b6b28d7b4b9dd70f33db9b0c","0x00000000000000000000000000000000001878dff2dbb12392d55453324082ce","0x00000000000000000000000000000003722d0ce1932cb3c4a20ac17a68598d3b","0x000000000000000000000000000000000004353836de7a6e7166870265703c3e","0x000000000000000000000000000000ee08c3b6eb99fa5127802af028a08d199e","0x0000000000000000000000000000000000277df57716804cb66fbe60bbe6d590","0x000000000000000000000000000000a8083855303defc3959dceda342048be9d","0x0000000000000000000000000000000000042bd5e14aaf19b6243d483665cbd3","0x000000000000000000000000000000581575c27408860b85da4bf0ca3903334c","0x00000000000000000000000000000000001c21a68e72092d02e857bef160acce","0x000000000000000000000000000000561e3ea66cad00b2056f7554c84e4172e8","0x0000000000000000000000000000000000060a5a2cba3421ed00e31c508b149e","0x0000000000000000000000000000002995f46a078062cd92b4fac0477462f097","0x00000000000000000000000000000000000dc2d83172aaae19e5ef68e7707656","0x0000000000000000000000000000007d23bc9c11fe98e0188a8228651e8c8612","0x00000000000000000000000000000000001824dc044196d321168c8386ebc647","0x000000000000000000000000000000fd200b620e62036d89553e3b1def7ec8b4","0x000000000000000000000000000000000025ca5d6f72d2a5c0539cef16bc5772","0x000000000000000000000000000000f500b7356c6ab562b9605690eea7b2bd8c","0x000000000000000000000000000000000009058533e5724c9a430ad8a3c98308","0x00000000000000000000000000000048c14b4e47bdf367947798d4dd1b3d27ab","0x000000000000000000000000000000000017878e4241e0c6d3949939c3ab498f","0x000000000000000000000000000000283a030e81778adc0f01680d7c4d3ed5ef","0x000000000000000000000000000000000015d65e0b38f10a425851e973b7e563","0x0000000000000000000000000000005204bf41c8022c119f289b8b7e2559012f","0x00000000000000000000000000000000000f45588264380a850b800e4fc2b277","0x000000000000000000000000000000285143090900edd247a5f97a3e0c936111","0x0000000000000000000000000000000000190b77599be7c3341e633c2207e969","0x000000000000000000000000000000fc195d824e5cb74a4f61070a1fb42c5863","0x00000000000000000000000000000000002a6cb0e5fb6a925ff072ab7440d21e","0x000000000000000000000000000000bff6259607afe2170934377bbd2c3366df","0x000000000000000000000000000000000029d0cb4dcaba401c3f7138dedd8e39","0x000000000000000000000000000000884b33df3e47f9f324df0318436ef65804","0x00000000000000000000000000000000001695ee1d81b1e4d037d42c67498058","0x000000000000000000000000000000cf881c4b8bb60b7f7b05f0e1b18323c545","0x00000000000000000000000000000000000fe9480b17503def7d999ffbe215fa","0x0000000000000000000000000000009b23b561b39075617e24eb348fcf3dea9a","0x000000000000000000000000000000000004d6f14944850a5721c2a99e25b72d","0x0000000000000000000000000000008ad328fe3d5ed1f17440303774a9ffd8dc","0x00000000000000000000000000000000000566f306cd4810e118c58c2af03ca1","0x000000000000000000000000000000e6d58d11e40fb164ae0f24ddb5cb8d2a24","0x000000000000000000000000000000000023270455c2aee0ed8bdd2eae73e4ac","0x00000000000000000000000000000027850ceb032e59656e83337140db0045c4","0x000000000000000000000000000000000009ef4debccbff4c8f4a214b5094cf1","0x0000000000000000000000000000006c008a091acee0c880ba8634d16a846222","0x00000000000000000000000000000000001d5b664647d97ecf2ed8cd42085e27","0x0000000000000000000000000000008c3ecbc123ece174301b1d674ab52261d6","0x00000000000000000000000000000000000d0bd94f74c8e8fd745e178c536511","0x000000000000000000000000000000865e886a1e7ddddc7e597a410b46db647b","0x0000000000000000000000000000000000141339f6cec9d3e576c3ccfe25f472","0x0000000000000000000000000000004eb9e73a8257da2ba22652f29eb038d1b3","0x00000000000000000000000000000000001bcead29ab67995ed99f425fd53b89","0x00000000000000000000000000000019e4f87389f1395ddbefd6b4ff88e823e4","0x0000000000000000000000000000000000015126dcbdfc878382a8d06fde6b8b","0x0000000000000000000000000000006fe8bd2b551f88ea84e4fa8a31a5c88473","0x00000000000000000000000000000000001a4b3e2a2e6ff2b5beadb8041aacaa","0x00000000000000000000000000000001044ec0f270f3c3bc2d8b929fd112b364","0x0000000000000000000000000000000000005bd1120beaa52b62d9d7431d5b2e","0x0000000000000000000000000000005ac02d8ebd8dfadb3f2f6080147450646b","0x00000000000000000000000000000000001a31184f8288965c6c91b6aa215bba","0x000000000000000000000000000000457b0e2bd6402709ef3e9d77f3e445f02e","0x000000000000000000000000000000000011b4f505ab7a15527647419e777c21","0x000000000000000000000000000000577c1eb10946b588313356f4fdd107bfd4","0x000000000000000000000000000000000029dae68696ce656493d3089b673d71","0x0000000000000000000000000000008702bcea38196f4a06d6c6743f83b25e71","0x00000000000000000000000000000000001797c635854e2c02447ff20e101ee3","0x0000000000000000000000000000009ae73d7eddaa8f5b7752166997d7663c43","0x00000000000000000000000000000000002f2f513aa81cea87bdb7ad33211f2f","0x00000000000000000000000000000073bf7f66ca3c357165d811434f0074eadd","0x00000000000000000000000000000000000a0caa960e29beb402c44963504a54","0x000000000000000000000000000000a0864b1140f9bff8333eae8a225e2178e3","0x00000000000000000000000000000000002607530a0f7804828ff3bc81effea1","0x000000000000000000000000000000f165beb0b8dcc2844bfe53fbd72496c7e2","0x00000000000000000000000000000000001b6a7890f4808fd8fb19f6c23127b8","0x0000000000000000000000000000008e59b97dd6154e534733ad92ad3a68a5d1","0x0000000000000000000000000000000000273947962d9e45c3ffe701e8dfb3d2","0x00000000000000000000000000000094d4ac37423f4543d43c6d532fba449ef1","0x000000000000000000000000000000000017ed9d63172a2eb4131c9f16db109a","0x00000000000000000000000000000072cb7beeabccc6c0373d512fc2a1fcd7e0","0x000000000000000000000000000000000001d67d4a0eb2e248680352726f0375","0x00000000000000000000000000000063ff686ee61e643ec81d1c8943337798b6","0x0000000000000000000000000000000000223b3eb65e0e3b442921ef14846d6a","0x000000000000000000000000000000a4c5c09617703654854f4cb71647d3ea68","0x000000000000000000000000000000000030451a0765f5e203bdedf2cfca899b","0x000000000000000000000000000000a71843a019f1987c83e489f228f4d22c33","0x00000000000000000000000000000000002eb0772b27bdffc2103f1878526700","0x000000000000000000000000000000c6b6d92eb8c0c7b04720ca665ef4e83f9a","0x00000000000000000000000000000000002edd5fa4e5172459005ff4f8a17593","0x0000000000000000000000000000009013a1c81bffd29f7d6ae91954fac52e3d","0x00000000000000000000000000000000001009ca6d2b80745a813790fc281bb5","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000004a85a0c64e04f69a36a97deb3958c6bbf0","0x0000000000000000000000000000000000199c8bc40ae10ed7f07310b7975cda","0x000000000000000000000000000000ff0c31a2001f2ff66db7afbadc36e96392","0x0000000000000000000000000000000000080e3aa2e0896e4f1a235744ee0d7c"] \ No newline at end of file +["0x0000000000000000000000000000000000000000000000000000000000004000","0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000073dbf8aacbdb502e5f3ebad1d45849b9c8","0x000000000000000000000000000000000026a1301f9e19c62d2e3b60d1947040","0x000000000000000000000000000000b25cbc04b8b0d164e1597fa1029e95ea67","0x000000000000000000000000000000000025338309c733f479696c168f9a33e1","0x000000000000000000000000000000562a8901ef5beca5437f0057d0c65de447","0x00000000000000000000000000000000001d81a55738888ab2ded5278c88f8b4","0x0000000000000000000000000000002e8a12960df8853dba0044243baa0802da","0x00000000000000000000000000000000000a6849e789f4e599a334ee93566c1b","0x000000000000000000000000000000c9ba8ac8eb5be8928282fa602a4658bdaa","0x000000000000000000000000000000000012ffea793232d2cd6efb3d8e5f1e2e","0x000000000000000000000000000000721aef4a0e21fc702ff784fc244c618a1e","0x000000000000000000000000000000000015d87c295bff0ba0a1089b0025c3e2","0x000000000000000000000000000000fcbc7ef13e00aeb4be9768395d0d38a77c","0x0000000000000000000000000000000000301190f94f600c18fbe14937f6e572","0x0000000000000000000000000000005aadf02bd7479619dd9f1965dd40955dfd","0x000000000000000000000000000000000008f67ea9f4c3ef97e7afecfb697a62","0x0000000000000000000000000000005c218d8d68691cc7c097e8e4a361f69b6b","0x00000000000000000000000000000000000b8ca86dda1fdefccb068cd547c2d8","0x0000000000000000000000000000008f13887e53b3684baa551c3bfe71761890","0x00000000000000000000000000000000000f1e1d6f449bfba7b3ea4ceb1dcc43","0x0000000000000000000000000000003a78ed667bbe327db92965f31760a6b56e","0x0000000000000000000000000000000000213962128c21d49a7effb3f7eeacf0","0x000000000000000000000000000000d7f658620f3abb0025cb7c5c88f62b4546","0x00000000000000000000000000000000000c9202481d924c49b569738990463f","0x0000000000000000000000000000006125ff04f532bf0cd5756a9e97beaee745","0x00000000000000000000000000000000000477d814f9531279a399a635f0513c","0x000000000000000000000000000000d1628cb128af87d10acdda10be07726aec","0x000000000000000000000000000000000020af0d597ac0bc94cb28aa5c4ddaa9","0x000000000000000000000000000000b6ba157798d48858d9fb61cbcd281863d1","0x0000000000000000000000000000000000190f2344972db45246a0b521d5466c","0x0000000000000000000000000000000eb8952a0339f77c3aac67aa895c740d51","0x00000000000000000000000000000000000b6318847e9e7f16d8e4ffffed0f9c","0x0000000000000000000000000000006416b88ee583a556d529c0f5788d169e43","0x00000000000000000000000000000000000b33f7c0406705fa03b9ab6e97a5c9","0x000000000000000000000000000000f1bbe2c054afffab1712f4de03bcd7de86","0x00000000000000000000000000000000000390749daef14adc14c136d87f7c4c","0x000000000000000000000000000000b753c06602f26cc2e31088bde922c76fe3","0x00000000000000000000000000000000000c5de72bfdc50dd5be3fb0b02a579d","0x000000000000000000000000000000f6e50f591d9a22ec40122dd472d059241d","0x00000000000000000000000000000000001d7f6da88e579a974363bba20a9d9f","0x000000000000000000000000000000a620a9616eeb1a6f58203ab415ed8dbb0c","0x000000000000000000000000000000000001cc6dabd23fd5c7b9c44be823073c","0x000000000000000000000000000000e8c164da0d9b1bfe1d115c88bcf7ff0591","0x00000000000000000000000000000000002d90b5ae35035db23b7c9144919b69","0x0000000000000000000000000000009eb32a1447449ffbc4c2a064ed1dedbb13","0x00000000000000000000000000000000002131723408482b2014e1f8d55588ac","0x00000000000000000000000000000023ae165d0bb627c92713275e134fb3fd49","0x00000000000000000000000000000000003002c5155168aacd845356278afa30","0x0000000000000000000000000000007aa7688292df18ce05d26a60453ac4a9d7","0x00000000000000000000000000000000002551ffd0bdf4f569af0aa3196502b3","0x000000000000000000000000000000102517ec6d49bc93f40e07c184a6a8c446","0x00000000000000000000000000000000000739486f9afbbfea7d47a853772f98","0x000000000000000000000000000000c6d273fc1db0b0da34d97ffb3a5fb2f5d4","0x00000000000000000000000000000000001f04664c3919dd9113830acf6f761e","0x000000000000000000000000000000e2f61b09a23f72cc798b64a8f47ae032f3","0x00000000000000000000000000000000000808a1fe1754877a803f96cf0a37d2","0x00000000000000000000000000000081c36a1fd644f83e2f34f2ef7ab6ebdb71","0x00000000000000000000000000000000002ee22be2887016a21bd7d341c57cdf","0x000000000000000000000000000000c4a35839cd77b89d8c6ff82e150ee42109","0x00000000000000000000000000000000000ab7437404a107c4053c75a410a4b1","0x000000000000000000000000000000ad9587701da28daf9412cc63a14bfa9a2f","0x000000000000000000000000000000000022805d97771806d3706f8bd338ca4d","0x000000000000000000000000000000e4f1d8982e0b465091eb1ed5f883186052","0x00000000000000000000000000000000002b58d0de0c5ecc519dbb1173128766","0x00000000000000000000000000000006d36940e5c4d5d30c2f47477b4465a3be","0x0000000000000000000000000000000000062fc62ef8cf54238ff973dfc8938d","0x000000000000000000000000000000e4e4e9753be75b6c4a3b6ca51b205e9b7c","0x00000000000000000000000000000000000767f93869c94fa200c05036861e4f","0x00000000000000000000000000000035dd5aeef0195a875997cfbfc832778b2b","0x000000000000000000000000000000000025772af87131649f616e282392f35c","0x00000000000000000000000000000035ec7520a4b1d8aff25c6aeeaa0d83519d","0x00000000000000000000000000000000001291ba1b87fa3d674801fe405a59db","0x0000000000000000000000000000006c946fad8e7e7a340205f99e744ae20213","0x000000000000000000000000000000000001b207a5661d42bd0b5f8ca431c8a9","0x00000000000000000000000000000001eb1304bb05c32212d25ccc4ab33b0972","0x000000000000000000000000000000000012e6c93201e382b797e0093c2d8a0f","0x0000000000000000000000000000004f894e7ec1e8b77c642f31727506357c20","0x000000000000000000000000000000000012f82d7ebeacfce8806e30d3e9d57a","0x000000000000000000000000000000c18278cfdf92bf45e89d78764d76aabd61","0x00000000000000000000000000000000000c43349e40fd2d18a67e9328661abf","0x0000000000000000000000000000002ebc3004cc4c6ece266170ffa68c2567ce","0x000000000000000000000000000000000024dc4e9af9225223db87d0c5bf000f","0x000000000000000000000000000000bb4ba214b446966edbb0a1268f125b3ab7","0x00000000000000000000000000000000001cfd41f746e57435f1c127769bed36","0x00000000000000000000000000000052f82b002a2393636d682fd7362610eb3b","0x0000000000000000000000000000000000116afc2ad83ba037379dce1d3d0343","0x0000000000000000000000000000006b04c9061068f439fdec9965adad7d59b4","0x00000000000000000000000000000000000a06d1761eb0b4ba8ed09214ac28bd","0x000000000000000000000000000000c070f26f1e4b70fc12cad7afa6ca9a45b1","0x000000000000000000000000000000000002784cbd1461c1496563fd91dd255d","0x0000000000000000000000000000001f3b5ed83ac9fc7c86163a9448b126a1f2","0x0000000000000000000000000000000000150ccf847ee7e755ec3afd2e54508a","0x0000000000000000000000000000006cced811138cac131e776392478620708a","0x0000000000000000000000000000000000132c6816cff498dfc52ff06e2ad461","0x0000000000000000000000000000001f6adad6bcc3231c1eddf1b78f5a4528f2","0x00000000000000000000000000000000002f148e6423d857d299c3d39a92475d","0x000000000000000000000000000000c9a71777ae87660f556fc4f9ba63464a4d","0x000000000000000000000000000000000008eda743f763b5dd449bf9cf372091","0x000000000000000000000000000000b011553ec90a06a64f315853b941a6e314","0x00000000000000000000000000000000001984811bc333da134cebfbd42f4f79","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000005c38135774d1f77d422d6d0d293c249450","0x00000000000000000000000000000000001e4e0cf3263d31cf4851e2cefc02c3","0x000000000000000000000000000000c75dde25db40c03e6b709b47a12a9661aa","0x000000000000000000000000000000000004b37d7193b376f48b840be953642d"] \ No newline at end of file diff --git a/packages/confidential/circuits/vks/withdraw.vk.bin b/packages/confidential/circuits/vks/withdraw.vk.bin index 17622b278efb47233766dbd146dd0cdbe66f8c9e..3358a7282ef78d7d763e2e879a70764b8422492d 100644 GIT binary patch delta 1722 zcmV;r21WVc4d4xb00000002M$000000000E000000000W0000000001CJi&&UArH& zVJ`@R%EZ|^%?|sv7Y1mU6F!q6Es>Xc5XSMWZOW%iUUkkOe1X_kj7_4|!yk2&xUK zTQD&#)Y;Mc(lXs?te=%lha+Am7~Ud#mVU6ysw3Q<`X&uVlHNz!#m_o7VFc&V7A~Vq z@2%kyNC>BCL4gc@A;1Tv#7lMZa}$zfq|HaA1rC$nZY?@?!LXz{c-w6nl9-5EsJn{w zgHHw77Dp_9N`Nf{5qt2!W+kU?U-I(v*^Xa-iYL^IK@OR;Sm@Q-?xh-Z-o*W6{{_d^w#IO=3!-mzOw0g9)Ml!MmJZhUkSwXZ* z*99PRC#ts4qHxxg>(pcxQ4KqpNN*1E3Wd(3WhErp;vr zlgp>GFm##+6Qz-|(tykhA2!(8u8DV1SPEk~;BbfWXzx!IXhy={uWvCo)m#WED9HkM zv`ls99usvngJ{8z$YED!r=V}Zt*ciOvYXExQRKVdaIr8H#L5#vS;hIPPtSA$tqRaS ztI8XHXjmpL9r|@E%7IkQV}D|-`dC0!h$t&bO~k_S$D5(WB0S_%0twwCQk@*M*n?sU?KV zxThIV-9l(tahv8hkS9lX@R*jT5Q$e zOz1qmTYfIarYMjpN)jKw-2;-!+3*F(30L7oz|SLbdWpvrF3_h@`Gi{-yjtyBa9EL7 zBnd6+n+MZRP+jWYOd#Up*co~txt$mqbse%TThHAXfKN6z>Ae#o%k}SbekMhKJKd>r z?67iFAH@;Wrgoxv+$+QgjS!Fi$MG%g%MA4BbE=J=+!kHQGNeCbGs-e> z&pT8d-#$%rql2M3PrMrTr1VY8iak;mD$k9x6L=76`dPA3hurkA=6X zh(;WihONJ4tV+v4A7K>!pv!lOYzb`1rVrB)#K3xFS&%lGO!^C{s@W5NlCx-~b!w{c zUg;OPgCzXD}b+DsC2?nJcL=sVDcPo|ziB0VYy zxx{vP#pByzU@-nwjpGPrOLjY#h}%=k0anB1oW8Ga-#ZoY`^S*li}fVEYrq@l9KbMb z>c`8Y$l~WCQ^k6(c&;vgbEU`5+UIm7q0R#(rKw{$$D%Exk00NTJw^h(h=r+WM$gIT z-;dfO1}>-^kQlzB-+W(4PK~};Z*O)?j}p;+Z`kxk^k*nJA|GxJzq74y$>TwJ-IH#U z!IS!z825e;7m|+>3DSRwJG&06aBd_|@tcvugJ=n0XI`0qKoRDc3agW+sh9)`0N2M4 zU}BVP>u~u2AO=FKh!(p4c^_T7T;I3b@yQD&HJ)`gpFmOI2>sewmR3vge0FZ+s?Xr~v+9>UL?C?E(f#5y_&`ukoNmhmYulZ8)^%Z)i+Y>)0oegL=2o(quB6A})I+&8;daBjhpqv7|JxT^99BEYu%1#X3 z+Of|U*e|RavpBGmpg-|RttP%_DO8t=qilZ!UP4H_tTX^S`?^a_xUOpxhA7udzrVNBhbCB+F zbouTw|JW#br8-%eRpwY>ZEoW74bP_pV}9+sjzvaFF8D=gL42@>uRtKe2NgAuRm^&%Le`&3#njr{#=p2A6;9inGS6Np~=y*&MbHN4tIMgD5Ev%u~FS>6^#4(8ac_ zXd8}!mVfWO@lN@w2hf{&To51Nt(C=< zBx%GpS|U@KQ)`iLLVJaY1EJwuwn;k`9duF~dr=Co5~qlyMFeOU|A?q4+;yFQVIVTH z#MjZKDI$n_O+}95;4^^meCl>JhF|XH=-A2*BYJRC1t`p%E+3ZwB|o1H zTL-6LizZpOkuTZ|^@`Txk9cx_>mhs5610!iZ4@L%Q7@FsBa+v}t%uNnnlBXE`&xcJ$oWCf%q)6FaYZVvgW1C=lDCM%pjTj8i^n zg2Z`tKtpW2_??Dt19KhBEkmH%#vaH7EFm%HX|x~*w%kC2XAvF2zxgulvrqh*8r@vam#$;o%$%DW^8()*r3cLRZKtcg2i zIfc6*7By%#$K$M|pB5Pg%Z9Ng?-kk!G&$0HFiZO;ME^nK1(M}#wuY{Jk-))g%KYGz zAccS$oasV_`Es!%cVEf{;^J{Kq3&6o!SZL@wn-do62T;r14byMif_tU5(Cd>6yCXI ze@!MaCl3aC&*QPQ7P;;1#&;Tr#ESEc*baG?biNBiz#wg;p-l`!dn5Z!ihx7KG^bwF-q<~Q@$F2l Q%yCI_)K!c&#>qq2dpK(+!vFvP diff --git a/packages/confidential/circuits/vks/withdraw.vk.json b/packages/confidential/circuits/vks/withdraw.vk.json index aad7919ba..31f3e7a4b 100644 --- a/packages/confidential/circuits/vks/withdraw.vk.json +++ b/packages/confidential/circuits/vks/withdraw.vk.json @@ -1 +1 @@ -["0x0000000000000000000000000000000000000000000000000000000000008000","0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000004c442649afc96694fbd11364e67ad38665","0x000000000000000000000000000000000028053d1ff061a2df1452b4d996643e","0x0000000000000000000000000000001582b8d4502c01e5ffdd936e93c193fa97","0x00000000000000000000000000000000001ea7640ca206713afd369069bbd871","0x000000000000000000000000000000ab706e244ff19b91c383680960675e9940","0x000000000000000000000000000000000018f77e0f17928f1209d27f893bbb0e","0x0000000000000000000000000000006062946ceb70f901200642ab8816baff79","0x000000000000000000000000000000000011e6980aab93a7a998040a00d7c70f","0x000000000000000000000000000000fd0957636b6cd60c293e7d603f68a5b6e2","0x00000000000000000000000000000000001f5dbb5ce8342a7e22730401b6aa5f","0x000000000000000000000000000000173181fdcb5c2df435472b2fdb1270f8e9","0x00000000000000000000000000000000000f350011e6f7b73f33ee49baf5eb7e","0x000000000000000000000000000000383619f6dd719ad90bc863da0ab8d72adf","0x000000000000000000000000000000000020c1bc2be87cbd4a7fa36dfdd857a0","0x0000000000000000000000000000007dcb345c387a00d6aa197af9ee697d344e","0x00000000000000000000000000000000001c73fa78aeb84b556ee48f42b00291","0x000000000000000000000000000000c95c5cf30bb32e7e999104b2e787426f7c","0x00000000000000000000000000000000000f1e98707c5742c2fb2046fd405c2a","0x000000000000000000000000000000c9a2d2aff1a043878fe8846d393a094608","0x00000000000000000000000000000000002664a800fe61ea766996ed02064911","0x000000000000000000000000000000952680e1c239306ef5e6af3d4102725f6a","0x000000000000000000000000000000000011e345325c59c658bf5a607968b298","0x0000000000000000000000000000009a6d0c416152a4d75d15f5157aa6db133f","0x000000000000000000000000000000000007e4d4865aafe796f204a900e4afce","0x00000000000000000000000000000092e27aaad5daa09c02bd3d4a06261c6955","0x0000000000000000000000000000000000279d0d683708150813227323363a98","0x000000000000000000000000000000b093a03ff149ad26be672954978aa36c7f","0x000000000000000000000000000000000008ca4e0cdddab1cf17d82fac1ab338","0x0000000000000000000000000000006b138628d74be50bbf305f178f475acc62","0x0000000000000000000000000000000000045e4248bbac34003bfbba4b4db8ae","0x000000000000000000000000000000ea7ccd3292923da76a46553c0fa3e620e1","0x00000000000000000000000000000000001ccd9c4471951bf3ff804c9a303f85","0x00000000000000000000000000000032ffd82879a53a599955e658616d6ee2f2","0x00000000000000000000000000000000002c569129a60c84497390ee7174f9ee","0x00000000000000000000000000000068e4044dcf7fadf62665814a69fca364fa","0x00000000000000000000000000000000000dcfa704637eedbb8e45464a2ef845","0x000000000000000000000000000000b6983b29c27f6a8b5bb026a1e76845d121","0x0000000000000000000000000000000000037758ec0c8d66e25607a554491aab","0x000000000000000000000000000000c85f0f87a4f1fadbe7e0bcb8c75fac8ca8","0x0000000000000000000000000000000000085458e28b36e782ac13a261894f8f","0x000000000000000000000000000000cdfcb6dd05b85366435fdd3db7865ace3a","0x000000000000000000000000000000000021a9cad52c4e49041088163537ebf9","0x00000000000000000000000000000012d65cc124eb2723b65fd696cf9d80a780","0x0000000000000000000000000000000000020845f24f752bbecddbd6bde2e07e","0x000000000000000000000000000000fe833f1ef6649c54762b39d7978680a236","0x000000000000000000000000000000000012c3745781a0664266edd96dea2d82","0x000000000000000000000000000000b3c6ab497730a0d91cb60f47bb7dea8328","0x000000000000000000000000000000000027f5cd7d54e2a7e58c6e06977feb8a","0x0000000000000000000000000000001b8e81967fefbcf14ef9aa07d09b795c10","0x0000000000000000000000000000000000290fcc53bc94e99bc7b6d0c5b6ac68","0x0000000000000000000000000000009f436cb5ec371892fe986aa33b3f528bf9","0x00000000000000000000000000000000001fe0ad95c51ab6cdb54ad28dd874cc","0x000000000000000000000000000000d6c4eb2310e53daf54409c0ad88ae0675f","0x000000000000000000000000000000000009e14b24cce77616b3cc7f9a704529","0x0000000000000000000000000000007669d25c4e452701f6246301fd1f4b6247","0x00000000000000000000000000000000001e98087048b27558482e0ab925ca88","0x0000000000000000000000000000000b8e00279cd27f8e79ddd6f115786a2cb2","0x00000000000000000000000000000000000f11502980c524525557a41ae89ef2","0x0000000000000000000000000000005399536b916f427b858903a1e15cb6493b","0x00000000000000000000000000000000000e3a6547370bac47f42469c4365a22","0x0000000000000000000000000000006817ff88a828dc759d612032b2c4d7d1a5","0x0000000000000000000000000000000000151d74521b7b510ab012a788a44504","0x000000000000000000000000000000022be5646a84a6a3b907e4fca07f227357","0x00000000000000000000000000000000002922887b4d45a45a9f50e4bdd2c9ad","0x0000000000000000000000000000006ca6d0060aee07323c58d157cd592e5aa9","0x00000000000000000000000000000000002768d343b4719ee740d4716eb78762","0x000000000000000000000000000000e6e8d8ca0e237a70530528cc9c2e1f9700","0x00000000000000000000000000000000002d4697f9e03380f07cea7635865fee","0x0000000000000000000000000000000cf58ad6e38f7872eb217bd112b48fd56d","0x0000000000000000000000000000000000253f9f0d5b07a7608b2659b7912fda","0x000000000000000000000000000000e4143d1db51214335ea56a34e70ec20dbe","0x0000000000000000000000000000000000142446512f94cb2392d7c5ad87d080","0x00000000000000000000000000000076f4dcd726dda842133baf7a628ee02f28","0x000000000000000000000000000000000000984210bd7caa2e5387ac673933bc","0x00000000000000000000000000000040436cbcf89d866f03731dcc2d43a0dac6","0x000000000000000000000000000000000010dba246da2fcc8c533e6882c47976","0x000000000000000000000000000000d5ea8a0956143bd21c871bc815a1227b42","0x00000000000000000000000000000000001ec8042c2134addedbc3014cad8e19","0x0000000000000000000000000000004480f4586763d9f91600be77eeff6c387c","0x0000000000000000000000000000000000300c18297df2312b4433b3b3cd24f5","0x000000000000000000000000000000db4acb40bf25a938aae223baba211ead95","0x000000000000000000000000000000000018e953437f1138e83b2ad414da67b0","0x00000000000000000000000000000096e99865d497c4b89ff90e3df7eca2159f","0x000000000000000000000000000000000007694ca87ce7b62f35c42cd904744e","0x000000000000000000000000000000c6d3193628a55a914a1ad75168e7155748","0x000000000000000000000000000000000000f71154026816bf941623343d89d2","0x000000000000000000000000000000691a6116e567ef5f1a576558df94ebbde5","0x000000000000000000000000000000000029d3301c46141dce1cee3552479bf8","0x000000000000000000000000000000ca7ba36583fdf1ae1435c9c977dfcabb24","0x000000000000000000000000000000000018baad696f8f908e5bb1e6683a84bf","0x000000000000000000000000000000bb2016356836c7e3aca49f161906cb86b1","0x000000000000000000000000000000000008d2fb9e407703816dac893b653985","0x00000000000000000000000000000041e30592e5b686ae7c91c0c16bcafce094","0x000000000000000000000000000000000026ef15da093439d27b304bfb2644ff","0x00000000000000000000000000000005e2e27132a1ee599dc1f267dbb6491c6b","0x00000000000000000000000000000000002085801a9ce94286f972b123775fca","0x0000000000000000000000000000006614deb9657f4d2631270f067acfe3b1b4","0x000000000000000000000000000000000012c12492034628a48a6fca591203cf","0x0000000000000000000000000000009674be0b43c0206da4a14d09f00de3a32f","0x000000000000000000000000000000000016b9ededc6771a87c48af38dd80e79","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000003716fcb657ff7deb84775a442cdf9b967b","0x00000000000000000000000000000000001778125c0cf94a5433a70b1020b3f7","0x000000000000000000000000000000f1ed4cadcc714972d4558c36c6c943d87b","0x000000000000000000000000000000000023fb4e8a8043c534a75ed4ded83d7a"] \ No newline at end of file +["0x0000000000000000000000000000000000000000000000000000000000004000","0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000003acd0efbb617066898133e93212d91977a","0x0000000000000000000000000000000000260d33db5dbb1fb4612f0882cac4d9","0x000000000000000000000000000000a8220811360d33ef88d5f840e0c1ddf386","0x000000000000000000000000000000000010c6f1ac6f98c53c3f31124dde3110","0x000000000000000000000000000000c56e669f98e53bc3c1b5ebd300cbdd5a90","0x00000000000000000000000000000000002587045905a0733850476566bf24df","0x0000000000000000000000000000005b30312dd4d9d1fad232dd69ac9f954d87","0x0000000000000000000000000000000000052764f780f9dc0f79649608aa0da9","0x000000000000000000000000000000fa260d4692de47dac5cf3a376104e7d116","0x0000000000000000000000000000000000235e2718de227b967eb0cbaa23dc9e","0x00000000000000000000000000000021c007a5c44b75f273139265a4cd47a505","0x00000000000000000000000000000000002ea34cefade1124808a76941810c7e","0x0000000000000000000000000000009298885aa8bb8af5834f05d916472c4a80","0x00000000000000000000000000000000000e93df6e2d3a76c1b0a43a78db6d1a","0x0000000000000000000000000000008e5f7f8a27d48b410e99b458e8d5daeea5","0x00000000000000000000000000000000002d04117bf0c06625a76e5ff2f2f3d9","0x0000000000000000000000000000009483c98136fb0367e38f5b7a85c90d8570","0x00000000000000000000000000000000001a74dec50b12e1cf890fda6f1b4d63","0x0000000000000000000000000000007ab4b54632b2053c6a9b415941b44bd705","0x00000000000000000000000000000000001de8feeeadf3c4b01226c386d5a2b4","0x0000000000000000000000000000000d3b99486f0ef2e49e91fff5042114c832","0x0000000000000000000000000000000000207327aab6d0a270d695ebd4641651","0x000000000000000000000000000000650693cba7b330749a0713a591b2d280cc","0x000000000000000000000000000000000024830407d1ef36936dd0966c8fa6cd","0x00000000000000000000000000000087f168ef4f156846c2dfaf6f3137d55c08","0x00000000000000000000000000000000000b1f36d8d9ae897751580a6339e070","0x000000000000000000000000000000c18fc8615767a7a06fc0adab5712b29bcf","0x00000000000000000000000000000000002928c90277b44c75e71e1375358368","0x000000000000000000000000000000f9aa4fcf7402ad0ad03eabca1b6858262e","0x00000000000000000000000000000000001d51e4bbdf70b13014c4ca134159c5","0x0000000000000000000000000000005588282b494dc4c2f1c79ba1c5223ce453","0x00000000000000000000000000000000001dfa752bca8154ce637f62acfa5840","0x000000000000000000000000000000d4cd19ba3c5b9a276566465536cdddb475","0x00000000000000000000000000000000000209dd23529d1cb4e4158e3dece747","0x000000000000000000000000000000625b46d5ebd45561c3b5d4e1acf045d909","0x00000000000000000000000000000000001b1a37511b26249d6fe864c4220ed8","0x000000000000000000000000000000b8fe2101fb0015e99774ed011d7dd8c988","0x00000000000000000000000000000000000864ddf2df347c0f21939e91af3847","0x000000000000000000000000000000a92584cbba3fd5a843361f275b4634ed9f","0x0000000000000000000000000000000000124e350343634a90a6617b7c1eb254","0x000000000000000000000000000000867678e894b650e4b1a94fc61dbcd383bd","0x00000000000000000000000000000000000d4272d4f191dc6bda4a337d41397a","0x0000000000000000000000000000004c789340c17a1e3696c7278795a6b98119","0x00000000000000000000000000000000000ecdf4946f3be9b83e11c9cc445729","0x000000000000000000000000000000b3f94d198608f7998a57b1400ae627f14d","0x000000000000000000000000000000000011bab84e3d01325e339c8a423fe2b6","0x000000000000000000000000000000e472f248526a73a2ebae6926da5d992af1","0x000000000000000000000000000000000001d3de474c7a96aca3fbb74228a9dd","0x0000000000000000000000000000006f1cb0e292c090d9859ccebe6506b1bb18","0x00000000000000000000000000000000002d35c3f07293d9d56d44b6eea1ad4b","0x00000000000000000000000000000000f04a08a41b25d97be994d80297abe203","0x0000000000000000000000000000000000237fb4a745881eec7689a5b79631f0","0x000000000000000000000000000000f110f7b7f204e55b1ca160af75b845dcbb","0x00000000000000000000000000000000002ce6222518b7cd115694db014b6b27","0x0000000000000000000000000000007e3d5a6cd5e04ce83cbe5b7e2ec6a62890","0x000000000000000000000000000000000016894505d2f96e971078e74ac2ec2f","0x000000000000000000000000000000e145c0cf23717a89c7142ed0a751f9845b","0x0000000000000000000000000000000000294a121fbedd0392cad9f005c80957","0x000000000000000000000000000000d34f505deade4c20e2e3d8197a20b99d18","0x000000000000000000000000000000000018bc5aed5b7058915724092deb9b07","0x0000000000000000000000000000001322cbf5ef737e26453bdda972ecb07254","0x00000000000000000000000000000000001a751db22d5bcfdd18804f3637e9bd","0x000000000000000000000000000000fec7f12dedcb0cf4e873aa8d9d4bde16c1","0x00000000000000000000000000000000001fc511d4a676a279dc2bc4088d108f","0x00000000000000000000000000000070cf3b541ddf3e4d74a383a13a4fc1ac34","0x000000000000000000000000000000000003614c99dc165dc932a43f6433ca32","0x00000000000000000000000000000044a4f44dcb8a3d52162acf8db31377fc4a","0x00000000000000000000000000000000002d978e60aef2434fd997581e1ec1f8","0x00000000000000000000000000000090d62f90e0aa41d49df9fe8a34357029d3","0x00000000000000000000000000000000001e4f3f8030127a3f6cf97a4a9dfd3b","0x00000000000000000000000000000005d8f19146a6d82969036a20b24e5ab3c4","0x00000000000000000000000000000000002ae8acfe296c26ab61bed9cf8a3844","0x0000000000000000000000000000002e76ceedd0d6c8a662fd666cbb0f54d516","0x00000000000000000000000000000000000e9dd1e5c5f742a719bbca32a2bd29","0x00000000000000000000000000000086adbf65ac4acb411f6114fea0cb77896c","0x000000000000000000000000000000000008b9411f3e1c118f85b7a988461c96","0x0000000000000000000000000000004cfa0ba9aad91392b368a5756aaaf05ee9","0x0000000000000000000000000000000000096cc9a60fd310c4c07a645990369a","0x0000000000000000000000000000000ad83cbf8b4783f148040dbf026553da4c","0x000000000000000000000000000000000017b983264ec3b90c8d6b22ff31a97a","0x0000000000000000000000000000003d2a08b9c47679c5e3db626030fe558de3","0x00000000000000000000000000000000001273ee44b4d7e83bd0864fa69e4222","0x000000000000000000000000000000beaf6edf3b15f1fbc790da8bf524bd6bc0","0x000000000000000000000000000000000008664b763b9788db53cb0156c3e59c","0x000000000000000000000000000000c57aaf78ae2e73a5c7cedae77425a1ce03","0x00000000000000000000000000000000001be71cc0306deac7cba3c8e2e72353","0x00000000000000000000000000000002bd8885a96846cfc9e7df8fda23062ea8","0x000000000000000000000000000000000025a5a96338c7a22da38f1fdf8e3d46","0x000000000000000000000000000000764c8f12d17d6fd8f446f4672839221f6e","0x00000000000000000000000000000000001c9018bea3df7c5f484e8dbe586f6f","0x0000000000000000000000000000005f3691d75f47d27c59a877beaaffd1a4ca","0x00000000000000000000000000000000000ee4d32389395266382970275d2d0c","0x00000000000000000000000000000005fe3aac0c9750b84df53bd712e2d1f309","0x00000000000000000000000000000000002800f2edb05b6c88a325508364927e","0x0000000000000000000000000000006d9d7c080ec01494982887ac529e163f4d","0x0000000000000000000000000000000000180457364391dc0627f150bd00b8ad","0x00000000000000000000000000000041bcecf739e28182f715f3cf725c62a58d","0x00000000000000000000000000000000002de6e7b34e58f2a8685d49fe6cd56f","0x00000000000000000000000000000007263c3a13a22064fe3cdb5f9988db0197","0x00000000000000000000000000000000000f7dabe54c17df98709606605fd68e","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000b93f93438512724a786979a54276cbb1b8","0x000000000000000000000000000000000021b05a096b7826fa03fee05fb228a7","0x000000000000000000000000000000d644f8fbda2bad765efd51e5199a6fe433","0x00000000000000000000000000000000000c9a2bfc347baee040a2b3eec1defb"] \ No newline at end of file From 76b01a5b3c6fd68654e388da78c1e3b579c1e445 Mon Sep 17 00:00:00 2001 From: brozorec <9572072+brozorec@users.noreply.github.com> Date: Tue, 13 Oct 2026 16:42:16 +0200 Subject: [PATCH 2/4] Confidential README: document the verifier backend and the non-zk setting Names the Nethermind verifier dependency and explains what the non-zk UltraHonk flavour means for privacy and how the zk flavour would change it. --- packages/confidential/README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/packages/confidential/README.md b/packages/confidential/README.md index d14f1c94c..3f211601e 100644 --- a/packages/confidential/README.md +++ b/packages/confidential/README.md @@ -71,6 +71,18 @@ Noir sources, build scripts, and the pinned UltraHonk VKs that the verifier regi Start with [`docs/overview.md`](./docs/overview.md) for the design without mathematics, then read the protocol specification from [`docs/protocol/README.md`](./docs/protocol/README.md) onward; each file links to the next. [`docs/README.md`](./docs/README.md) maps the whole set: reading paths per role, the compliance, selective-disclosure, indexer, and SDK companions, and the citation rules that CI enforces with lychee. +## Verifier backend + +[`ConfidentialVerifier::verify_proof`] delegates to Nethermind's UltraHonk verifier, `ultrahonk_soroban_verifier` from [rs-soroban-ultrahonk](https://github.com/NethermindEth/rs-soroban-ultrahonk). It verifies Barretenberg 0.87.0 UltraHonk proofs over a Keccak transcript; [`circuits/vks/README.md`](./circuits/vks/README.md) gives the exact proving recipe. + +### Zero-knowledge setting + +The verifier implements only the non-zk UltraHonk flavour, so proofs are generated without `bb prove --zk`. This does not affect soundness; it changes where privacy comes from. The zk flavour masks every committed witness polynomial with fresh randomness, so a proof reveals nothing about the witness by construction. The non-zk flavour commits to the witness as it is, and privacy rests on the circuit construction instead: every part of the proof mixes in high-entropy secrets such as keys, blindings and Poseidon2-derived masks, and no low-entropy value such as an amount or a balance can be separated out. To that end, the Pedersen generators enter every scalar multiplication as witnesses so that no secret indexes a Barretenberg lookup table, which `circuits/scripts/check_witness_lookups.sh` checks in CI. + +A non-zk proof does carry an algebraic relation involving the prover's long-term key in BN254, the curve the proof system works over. Recovering the key from it is a discrete-logarithm problem in BN254, estimated at about 100 bits of security and the same assumption the proof system's soundness already relies on, rather than the roughly 127-bit problem posed by the public key on Grumpkin which is beyond practical reach today. + +The zk flavour of the verifier removes both considerations. Nethermind has [zk verification in progress](https://github.com/NethermindEth/rs-soroban-ultrahonk/pull/38); adopting it changes the proving recipe and the verifier dependency, not the circuits. + ## Packaging The crate's packaging follows from its UltraHonk verifier backend From 0041d62aeddbe118d9d951438aa0a7375266638d Mon Sep 17 00:00:00 2001 From: brozorec <9572072+brozorec@users.noreply.github.com> Date: Tue, 13 Oct 2026 20:50:38 +0200 Subject: [PATCH 3/4] Fail the lookup guard closed on unparsable MSM operands An empty or malformed operand list previously skipped the base-point check and passed. --- .../confidential/circuits/scripts/check_witness_lookups.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/packages/confidential/circuits/scripts/check_witness_lookups.sh b/packages/confidential/circuits/scripts/check_witness_lookups.sh index 4e2d74a17..fc08c882a 100755 --- a/packages/confidential/circuits/scripts/check_witness_lookups.sh +++ b/packages/confidential/circuits/scripts/check_witness_lookups.sh @@ -49,6 +49,11 @@ for artifact in target/*.json; do vals[k++] = op ops = substr(ops, RSTART + RLENGTH) } + if (k == 0 || k % 5 != 0) { + printf "%s: cannot parse MULTI_SCALAR_MUL operands: %s\n", file, $0 + bad = 1 + next + } for (p = 0; p < k / 5; p++) { if (vals[3 * p] !~ /^_/ || vals[3 * p + 1] !~ /^_/) { printf "%s: MULTI_SCALAR_MUL takes a constant base point\n", file From 062e5ef2f1370edb544c0161315d930c81417d77 Mon Sep 17 00:00:00 2001 From: brozorec <9572072+brozorec@users.noreply.github.com> Date: Wed, 14 Oct 2026 11:15:09 +0200 Subject: [PATCH 4/4] Tighten the non-zk privacy wording in the README and as_witness docs States that the fix closes one known leak and gives no privacy guarantee, names the lookup-inverse relation's source, and makes the as_witness docstring precise about read tags, hit counts, and compiler folding. --- packages/confidential/README.md | 8 +++++--- packages/confidential/circuits/lib/src/lib.nr | 15 +++++++++------ 2 files changed, 14 insertions(+), 9 deletions(-) diff --git a/packages/confidential/README.md b/packages/confidential/README.md index 3f211601e..5676a6252 100644 --- a/packages/confidential/README.md +++ b/packages/confidential/README.md @@ -77,11 +77,13 @@ Start with [`docs/overview.md`](./docs/overview.md) for the design without mathe ### Zero-knowledge setting -The verifier implements only the non-zk UltraHonk flavour, so proofs are generated without `bb prove --zk`. This does not affect soundness; it changes where privacy comes from. The zk flavour masks every committed witness polynomial with fresh randomness, so a proof reveals nothing about the witness by construction. The non-zk flavour commits to the witness as it is, and privacy rests on the circuit construction instead: every part of the proof mixes in high-entropy secrets such as keys, blindings and Poseidon2-derived masks, and no low-entropy value such as an amount or a balance can be separated out. To that end, the Pedersen generators enter every scalar multiplication as witnesses so that no secret indexes a Barretenberg lookup table, which `circuits/scripts/check_witness_lookups.sh` checks in CI. +The verifier implements only the non-zk UltraHonk flavour, so proofs are generated without `bb prove --zk`. This does not affect soundness. The zk flavour masks every committed witness polynomial with fresh randomness, so a proof reveals nothing about the witness by construction; the non-zk flavour commits to the witness as it is, so a proof is a deterministic function of the witness and carries no such guarantee. -A non-zk proof does carry an algebraic relation involving the prover's long-term key in BN254, the curve the proof system works over. Recovering the key from it is a discrete-logarithm problem in BN254, estimated at about 100 bits of security and the same assumption the proof system's soundness already relies on, rather than the roughly 127-bit problem posed by the public key on Grumpkin which is beyond practical reach today. +The circuits close one known leak. When a base point is a constant equal to one of Barretenberg's precomputed generators, as the Pedersen generators `G` and `H` are, Barretenberg performs the scalar multiplication with fixed-base plookup tables, and the read counts of those tables would expose windows of the secret scalars. `commit` and `scalar_mul` therefore pass the generators as witnesses, so Barretenberg uses its variable-base path, which reads ROM tables instead. `circuits/scripts/check_witness_lookups.sh` checks in CI that no `multi_scalar_mul` takes a constant base point and that every blackbox is on an allowlist of those Barretenberg 0.87.0 lowers without plookup. -The zk flavour of the verifier removes both considerations. Nethermind has [zk verification in progress](https://github.com/NethermindEth/rs-soroban-ultrahonk/pull/38); adopting it changes the proving recipe and the verifier dependency, not the circuits. +This removes the plookup channel only and does not make proofs private. Whether other parts of a non-zk proof, such as the wire commitments or the opened evaluations, leak private values has not been established, beyond one known case: the commitment to the lookup inverses and its opened evaluation determine two BN254 points whose discrete logarithm is the prover's long-term key. Recovering the key from them is a discrete-logarithm problem in BN254, estimated at about 100 bits of security, the level the proof system's soundness already relies on. + +Zero knowledge requires the zk flavour of the verifier. Nethermind has [zk verification in progress](https://github.com/NethermindEth/rs-soroban-ultrahonk/pull/38); adopting it changes the proving recipe and the verifier dependency, not the circuits or the verification keys. ## Packaging diff --git a/packages/confidential/circuits/lib/src/lib.nr b/packages/confidential/circuits/lib/src/lib.nr index 3ddebfc97..5bbb48b7b 100644 --- a/packages/confidential/circuits/lib/src/lib.nr +++ b/packages/confidential/circuits/lib/src/lib.nr @@ -159,12 +159,15 @@ unconstrained fn point_hint(p: EmbeddedCurvePoint, _anchor: Field) -> EmbeddedCu p } -/// Returns `p` as a witness. Barretenberg routes a multi_scalar_mul through its fixed-base lookup -/// tables whenever a base point is an ACIR constant equal to one of its precomputed generators (G and -/// H are), and the non-ZK proof's read-count commitments then expose which table rows the scalars' -/// 9-bit windows hit more than once. The hint takes a witness `anchor` so the compiler cannot fold it -/// back to a constant, and `assert_is` must run after the multiplication: an equality asserted before -/// it lets the compiler substitute the constant back. `scripts/check_witness_lookups.sh` guards both. +/// Returns `p` as a witness. Barretenberg routes a multi_scalar_mul through its +/// fixed-base lookup tables when a base point is an ACIR constant equal to one of +/// its precomputed generators (G and H are) and the scalar is a witness; the +/// non-ZK proof's read-count and read-tag commitments then depend on which table +/// rows the scalars' 9-bit windows hit, and how often. The hint takes a witness +/// `anchor` so the compiler does not fold it back to a constant, and `assert_is` +/// must run after the multiplication: an equality asserted before it lets the +/// compiler substitute the constant back. `scripts/check_witness_lookups.sh` +/// guards both. fn as_witness(p: EmbeddedCurvePoint, anchor: Field) -> EmbeddedCurvePoint { // Safety: every caller constrains the result equal to `p` via `assert_is`. unsafe { point_hint(p, anchor) }