Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: implement vanishing argument #195

Merged
merged 12 commits into from
Dec 15, 2023
Merged

feat: implement vanishing argument #195

merged 12 commits into from
Dec 15, 2023

Commits on Dec 14, 2023

  1. refac(math): use #else in conditional compilation for readability

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    288564a View commit details
    Browse the repository at this point in the history

  2. build(zk): fix wrong dependency

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    a92ab98 View commit details
    Browse the repository at this point in the history

  3. refac(zk): fix prover methods to return boolean result of transcript

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    c6b0d22 View commit details
    Browse the repository at this point in the history

  4. feat(zk): add Commit method for Prover

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    2d09dc4 View commit details
    Browse the repository at this point in the history

  5. feat(math): add type declaration of Coefficients for `UnivariatePol… 

    …ynomial`
    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    c55f717 View commit details
    Browse the repository at this point in the history

  6. feat(zk): add another constructor for VerifierQuery

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    e2a9432 View commit details
    Browse the repository at this point in the history

  7. feat(zk): add ExtendedPoly, ExtendedEvals type declaration

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    997c028 View commit details
    Browse the repository at this point in the history

  8. feat(zk): add getters to Entity that passes over ownership

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    c2e0a7e View commit details
    Browse the repository at this point in the history

  9. feat(zk): introduce EntityTy

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    c6ed4e0 View commit details
    Browse the repository at this point in the history

  10. feat(math): add ref getter for UnivariatePolynomial

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    312bfa6 View commit details
    Browse the repository at this point in the history

  11. feat(zk): implement vanishing argument 

    See [Prover](https://github.com/kroma-network/halo2/blob/7d0a36990452c8e7ebd600de258420781a9b7917/halo2_proofs/src/plonk/vanishing/prover.rs#L19-L174) and
[Verifier](https://github.com/kroma-network/halo2/blob/7d0a36990452c8e7ebd600de258420781a9b7917/halo2_proofs/src/plonk/vanishing/verifier.rs#L18-L138).
    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    0337986 View commit details
    Browse the repository at this point in the history

  12. refac(zk): rename methods transferring ownership to TakeXXX

    @TomTaehoonKim
    TomTaehoonKim committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    858b2d8 View commit details
    Browse the repository at this point in the history