OpenViSTAI · Agents · Blockchain · Crypto
Submit a project
Menu
ZK & Privacy

Plonk

Plonk is a pure Rust library that implements the PLONK zero-knowledge proving system over the BLS12-381 elliptic curve. It uses KZG10 as its default polynomial commitment scheme and provides custom gates for circuit construction, along with functionality for constructing and verifying proofs when the alloc feature is enabled.

Independent OpenViST project profile, based on linked sources.

Plonk — OpenViST project profile in ZK & Privacy.
OpenViST project illustration. See the linked sources for product details.
Understand the project

Practical overview

When it fits

Use Plonk when a Rust application needs an embedded PLONK proving system over BLS12-381, KZG10 polynomial commitments, custom circuit gates, or proof verification. Select the alloc feature for actual proving or verification; without it, the library cannot perform those operations.

Who it is for

  • Rust developers building zero-knowledge applications
  • Engineers designing PLONK circuits with custom gates
  • Teams integrating proof verification into self-hosted or no_std-capable systems

Documented uses

  • Construct PLONK zero-knowledge proofs
  • Verify PLONK proofs
  • Build circuits using custom gates
  • Use fixed-size proof-related data structures in no_std environments without an allocator
Before you choose

Requirements & limits

The repository is public and licensed under MPL-2.0. It is presented as a Rust library with Linux, macOS, Windows, CLI, and self-hosted development contexts; no account or pricing requirement is stated.

  • The library is written in Rust and targets the BLS12-381 curve.
  • KZG10 is the default polynomial commitment scheme.
  • Custom gates are included for circuit construction.
  • Proof construction and verification require the alloc feature.
  • The std feature is enabled by default and provides some Rayon-based parallelisation.

Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.

COMPARE OPTIONS

Compare options for Zero-knowledge verification

These projects document a common task and share a project role. This is a source-based comparison, not an execution benchmark or a guarantee of interchangeability.

ProjectDocumented purposePlatformAccess and requirements
PlonkConstruct PLONK zero-knowledge proofsCLI, Linux, macOS, Self-hostedThe repository is public and licensed under MPL-2.0. It is presented as a Rust library with Linux, macOS, Windows, CLI, and self-hosted development contexts; no account or pricing requirement is stated.
ProvenZKRepresent circuit gates and vectors in LeanCLI, Linux, macOS, WindowsThe repository is publicly accessible, open source and licensed under Apache-2.0. It is presented as a Lean 4 library for projects using the lake tool.
PicusDetect under-constrained signals in a zero-knowledge circuitCLIThe repository is public and released under the MIT license. Installation and local builds are documented through Cargo, with Docker also provided as a build and run path. The default native solver does not require an external solver.
Evidence and transparency

Sources & review

Official repository ↗
Source record details
Source availability
Active
Sources checked
3 October 2026
Original website title
dusk-network/plonk · Official homepage title · retained in its source language
How we review sourcesSuggest a correction