Skip to content

QED-it/wg-plonkish

 
 

Repository files navigation

Plonkish Constraint Systems

As part of the ZKProof standardization effort, the Plonkish Constraint System Working Group is developing a specification, a reference implementation written in Rust, and test vectors for Plonkish arithmetisation.

Plonkish arithmetisation is a means of expressing circuits for probabilistic and/or zero-knowledge proving systems. This arithmetisation was originally developed in the context of the PLONK proving system, and refined for use in the Halo 2 proving system. The variant of Plonkish used by Halo 2 is the initial focus for this standardization effort.

Security Warnings

The software and specifications in this repository are currently under development and have not been fully reviewed.

Rust prerequisites

  • cargo install mdbook
  • cargo install mdbook-katex

Rendering

  • mdbook build

The rendered documents can be viewed at docs/index.html.

License

All files in this repository are licensed under any of:

at your option.

Contribution

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 triple-licensed as above, without any additional terms or conditions.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Shell 82.6%
  • CSS 9.7%
  • Rust 7.7%