Skip to content

Conversation

@siq1
Copy link
Contributor

@siq1 siq1 commented Jan 24, 2025

No description provided.

siq1 and others added 29 commits November 2, 2024 01:43
* simple refactor

* refactor

* fmt

* fix
* implement mul gate fanout limit

* fmt

* update gate order to compare input first

* clippy

* add dump circuit test
* ecgo const variables

* fix
* implement debug builder

* fmt
* add logup std

* add logup std

---------

Co-authored-by: hczphn <hczphn@polyhedra.network>
* add logup std

* add logup std

* update queryhint (use map)

---------

Co-authored-by: hczphn <hczphn@polyhedra.network>
* implement cross layer circuit and gates

* rewrite connect_wires to use whole circuit layout_ids

* cross layer relay

* opt and test

* support both circuit formats

* add back export to expander

* fmt

* add example

* fix

* possible opt

* fix
* hints

* fmt
* rust const variables

* clippy
* update expander version

* update expander to current dev

* add default gkr config (changes from #58)
* update expander version

* implement cross layer circuit export

* update expander to dev
* add sha256 for m31 field

* move test to ./tests

* format

* pass clippy

* support logup new api: rangeproof, arbitrary key table
* add sha256 for m31 field

* move test to ./tests

* format

* pass clippy

---------

Signed-off-by: siq1 <166227013+siq1@users.noreply.github.com>
Co-authored-by: siq1 <166227013+siq1@users.noreply.github.com>
* sha256_test

* optimize vanilla adder

* minor

* serialization

* remove scripts

* minor fix

* minor

* debugging sha256

* tmp commit

* tmp

* before switch to big endian

* switch to big endian & fix a hidden error in hash parameters

* clean up & fix brentkung

* clippy

* rename sha256 tests

* sha256 circuit in std, debugging

* update incorrect parameters

* minor

* fmt & switch to cross layer

* clippy & optimize by replacing some adds with add_const

* fmt after rebase

* fix a typo & fix a comment & clippy

* fmt..

---------

Co-authored-by: siq1 <siqi@polyhedra.network>
@siq1 siq1 merged commit f438435 into master Jan 28, 2025
32 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants