Crate sunscreen_zkp_backend

This crate contains ZKP backends for use with the Sunscreen compiler and runtime.

Modules

bulletproofs

Types for working with Bulletproofs as the ZKP backend.

Structs

BigInt

A large integer representing a backend-agnostic field element.

Uint

Stack-allocated big unsigned integer.

Enums

Error

An error in a ZKP backend.

Operation

An operation in Sunscreen’s intermediate representation programs before JIT compilation.

Proof

An R1CS proof.

Traits

FieldSpec

Indicates the given type is a field used used in a ZKP backend. E.g. Bulletproofs uses Ristretto Scalar values.

Gadget

In ZKP circuits, it’s often simpler for the prover to provide additional inputs and prove they meet some criteria than to directly compute some quantity. However, something must compute these additional inputs. Rather than delegate this responsibility to the prover’s application, we use Gadgets.

ZkpBackend

The methods needed for a type to serve as a proof system in the Sunscreen ecosystem.

ZkpFrom

See std::convert::From. This trait exists to avoid limitations with foreign trait rules.

ZkpInto

See std::convert::Into. This trait exists to avoid limitations with foreign trait rules.

Functions

jit_prover

Just in time compile a CompiledZkpProgram into an ExecutableZkpProgram for creating proofs.

jit_verifier

Just in time compile a CompiledZkpProgram into an ExecutableZkpProgram for verifying proofs.

Type Aliases

CompiledZkpProgram

A ZKP program that has been through frontend compilation, but not yet JIT’d.

ExecutableZkpProgram

A ZKP program that has been JIT’d and is ready for use in a ZKP backend.

Result

See std::result::Result.