Home > Tags > prover-backend

Prover Backend

Description

Tags the backend prover component of a ZKP toolchain — responsible for generating proofs given a constraint system and witness.

Entries tagged

• AztecProtocol: Aztec Packages (UltraHONK Audit Scope)
• Barretenberg
• Ligero Prover (Ligetron)
• Ligetron Marketplace Documentation
• noir-lang/noir — ACVM Repository
• Noir's Circuit Backend