v1.0.0 release (#189)

2025-01-27T15:52:56Z

v1.0.0 release (PolyhedraZK#189)

* fix power gate (PolyhedraZK#128)

* Recursive Verifier (PolyhedraZK#127)

* tmp

* transcript refactor

* tmp

* tm[

* v1

* rm proof txt file

* clippy

* minor

* fmt

* tmp fix

* fix

* fix errors in merge

* minor

* file location update

* clean up

* fix grinding

* lock/unlock proof in transcript

* testing script

* update script

* hash test in rust

* minor

* script update

* update script

* tmp

* fix expander-exec

* fmt

* Lagrange Form Bi kzg update (PolyhedraZK#130)

* tmp

* clean up

* fix clippy

* add a bit more tests

* minor

---------

Co-authored-by: zhenfei <zhenfei.zhang@hotmail.com>

* [impl] adding sumcheck-cuda (PolyhedraZK#131)

* stats code & release binary (PolyhedraZK#135)

* stats code

* release binary

* fix-binary-release (PolyhedraZK#136)

* Reuse eq_evals in prover, verifier, and recursive verifier (PolyhedraZK#138)

* reduce randomness and reuse eq evals

* add recursion in ci

* pcs trait v1 (PolyhedraZK#140)

* pcs trait v1

* &mut for pcs scheme

* remove &mut self for verify

* add cache for CI

* Update nightly_e2e.yml

* Features: Orion implementation related peripheral building blocks (PolyhedraZK#142)

* Feature: Merkle Tree implementation as Orion pcs building block (PolyhedraZK#143)

* init commit for merkle tree implementation

* benchmarked and optimized, shit runs fast

* allocate rather than concat

* use move for intermediate results that can be dropped later

* shorten bench time

* additional benchmarks

* Zf/config refactor (PolyhedraZK#146)

* config refactor wip

* refactor config wip

* macros done

* refactor done

* fmt

* clippy auto fix

* fix grinding feature

* fix verifier scratch pad

* PCS Trait V2 & Integration (PolyhedraZK#150)

Second version of PCS trait and PCS for Expander GKR interface, integrating Raw PCS to linear GKR prover

* Minor: Merging `FieldSerde` into `Field`, and deprecating `try_deserialize_from_ecc_format` (PolyhedraZK#151)

Co-authored-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>

* Minor: Typo fixing for GF2 and tree bench shorten (PolyhedraZK#152)

* Minor: MISC changes including rust fmt, CI caches, and MT serde (PolyhedraZK#154)

* init commit for extension field from/to-limbs methods (PolyhedraZK#159)

* Minor: Traits for multilinear polynomials, PCS minor changes (PolyhedraZK#158)

* reference (read-only/write) multilinear polynomial prototype

* full set of testing for both ref and mut_ref mle

* minor, prototype (mut)-multilinear-extension traits for ref-mle-polys

* continue with (mutable)multilinear-extension trait implementation

* pcs interface change to box dyn multilinear-extension, collateral changes included

* minor, add one more trait method of ref to hypercube basis

* minor, use impl to get around lifetime specification in place

* pcs crs from deterministic seed in testing across mpi (PolyhedraZK#162)

* Minor: Fixing BN254 Recursion on RawPCS deserialization (PolyhedraZK#163)

* Expose expander-exec APIs for ECC (PolyhedraZK#165)

* expose exec apis

* fix clippy

* Minor: Poseidon M31 Transcript (PolyhedraZK#160)

Signed-off-by: Tiancheng Xie <tc@polyhedra.network>
Co-authored-by: Tiancheng Xie <tc@polyhedra.network>

* Zf/virgo++ (PolyhedraZK#164)

* e2e infrastructure

* tmp

* circuit deserialization

* tmp

* v1

* fmt

* clippy auto fix

* clippy

* minor

* fmt

* minor

* fix mpi ci (PolyhedraZK#174)

* remove rust cache

* try...

* clean up

* profiling

* the old fashion

* Update install.py

* remove apt update

* Update benchmarks.yml

* enable sudo for CI

* [impl] update soft-lock based naive prepare impl (PolyhedraZK#173)

* temporarily uses GitHub's CI (PolyhedraZK#175)

* Minor: Recursion Script Typo Fix from CI Fix (PolyhedraZK#176)

* Minor: Orion PCS only base field impls (PolyhedraZK#177)

* Minor: Mersenne31 GKR recursive verifier (PolyhedraZK#168)

* extracted changes for poseidon m31 transcript

* minor - mimc tested, sponge set/get state trait methods

* fkin hell - just wanna specify Transcript baseF challengeF ... didnt expect this comin

* morphing field hash transcript, hash from base field output challenge field

* squeeze, squeeze_state, and set_state in field hash sponge trait

* changed interface for transcript - wondering why recursive mimc transcript not matching

* so poseidon m31 works for gkr correctness, which is a relief

* you squeaky lil bug there you go

* Revert "you squeaky lil bug there you go"

This reverts commit 1bc8381.

* Revert "so poseidon m31 works for gkr correctness, which is a relief"

This reverts commit 573b7d4.

* Revert "changed interface for transcript - wondering why recursive mimc transcript not matching"

This reverts commit a8ff4f2.

* Revert "squeeze, squeeze_state, and set_state in field hash sponge trait"

This reverts commit ce80aec.

* Revert "morphing field hash transcript, hash from base field output challenge field"

This reverts commit 90ebc09.

* Revert "fkin hell - just wanna specify Transcript baseF challengeF ... didnt expect this comin"

This reverts commit 559b565.

* revert back to field hasher from previous interface

* minor rewrite on field hash transcript - move FiatShamirFieldHash into arith

* minor changes stashing

* refactoring field hash transcript to using hash state (vec of base field elems)

* minor rewrite - make transcript impl less lines

* minor - move mimc to crate field_hashers under arith, remove hasher mimc impl

* prototyped poseidon permutation and integrated into gkr correctness

* export with name suffix fiat-shamir-hasher, rename to align names

* minor - mpi sync up state

* minor - typo fixing

* stashing changes for sampling circuit elems

* gathering stashed circuit changes

* recursion CI setup

* stashing CI related changes and notes on commenting out api println

* minor - api for zeroes over extension field

* stash changes from transcript side

* raw commitment length w.r.t. base field needs input size * mpi size * simd size

* take simd variables into consideration, and note places needs fixing

* continue code read with gkr runtime and check against recursive verifier

* minor - setup circuit for recursive test

* update go mod version

* prototyped recursive verifier with CI running

* minor - follow up changes for merging dev changes

* CI recursion steps update

* minor - upload a small enough circuit for recursion test

* update ecc branch - remove prev poseidon impl

* i dont like it but it works for CI for now

* clean up ci yml file

---------

Signed-off-by: Tiancheng Xie <tc@polyhedra.network>
Co-authored-by: Tiancheng Xie <tc@polyhedra.network>

* Minor: Fix CI build (PolyhedraZK#178)

* Minor: SIMD orion PCS impls (PolyhedraZK#179)

* Feature: Orion PCS Integration (PolyhedraZK#153)

---------

Signed-off-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>
Co-authored-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>

* CI: build ECC locally rather than downloading (PolyhedraZK#181)

* Minor: Simpler CI from ECC script (PolyhedraZK#182)

* init commit for the gf2 avx256 fix (PolyhedraZK#183)

* fix fiat-shamir (PolyhedraZK#184)

* hash the commitment for sufficient depth

* clean up

* use recursion gate to guard the grinding

* Minor: Unified CI workflows (PolyhedraZK#185)

* Minor: Bringing benchmark machine back (PolyhedraZK#186)

* Minor: PCS trait changes (PolyhedraZK#188)

* Minor: Fixing build workflow CI process (PolyhedraZK#187)

* Update readme.md

Signed-off-by: Tiancheng Xie <tc@polyhedra.network>

* Update readme.md

Signed-off-by: Tiancheng Xie <tc@polyhedra.network>

* fixes broken link (PolyhedraZK#147)

---------

Signed-off-by: Tiancheng Xie <tc@polyhedra.network>
Signed-off-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>
Co-authored-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>
Co-authored-by: Simon Lau <slzk@polyhedra.network>
Co-authored-by: tonyfloatersu <tonyfloater@gmail.com>
Co-authored-by: mcfx <git1@mcfx.us>
Co-authored-by: Tiancheng Xie <tc@polyhedra.network>
Co-authored-by: Yahya Hassanzadeh, Ph.D. <19204398+yhassanzadeh13@users.noreply.github.com>

v0.0.5 (#132)

2024-11-11T15:32:18Z

v0.0.5 (PolyhedraZK#132)

* fix power gate (PolyhedraZK#128)

* Recursive Verifier (PolyhedraZK#127)

* tmp

* transcript refactor

* tmp

* tm[

* v1

* rm proof txt file

* clippy

* minor

* fmt

* tmp fix

* fix

* fix errors in merge

* minor

* file location update

* clean up

* fix grinding

* lock/unlock proof in transcript

* testing script

* update script

* hash test in rust

* minor

* script update

* update script

* tmp

* fix expander-exec

* fmt

* Lagrange Form Bi kzg update (PolyhedraZK#130)

* tmp

* clean up

* fix clippy

* add a bit more tests

* minor

---------

Co-authored-by: zhenfei <zhenfei.zhang@hotmail.com>

* [impl] adding sumcheck-cuda (PolyhedraZK#131)

* stats code & release binary (PolyhedraZK#135)

* stats code

* release binary

* fix-binary-release (PolyhedraZK#136)

* Reuse eq_evals in prover, verifier, and recursive verifier (PolyhedraZK#138)

* reduce randomness and reuse eq evals

* add recursion in ci

* pcs trait v1 (PolyhedraZK#140)

* pcs trait v1

* &mut for pcs scheme

* remove &mut self for verify

* add cache for CI

* Update nightly_e2e.yml

---------

Co-authored-by: zhenfei <zhenfei.zhang@hotmail.com>
Co-authored-by: Zhiyong Fang <zhiyong.fang.1997@gmail.com>
Co-authored-by: Simon Lau <slzk@polyhedra.network>

v0.0.4: Merge pull request #125 from PolyhedraZK/fix-scratchpad

2024-10-14T23:44:35Z

Merge pull request PolyhedraZK#125 from PolyhedraZK/fix-scratchpad

Fix scratchpad and Optimize Expander Eq

Tags from Expander

v1.0.0 release (#189)

v0.0.5 (#132)

v0.0.4: Merge pull request #125 from PolyhedraZK/fix-scratchpad

v0.0.3

v0.0.2

v0.0.1