README.md

ronkathon

Overview

Ronkathon is a collection of cryptographic primitives implemented in Rust. It is inspired by the python plonkathon repository and plonk-by-hand. We use the same curve and field as plonk-by-hand (which is not secure) and the goal of this repository is to work towards building everything from scratch to understand everything from first principles.

Multivariate polynomials and sum-check

This project implements the sum-check protocol for multivariate polynomials over finite fields. The sum-check protocol is an interactive proof system where a prover convinces a verifier of the sum of a multivariate polynomial over a boolean hypercube. This implementation includes:

• A MultiVarPolynomial struct which represents a multivariate polynomial
• A SumCheckProver for generating proofs
• A SumCheckVerifier for verifying proofs
• A SumCheck struct that encapsulates the entire protocol.

You can use:

cargo run --example sumcheck_ex

to run example code.

Primitives

• Finite Group
• Fields and Their Extensions
  • Binary Fields
• Curves and Their Pairings
• Polynomials
• KZG Commitments
• Reed-Solomon Codes
• Merkle Proofs
• DSL

Signatures

• Tiny ECDSA

Encryption

• RSA
• DES
• AES
• ChaCha

Hash

• Sha256 Hash
• Poseidon Hash

In Progress

• Edwards curve Signatures (EdDSA)

Resources

We have found the following resources helpful in understanding the foundational mathematics behind this implementation. After going through these, you should be able to understand the codebase

Theoretic Resources

• Plonk by Hand P1
• Plonk by Hand P2
• Plonk by Hand P3

Code Refrences

• Plonkathon
• Plonky3
• py_pairing
• arkworks

Math

To see computations used in the background, go to the math/ directory. From there, you can run the .sage files in a SageMath environment. In particular, the math/field.sage computes roots of unity in the PlutoField which is of size 101. To install sage on your machine, follow the instructions here. If you are on a Mac, you can install it via homebrew with brew install --cask sage.

License

Licensed under the Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)

Contributing

We welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main Telegram channel to chat about Pluto's development.

Our contributor guidelines can be found in CONTRIBUTING.md. A good starting point is issues labelled 'bounty' in our repositories.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.