Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
d8f1bbf
build(evm): update generated verifier pragma to Solidity 0.8.30
jtcoolen Jan 10, 2026
bcd1f54
test(evm): raise local limits for large-verifier gas estimation
jtcoolen Jan 19, 2026
6ceb111
chore(vendor): vendor halo2-lib snapshot and route halo2-base/ecc loc…
jtcoolen Feb 17, 2026
5fc6269
chore(vendor): apply halo2-base blsFr scalar-field patch (360a9d3)
jtcoolen Feb 17, 2026
52272a3
chore(vendor): apply halo2-base blsFq 6-limb patch set (f56347d)
jtcoolen Feb 17, 2026
3521425
fix(vendor): make from_u64_digits width-agnostic
jtcoolen Feb 17, 2026
7c2e1b9
chore(lockfile): resolve dependency graph for pinned halo2 stack
jtcoolen Feb 17, 2026
c5a590e
chore(vendor): import halo2-base snapshot from f56347d
jtcoolen Feb 17, 2026
37ddb9b
fix(vendor): make from_u64_digits width-agnostic
jtcoolen Feb 17, 2026
37c0669
refactor(sdk): switch bn256 generics to bls12_381
jtcoolen Feb 17, 2026
86c7d76
feat(evm-loader): support BLS byte widths for proof/ec-point IO
jtcoolen Feb 17, 2026
63d9de6
feat(evm-decider): move G2 serialization to 8-word pairing inputs
jtcoolen Feb 17, 2026
0acb7c4
feat(evm-codegen): adopt BLS precompile call shapes in generated runtime
jtcoolen Feb 17, 2026
de04db8
fix(evm): correct EIP-2537 precompile addresses
jtcoolen Feb 17, 2026
594f95c
fix(decider): serialize G2 in EIP-2537 c0,c1 order
jtcoolen Feb 17, 2026
6e50139
fix(field-arith): set LIMBS=3 and BITS=128 for BLS constraints
jtcoolen Feb 17, 2026
a089d14
chore(toolchain): bump rust-toolchain to 1.88.0
jtcoolen Feb 17, 2026
7c3dd7f
fix(revm): harden Prague config and revert diagnostics
jtcoolen Feb 17, 2026
79bfb0a
chore(lockfile): refresh lockfile after revm/runtime wiring
jtcoolen Feb 17, 2026
42c1649
chore(evm): improve solc error surfacing
jtcoolen Feb 17, 2026
728397d
fix(transcript/evm): handle identity encoding and disjoint transcript…
jtcoolen Feb 25, 2026
f4e4942
perf(loader_evm): batch MSM precompile path and harden inversion sema…
jtcoolen Feb 25, 2026
0004143
chore(example): port standard_plonk to BLS12-381
jtcoolen Feb 17, 2026
31a4d58
refactor(core): extract shared halo2 layout/expression helpers
jtcoolen Feb 25, 2026
dec3323
feat(plonk): add protocol metadata for transcript/layout variants
jtcoolen Feb 25, 2026
8762fde
feat(plonk): support committed-instance aware proof parsing
jtcoolen Feb 25, 2026
dd3b0cc
test(plonk): cover committed-instance transcript ordering
jtcoolen Feb 25, 2026
e342a31
feat(kzg): add Midnight multiopen PCS and truncated challenge mode
jtcoolen Feb 25, 2026
076394c
build(sdk-midnight): wire Midnight feature gate and dependency graph
jtcoolen Feb 25, 2026
6a4cd75
chore(sdk-midnight): seed protocol builder from halo2 baseline
jtcoolen Mar 2, 2026
a5cadaf
feat(sdk-midnight/protocol): retarget builder scaffold to Midnight types
jtcoolen Mar 2, 2026
eb2b0bb
feat(sdk-midnight/protocol): port query scheduling and witness indexing
jtcoolen Mar 2, 2026
1461a3d
feat(sdk-midnight/protocol): finalize lookup/permutation math and quo…
jtcoolen Mar 2, 2026
ae0c7da
feat(sdk-midnight/protocol): add trash argument constraints to quotient
jtcoolen Mar 2, 2026
4415c6d
feat(sdk-midnight): add conversion layer between Midnight and halo2 c…
jtcoolen Mar 2, 2026
9606ed0
feat(sdk-midnight): add MidnightProofBundle artifact loader and verif…
jtcoolen Mar 2, 2026
862dc8e
feat(sdk-midnight/evm): generate Solidity verifier, bytecode, and cal…
jtcoolen Mar 2, 2026
3d38168
feat(examples): add Midnight Poseidon EVM transcript end-to-end demo
jtcoolen Feb 25, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
.DS_Store

/target
snark-verifier-sdk/target/midnight/
testdata

# Cargo.lock
Expand Down
Loading