Crate fcomm

The fcomm CLI exposes an interface for creating and verifying Lurk proofs, and for manipulating functional commitments.

Modules

error

Structs

Cert

Commitment

CommittedExpression

Evaluation

Expression

LurkScalarBytes

LurkScalarIpld

Opening

OpeningRequest

Proof

VerificationResult

Enums

Claim

LurkPtr

ReductionCount

Constants

DEFAULT_REDUCTION_COUNT

Statics

VERBOSE

Traits

FileStore

Id

Functions

cid_from_string

committed_expression_store

evaluate

nova_proof_cache

public_params

string_cid

Type Aliases

CommittedExpressionMap

NovaProofCache

PublicParamDiskCache

PublicParamMemCache

S1