Update halo2-lib and add SDK#3

Merged

jonathanpwang merged 33 commits into

axiom-crypto:mainfrom

jonathanpwang:axiom-sync

Dec 15, 2022

Commits on Oct 20, 2022

Commits on Oct 21, 2022

feat: add succinct_verify_or_dummy to allow flag to turn off verification in aggregation snark
jonathanpwang
committed

Commits on Oct 24, 2022

Rollback to pse halo2 and halo2wrong for first release (#5)
han0110
authored

Commits on Oct 25, 2022

chore: update dependencies with latest halo2_proofs
jonathanpwang
committed
add `serialize` feature to turn on/off vkey/pkey write
jonathanpwang
committed
feat: change `name` to function instead of const in `TargetCircuit`
jonathanpwang
committed

Commits on Oct 26, 2022

fix: `load_verify_circuit_degree` now takes in environmental variable
jonathanpwang
committed

Commits on Oct 28, 2022

Commits on Oct 29, 2022

Commits on Nov 1, 2022

Commits on Nov 2, 2022

Merge remote-tracking branch 'upstream/main' into sync-with-halo2lib
jonathanpwang
committed

Commits on Nov 3, 2022

Commits on Nov 8, 2022

General refactor for further integration (#13)
han0110
authored

Commits on Nov 9, 2022

Commits on Nov 21, 2022

wip: update to halo2-lib v0.2.0
jonathanpwang
committed

Commits on Nov 22, 2022

Merge remote-tracking branch 'han0110/feature/example-recursion' into sync-with-halo2lib
jonathanpwang
committed

Commits on Nov 27, 2022

Commits on Nov 30, 2022

Merge branch 'sync-with-halo2lib' into axiom-sync
jonathanpwang
committed

Commits on Dec 2, 2022

Commits on Dec 4, 2022

feat: add `evm` module to `sdk` with evm proof and verifier functions
jonathanpwang
committed

Commits on Dec 6, 2022

chore: update Cargo.toml
jonathanpwang
committed

Commits on Dec 15, 2022