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.

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

Plonk backend #31

Open
wants to merge 47 commits into
base: master
Choose a base branch
from
Open

Plonk backend #31

wants to merge 47 commits into from

Conversation

utkarsh-21st
Copy link

@utkarsh-21st utkarsh-21st commented Jan 21, 2024

This PR adds the following in order:

  • Poseidon2 hash function in Goldilocks field

  • Gates

    1. ArithmeticExtension
    2. CosetInterpolation
    3. BaseSum
    4. Exponentiation
    5. Lookup
    6. LookupTable
    7. MulExtension
    8. Noop
    9. RandomAccess
    10. Reducing
    11. ReducingExtension
    12. PoseidonMds

    required for plonky2-crypto crate:

    1. U32Comparison
    2. U32AddMany
    3. U32Arithmetic
  • Script to export solidity verifier

  • Poseidon hash function in Bn254 Field

  • Replaces PoseidonGoldilocks with PoseidonBn254 for Merkle cap trees and circuit digest

  • Scripts to build, prove, and verify with plonk backend

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.

1 participant