Crypto Gadgets for Plonky2

A collection of efficient gadgets for Plonky2.

As we're building larger and larger circuits with Plonky2, we want to share some of our work and optimizations, packaged in a single and simple to use library.

Complete Example

See the hello-world example to get started and build your own circuit.

Or run:

cd examples/hello-world
cargo test --release -- --nocapture

(don't forget the --release!)

For more examples you can run the library tests:

cargo test --release -- --nocapture

Features

Hash functions:

• Sha256
  • Hash Arbitrary Length Data
  • Hash Two to One (For use with Merkle Proofs)
  • Merkle Proof Gadget
  • Delta Merkle Proof Gadget
• Keccak256
  • Hash Arbitrary Length Data
  • Hash Two to One (For use with Merkle Proofs)
  • Merkle Proof Gadget
  • Delta Merkle Proof Gadget

Integer arithmetic:

• Uint32 arithmetic ops (add, mul, ...)
• Uint32 bitwise ops (and, xor, ...)
• BigUint arithmetic ops (add, sub, mul, div/rem, ...)
• BigUint optimized mul, sqr

Finite field arithmetic:

• Prime fields
• Extension fields
• Extension towers

Elliptic curve cryptography:

• ECDSA (secp256k1)
• EDDSA (ed25519)
• BLS (bls12-381)

Contribute

We welcome contribution, whether in form of bug fixed, documentation, new gadgets, new functionality.

Just open an issue to discuss what you'd like to contribute and then submit a PR.

Disclaimer. This alpha software has been open sourced. All software and code are provided “as is,” without any warranty of any kind, and should be used at your own risk.