[one-shot implementation for discussion, not for merging]: BLS support - #1

Open

jtcoolen wants to merge 23 commits into

EYBlockchain:mainfrom

jtcoolen:bls-support

Commits on Feb 17, 2026

build(evm): update generated verifier pragma to Solidity 0.8.30
jtcoolen
committed
d8f1bbf
test(evm): raise local limits for large-verifier gas estimation
jtcoolen
committed
bcd1f54

Commits on Mar 2, 2026

chore(vendor): vendor halo2-lib snapshot and route halo2-base/ecc locally
jtcoolen
committed
6ceb111
chore(vendor): apply halo2-base blsFr scalar-field patch (360a9d3)
jtcoolen
committed
5fc6269
chore(vendor): apply halo2-base blsFq 6-limb patch set (f56347d)
jtcoolen
committed
52272a3
fix(vendor): make from_u64_digits width-agnostic
jtcoolen
committed
3521425
chore(lockfile): resolve dependency graph for pinned halo2 stack
jtcoolen
committed
7c2e1b9
chore(vendor): import halo2-base snapshot from f56347d
jtcoolen
committed
c5a590e
fix(vendor): make from_u64_digits width-agnostic
jtcoolen
committed
37ddb9b
refactor(sdk): switch bn256 generics to bls12_381
jtcoolen
committed
37c0669
feat(evm-loader): support BLS byte widths for proof/ec-point IO
jtcoolen
committed
86c7d76
feat(evm-decider): move G2 serialization to 8-word pairing inputs
jtcoolen
committed
63d9de6
feat(evm-codegen): adopt BLS precompile call shapes in generated runtime
jtcoolen
committed
0acb7c4
fix(evm): correct EIP-2537 precompile addresses
jtcoolen
committed
de04db8
fix(decider): serialize G2 in EIP-2537 c0,c1 order
jtcoolen
committed
594f95c
fix(field-arith): set LIMBS=3 and BITS=128 for BLS constraints
jtcoolen
committed
6e50139
chore(toolchain): bump rust-toolchain to 1.88.0
jtcoolen
committed
a089d14
fix(revm): harden Prague config and revert diagnostics
jtcoolen
committed
7c3dd7f
chore(lockfile): refresh lockfile after revm/runtime wiring
jtcoolen
committed
79bfb0a
chore(evm): improve solc error surfacing
jtcoolen
committed
42c1649
fix(transcript/evm): handle identity encoding and disjoint transcript memory
jtcoolen
committed
728397d
perf(loader_evm): batch MSM precompile path and harden inversion semantics
jtcoolen
committed
f4e4942
chore(example): port standard_plonk to BLS12-381
jtcoolen
committed
0004143

Navigation Menu

Uh oh!

[one-shot implementation for discussion, not for merging]: BLS support - #1

[one-shot implementation for discussion, not for merging]: BLS support#1
jtcoolen wants to merge 23 commits into
EYBlockchain:mainfrom
jtcoolen:bls-support

Commits on Feb 17, 2026

build(evm): update generated verifier pragma to Solidity 0.8.30

test(evm): raise local limits for large-verifier gas estimation

Commits on Mar 2, 2026

chore(vendor): vendor halo2-lib snapshot and route halo2-base/ecc locally

chore(vendor): apply halo2-base blsFr scalar-field patch (360a9d3)

chore(vendor): apply halo2-base blsFq 6-limb patch set (f56347d)

fix(vendor): make from_u64_digits width-agnostic

chore(lockfile): resolve dependency graph for pinned halo2 stack

chore(vendor): import halo2-base snapshot from f56347d

fix(vendor): make from_u64_digits width-agnostic

refactor(sdk): switch bn256 generics to bls12_381

feat(evm-loader): support BLS byte widths for proof/ec-point IO

feat(evm-decider): move G2 serialization to 8-word pairing inputs

feat(evm-codegen): adopt BLS precompile call shapes in generated runtime

fix(evm): correct EIP-2537 precompile addresses

fix(decider): serialize G2 in EIP-2537 c0,c1 order

fix(field-arith): set LIMBS=3 and BITS=128 for BLS constraints

chore(toolchain): bump rust-toolchain to 1.88.0

fix(revm): harden Prague config and revert diagnostics

chore(lockfile): refresh lockfile after revm/runtime wiring

chore(evm): improve solc error surfacing

fix(transcript/evm): handle identity encoding and disjoint transcript memory

perf(loader_evm): batch MSM precompile path and harden inversion semantics

chore(example): port standard_plonk to BLS12-381