This repository contains implementations of various ZK protocols and optimizations.
It is a research engineering initiative and can be used for educational purpose.
This repo will continually be updated with more protocol implementations and optimizations of already existing implementations.
Note: Do not use in production until properly audited.
- Univariate Polynomials - link
- Multilinear Polynomial
- Universal MLE(generic over the operation) - link
- Coefficient form sumcheck
- Evaluation form sumcheck
- Non-Interactive Protocol - link
- Universal MLE sumcheck (generic over the operation)
- Non-Interactive Protocol - link
- Coefficient form gkr - link
- Evaluation form gkr - link
- Evaluation form gkr + Multilinear KZG PCS - link
- Fiat Shamir Transcript - link
- Implementation - link
- Implementation - link
- Implementation - link
- Protocol - link