Skip to content

build: depend on noir-zk 0.3.3, refrozen as eid-circuits@0.8.2 - #33

Merged
tonyvelichko merged 3 commits into
mainfrom
build/noir-zk-0.3.3
Oct 1, 2026
Merged

tonyvelichko merged 3 commits into
mainfrom
build/noir-zk-0.3.3

Conversation

@tonyvelichko

Copy link
Copy Markdown
Contributor

Part of the coordinated repin to noir-zk 0.3.3 (zk-experiments/noir-zk#10), with zk-encryption v0.1.3 (zk-experiments/zk-encryption#5).

  • noir-zk-core, -backend, -codegen =0.3.3 (the CLI mise run install:noir-zk reads the same pin), exactly as zk-encryption v0.1.3, so emit-devnet links both.
  • Refrozen as eid-circuits@0.8.2, the release this build: commit cuts: 0 versions minted, the library version and so the family roots change.
  • ci(release): build: commits release a patch (as in zk-encryption).
  • ci(packs): the published-downloads check retries for up to 10 minutes; v0.8.1's failed after 2.5 minutes of CDN 403s although every pack was served soon after (its release notes' packs table was added by hand).

Checked: cargo fmt, CI's clippy set, cargo test --all-features, every eid-vectors --check, and the fold test with noir-zk 0.3.3's kernels (4 chains proven and verified).

A dependency or toolchain move changes what consumers link against: a combining crate must pin
noir-zk exactly as this crate does, so a build commit releases a patch like a fix.
The CDN answered 403 for longer than the 2.5 minutes of retries after v0.8.1's upload, as after
v0.8.0's: the check failed though every pack was served minutes later.
noir-zk 0.3.3's kernels take the verification key's hash as a witness (bb constrains it), hash
each Merkle level once, and have new keys and a new family root; its freeze compares ABIs as JSON.
noir-zk-core, -backend and -codegen move to =0.3.3 (and with them the CLI mise installs), exactly
as zk-encryption v0.1.3 pins them, so a combining crate links both. Refrozen as eid-circuits@0.8.2,
the release this ships in: no bytecode changes (0 versions minted), the library version and so the
family roots change; the registry test's version follows.
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

Code coverage

76.12% of lines covered.

Metric Covered Total Coverage
Lines 2,120 2,785 76.12% ████████░░
Functions 209 272 76.84% ████████░░
Regions 4,120 5,520 74.64% ███████░░░
Branches — — — not instrumented
8 file(s) below 90% line coverage
File Lines Covered Functions
rust/eid-vectors/src/documents.rs 0.00% 0/96 0.00% ░░░░░░░░░░
rust/eid-vectors/src/steps.rs 34.25% 75/219 46.15% ███░░░░░░░
rust/eid-vectors/src/main.rs 66.75% 269/403 54.29% ███████░░░
rust/eid-vectors/src/mock.rs 74.10% 392/529 81.25% ███████░░░
rust/eid-prover/src/select.rs 81.65% 89/109 50.00% ████████░░
rust/eid-vectors/src/circuits.rs 84.86% 325/383 72.73% ████████░░
rust/eid-vectors/src/curves.rs 87.16% 190/218 85.71% █████████░
rust/eid-prover/src/sod.rs 89.52% 111/124 71.43% █████████░

7 further file(s) not shown.

Reported, not enforced. Out-of-process suites (devnet e2e, testcontainers) do not appear in these numbers.

@tonyvelichko
tonyvelichko merged commit 4563cc5 into main Oct 1, 2026
14 checks passed
@tonyvelichko
tonyvelichko deleted the build/noir-zk-0.3.3 branch October 1, 2026 01:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant