forked from axiom-crypto/snark-verifier
-
Notifications
You must be signed in to change notification settings - Fork 0
[one-shot implementation for discussion, not for merging]: BLS support #1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
jtcoolen
wants to merge
23
commits into
EYBlockchain:main
Choose a base branch
from
jtcoolen:bls-support
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Changes from 1 commit
Commits
Show all changes
23 commits
Select commit
Hold shift + click to select a range
d8f1bbf
build(evm): update generated verifier pragma to Solidity 0.8.30
jtcoolen bcd1f54
test(evm): raise local limits for large-verifier gas estimation
jtcoolen 6ceb111
chore(vendor): vendor halo2-lib snapshot and route halo2-base/ecc loc…
jtcoolen 5fc6269
chore(vendor): apply halo2-base blsFr scalar-field patch (360a9d3)
jtcoolen 52272a3
chore(vendor): apply halo2-base blsFq 6-limb patch set (f56347d)
jtcoolen 3521425
fix(vendor): make from_u64_digits width-agnostic
jtcoolen 7c2e1b9
chore(lockfile): resolve dependency graph for pinned halo2 stack
jtcoolen c5a590e
chore(vendor): import halo2-base snapshot from f56347d
jtcoolen 37ddb9b
fix(vendor): make from_u64_digits width-agnostic
jtcoolen 37c0669
refactor(sdk): switch bn256 generics to bls12_381
jtcoolen 86c7d76
feat(evm-loader): support BLS byte widths for proof/ec-point IO
jtcoolen 63d9de6
feat(evm-decider): move G2 serialization to 8-word pairing inputs
jtcoolen 0acb7c4
feat(evm-codegen): adopt BLS precompile call shapes in generated runtime
jtcoolen de04db8
fix(evm): correct EIP-2537 precompile addresses
jtcoolen 594f95c
fix(decider): serialize G2 in EIP-2537 c0,c1 order
jtcoolen 6e50139
fix(field-arith): set LIMBS=3 and BITS=128 for BLS constraints
jtcoolen a089d14
chore(toolchain): bump rust-toolchain to 1.88.0
jtcoolen 7c3dd7f
fix(revm): harden Prague config and revert diagnostics
jtcoolen 79bfb0a
chore(lockfile): refresh lockfile after revm/runtime wiring
jtcoolen 42c1649
chore(evm): improve solc error surfacing
jtcoolen 728397d
fix(transcript/evm): handle identity encoding and disjoint transcript…
jtcoolen f4e4942
perf(loader_evm): batch MSM precompile path and harden inversion sema…
jtcoolen 0004143
chore(example): port standard_plonk to BLS12-381
jtcoolen File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Some comments aren't visible on the classic Files Changed page.
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
TODO we may want to relax the constraint on the solidity version