Search results

noir_passport: pubkey_offset is unconstrained with respect to the X.509 SubjectPublicKeyInfo field position

Status: Open.

#382 In worldfnd/provekit;

· x-senpai-x opened on Mar 24, 2026

noir_pasport: pubkey offset not bounds-checked against tbs_certificate_len; key can be extracted from the unsigned tail

Status: Open.

#381 In worldfnd/provekit;

· x-senpai-x opened on Mar 24, 2026

noir_passport : Bind tbs_certificate_len into the commitment chain

Status: Open.

#380 In worldfnd/provekit;

· x-senpai-x opened on Mar 24, 2026

r1cs-compiler: constant-operand branches in AND/XOR black-box handler are unreachable dead code

Status: Open.

#378 In worldfnd/provekit;

· x-senpai-x opened on Mar 23, 2026

r1cs-compiler: AND/XOR black-box panics on witnesses wider than 32 bits (u64)

Status: Open.

#377 In worldfnd/provekit;

· x-senpai-x opened on Mar 23, 2026

Test: Add negative/adversarial tests for MSM constraint satisfaction

Status: Open.

#348 In worldfnd/provekit;

· Bisht13 opened on Mar 18, 2026

Refactor: Introduce a type alias WitnessIdx

Status: Open.

#347 In worldfnd/provekit;

· ocdbytes opened on Mar 18, 2026

Refactor: Consolidate WitnessBuilder metadata to eliminate silent bugs and reduce per-variant boilerplate

Status: Open.

#346 In worldfnd/provekit;

· Bisht13 opened on Mar 18, 2026

skyscraper/bn254-multiplier/src/utils: tighter bounds

to doTo do comments in codeTo do comments in code

tracker🤖 issue managed by tracker bot🤖 issue managed by tracker bot

Status: Open.

#344 In worldfnd/provekit;

· recmo opened on Mar 17, 2026

skyscraper/bn254-multiplier/src/utils: tighter bounds

to doTo do comments in codeTo do comments in code

tracker🤖 issue managed by tracker bot🤖 issue managed by tracker bot

Status: Open.

#343 In worldfnd/provekit;

· recmo opened on Mar 17, 2026

Fix Claude Code Action

Status: Open.

#342 In worldfnd/provekit;

· Bisht13 opened on Mar 17, 2026

hardening: add static assertion for WASM mavros stub type layout

Status: Open.

#341 In worldfnd/provekit;

· Bisht13 opened on Mar 17, 2026