Tags: PolyhedraZK/ExpanderCompilerCollection
Tags
v1.0.0 (#79) * add root Cargo.toml * optimize * fix * fix: fix ci tests * fix: fix clippy * add a trivial circuit biulder * fix lint * fix lint * update cargo dependencies * update rust lib path * update go ci * support dynamic array in rust circuit definition * minor changes * remove temporary fix for public input * update file names * fix ci * fix ci * update trivial circuit code * sync cargo updates * Use gnark expr and fix GoBytes limit (#34) * use gnark expr * fix cmp * use unsafe.Slice instead of C.GoBytes due to 2^31 limit * update expander version * update expander version * add more tests * fix compilation time of large multiply expr * v1 * minor * minor * implement get random value api * Log up Update (#40) * simple refactor * refactor * fmt * fix * refactor logup to std (#41) * fix bugs * add more large add/mul expr tests (#43) * implement mul gate fanout limit (#48) * implement mul gate fanout limit * fmt * update gate order to compare input first * clippy * add dump circuit test * Ecgo const variables (#51) * ecgo const variables * fix * Debugging Evalution (#49) * implement debug builder * fmt * Logup (#54) * add logup std * add logup std --------- Co-authored-by: hczphn <hczphn@polyhedra.network> * Logup (#56) * add logup std * add logup std * update queryhint (use map) --------- Co-authored-by: hczphn <hczphn@polyhedra.network> * Cross layer circuit (#50) * 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 * Implement hints (#53) * hints * fmt * allow generic hint caller (changes from #58) * Rust const variables (#60) * rust const variables * clippy * Update expander (#61) * update expander version * update expander to current dev * add default gkr config (changes from #58) * Virgo++ expander integration (#57) * update expander version * implement cross layer circuit export * update expander to dev * Efc logup (#69) * add sha256 for m31 field * move test to ./tests * format * pass clippy * support logup new api: rangeproof, arbitrary key table * sha256_m31 & 37bytes (#68) * 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> * Change debug interface (changes from #52) * Minor: Poseidon Mersenne-31 Width 16 circuit (#72) * Disable 7950x3d test in CI (#76) * Sha256-GF2 (#59) * 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> * Efc gnark (#70) * Minor: Rust build script update (#78) * fix race and randomness in artifact of tests * fix clippy * Update expander to v1.0.0 --------- Signed-off-by: siq1 <166227013+siq1@users.noreply.github.com> Co-authored-by: Ya-wen, Jeng <vivi432@yahoo.com.tw> Co-authored-by: zhenfei <zhenfei.zhang@hotmail.com> Co-authored-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com> Co-authored-by: hczphn <144504143+hczphn@users.noreply.github.com> Co-authored-by: hczphn <hczphn@polyhedra.network> Co-authored-by: tonyfloatersu <tonyfloater@gmail.com>