Security/zk verifier hardening#108

Merged

nol4lej merged 25 commits into

mainfrom

security/zk-verifier-hardening

Jul 5, 2026

Commits on Jul 2, 2026

Commits on Jul 3, 2026

feat(zk-verifier): validate VK arity on registration
nol4lej
committed
Merge branch 'main' of github.com:orbinum/node into security/zk-verifier-hardening
nol4lej
committed
fix(zk-verifier): return Result from snarkjs parsers instead of panicking
nol4lej
committed
fix(zk-verifier): reject non-canonical values in snarkjs parsers
nol4lej
committed
test(zk-verifier): exercise real Groth16 verification end-to-end
nol4lej
committed
perf(zk-verifier): scale verify_proof weight with public-input count
nol4lej
committed
refactor(zk-verifier): document the 32-byte encoding invariant
nol4lej
committed
fix(zk-verifier): require exact 32-byte public inputs in verify_proof
nol4lej
committed

Commits on Jul 4, 2026