Skip to content

Tags: MynaWallet/snark-verifier

Tags

v0.1.7-goerli-beta

Goerli testnet

v0.1.1-ce

Community edition v0.1.1

v0.1.1

Audited release 0.1.1

v2023_04_20

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Upgrade `halo2curves` and `halo2_proofs` (axiom-crypto#35)

* feat: upgrade `halo2curves` to `0.3.2` and `halo2_proofs` to `v2023_04_20`

* feat: support `circuit-params` feature flag

v2023_04_06

chore: add tag to halo2-lib

v2023_01_30

Version used for public demo

v2023_02_02

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
chore: update `halo2` and `halo2wrong` version (axiom-crypto#25)

v2022_12_23

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Restructure for more kind of verifier (axiom-crypto#21)

* 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`)

v2022_10_22

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Rollback to pse halo2 and halo2wrong for first release (axiom-crypto#5)

* 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`

v2022_10_14

chore: update readme