Skip to content

Releases: Ethan-000/halo2_backend

v0.1.3: feat: pse evm tests (#48)

10 Aug 07:35
6374c93
Compare
Choose a tag to compare
Pre-release
* add nargo contract command to nargo tests

* verifier contract tests passing

* commit latests

* remove calldata print line

* change fr::from_raw() to fr::from()

* add second public input test with array

* update pse to acvm v 0.22

* pse uses new circuit api input to compute number of public inputs

* zcash updated to acm 0.22

* axiom (all) updated to acvm v0.22

* fmt/clippy

* update test utilities & programs to be compatible with newest noir/ acvm

* bump down to acvm 0.18.1 with cherrypicked commit 2bc7d25 to support eth_contract_from_vk without changing memory opcodes (breaks functions and arrays)

* integration tests for pse working except for evm

* all unit tests working except for evm tests >:(

* remove if false for failing tests

* update wasm

* should pass all actions

* fix if

* add solc install to action

* add poseidon

* crs

* downgrade solc in ci to compatible version with snark verifier

* ci should pass now

---------

Co-authored-by: Ian-Bright <ianbrighton1@gmail.com>

v0.1.2

27 Jun 14:47
Compare
Choose a tag to compare
v0.1.2 Pre-release
Pre-release

wasm
tests
benches
refactor

0.1.1

13 Jun 15:46
9da297d
Compare
Choose a tag to compare
0.1.1 Pre-release
Pre-release

add tests

v0.1.0

09 Jun 15:06
1b5d191
Compare
Choose a tag to compare
v0.1.0 Pre-release
Pre-release

Write Halo2-KZG circuits (arithmetic gates, range proofs) in Noir without foreign functions (eg. sha256)