package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
Polynomials over BLS12-381 finite field

Install

Dune Dependency

Authors

Maintainers

Sources

privacy-team-v1.0.0.tar.gz
md5=c9007a234fbacaddbc652c139cac56db
sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

README.md.html

README.md

This repository contains aPlonK, the SNARK proving system that powers Epoxy, Tezos' validity rollup.

This repository is developed and maintained by the cryptography team of Nomadic Labs.

Structure of the repository

aplonk

aPlonK is a PlonK-inspired proving system which focuses on proof-aggregation and distributed proof generation.

plonk

PlonK is a modular implementation of the PlonK proving system which serves as a basis for APlonK.

plompiler

Plompiler is a monadic Domain Specific Language embedded in OCaml that can be used to build circuits for PlonK or aPlonK. It contains a library of gadgets including optimized implementation of the Anemoi and Poseidon hash functions as well as Schnorr signatures on JubJub.

epoxy-tx

epoxy-tx is a transactional rollup for Epoxy which allows the transfer of Tezos' tickets. The statements are written using plompiler.

bls12-381-polynomial

bls12-381-polynomial contains C libraries and bindings to optimized implementations of various algorithms related to the bls12-381 curve, and polynomials based on it's scalar field. It is based on the blst library.

Compiling

To setup correctly your local environment run the script ./scripts/install_build_deps.sh which will take care of creating a local opam directory _opam.

OCaml

Innovation. Community. Security.