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 Definitions

• CommittedExpressionMap
• NovaProofCache
• PublicParamDiskCache
• PublicParamMemCache
• S1