Release 0.1.6 rc0 #33
Closed
Conversation
This file contains 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
* feat: move `Accumulator` to `accumulator.rs`
* feat: update due to halo2
* feat: upgrade to use branch `feature/generic-instructions` of `halo2wrong`
* refactor: rollback to `{halo2,halo2_wrong}` without challenge API and cleanup dependencies
* chore: rename statement to instance and auxliary to witness
* chore: use `finalize` instead of `code`
* feat: add `Code::deployment` and `EvmLoader::deployment_code`; add example `evm-verifier-codegen`
* fix: typo
* feat: reduce generated evm verifier size; rename to `evm-verifier` and add another example `evm-verifier-with-accumulator`
* fix: due to `halo2wrong`
* feat: reorganize mods and traits
* fix: allow empty `values` in `sum_*` and move them under `ScalarLoader`
* ci: use `--all-features` for `cargo test`
* fix: use same strategy for aggregation testing
* fix: simplify trait `PlonkVerifier` again
* fix: move system specified transcript under mod `system`
* feat: add `quotient_poly` info in `Protocol`
* feat: implement linearization for circom integration
* feat: re-export loader's dependency for consumer
* refactor: for circom's integration
* tmp: pin `revm` to rev
* fix: remove parentheses
* fix: upgrade for multi-phase halo2
* feat: improve error reporting
* chore: rename crate to snake case
* feat: add `Domain` as an input of `PolynomialCommitmentScheme::read_proof`
* refactor: for further integration
* feat: generalize to suppoer also ipa and add builder fns to `system::halo2::Config`
* feat: add `KzgDecider` for simple evm verifier
* refactor: split `AccumulationScheme` and `AccumulatorEncoding`
* refactor: split `PolynomialCommitmentScheme` and `MultiOpenScheme`
* fix: not need sealed actually
* fix: `chunk_size` should be `LIMBS` when recovering accumulator
* feat: add `Expression::DistributePowers` to avoid stack overflow
* fix: update and pin foundry
* fix: move testing circuits under `system/halo2`
* fix: allow accumulate single accumulator
* feat: remove all patch and make less depending `halo2wrong`
* feat: generalize `Protocol` for further usage
* feat: add `EccInstruction::{fixed_base_msm,variable_base_msm,sum_with_const}`
* chore: move `rand_chacha` as dev dependency
* feat: remove dev-dependency `foundry` and vendor necessary part of it * refactor: simplify traits and remove unused stuff * refactor: much less clone * feat: generalized `AccumulatorEncoding` for `EccInstructions`
* Update `EvmLoader` to generate Yul instead of bytecode * feat: simplify * feat: Add missing end_gas_metering impl Co-authored-by: Han <[email protected]> Co-authored-by: Han <[email protected]>
* feat: restructure to monorepo and expand the project scope to be generic (s)nark verifier * feat: reorganize mods and traits for further new features * refactor: simplify trait bounds * chore: use hyphen case for crate name (`snark_verifier` -> `snark-verifier`)
…support identity)
Co-authored-by: Chih Cheng Liang <[email protected]> Co-authored-by: Carlos Pérez <[email protected]>
Add simple documents
* feat(sdk): remove duplicate code in `RangeWithInstanceCircuitBuilder::synthesize` * feat(sdk): Proof caching when using feature 'halo2-pse' * chore: sync with halo2-lib * chore: switch to halo2-lib release-0.3.0 branch
* chore: sync with halo2-lib * fix: clippy
Just cargo fixes
* feat: remove use of env vars for circuit configuration This is a companion to axiom-crypto/halo2-lib#92 * chore: remove rustfmt CI check PSE upstream uses different rustfmt configuration than us, so some files disagree in formatting
* feat: change default `read_pk` buffer capacity to 1MB * feat: add bench for read_pk
* feat(snark-verifier): update to ff v0.13 * feat(snark-verifier): update examples * feat(snark-verifier-sdk): update to ff v0.13 * fix: conversion from BaseConfigParams to AggregationConfigParams * chore: pin poseidon rev * refactor(sdk): add `AggregationCtxBuilder` for aggregation Contains the populated builder after aggregating, without creating the `AggregationCircuit`. Doesn't need config parameters and break points. * chore: update cargo
* feat: add example with different vkey as private witness Same aggregation circuit, verifies different snarks with different vkeys (same standard plonk gate, but different selectors / copy constraints) * fix: save break points when generating agg circuit for first time (#23) * fix: save break points when generating agg circuit for first time * chore: add circuit files to gitignore * feat: halo2-lib universal verifier example * chore: cargo fix * feat: allow circuit size (number of rows) to be loaded as witness * chore: clippy fix * fix(n_as_witness): computation of shifts depends on `omega` `omega` which changes when `k` changes, so all shift computations need to be done as witness. Current implementation is likely not the most optimal. Instead of storing `shift` as `omega^i`, we store just `Rotation(i)`. We de-duplicate when possible using `BTreeMap` of `Rotation`. Note you must use `Rotation` instead of `F` for `BTreeMap` because the ordering of `omega^i` may change depending on `omega`. * fix: temp remove pow_var * add universal verifier range check test * chore: do not serialize domain_as_witness if none * Revert "fix: temp remove pow_var" This reverts commit 69f648e. * fix: halo2_lib example * test: halo2_lib with variable lookup table passes * Bump version to 0.1.3 --------- Co-authored-by: Roshan <[email protected]>
* chore: move `OptimizedPoseidonSpec` to `halo2-base` * Bump version to 0.1.5 and remove poseidon-rs dep
feat: change yul code into Solidity assembly Just changes to wrapping yul in solidity assembly block
and `snark-verifier-sdk` re-exports `snark-verifier`. This is to minimize cargo dependency / version issues until we publish to crates.io.
* feat: make assembly block Solidity memory safe * chore: add back example solidity code
* chore: add `cargo audit` and update dependencies disabling zkevm benches due to versioning issues * chore: autobenches false * fix: audit-check CI
chore: fix hyperlinks in docs
* chore: import `ruint` separately to not rely on `revm` * feat: add feature `revm` to toggle `revm` import Separates `revm` import, which is only used for testing EVM execution, from `loader_evm` feature, which is used more broadly for generating proofs to be sent to on-chain verifier. * chore: add CI to check `--release` compilation with assembly * fix: import under revm
|
Replaced by #47 |
jonathanpwang
pushed a commit
that referenced
this pull request
Jul 20, 2024
Fix: upgrade halo2 to include recent fix of mv-lookup prover
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Weird commit history, but everything on and before 4c4e9e0 was already merged into
main(release v0.1.1).Bug Fix
system_challenge_offsetcorrectly privacy-scaling-explorations/snark-verifier#53Notable PRs:
halo2-libv0.4.0 #29kas witness and computen = 2^kandomegafromk#30OptimizedPoseidonSpectohalo2-base#31