package
4.0.2-stable+incompatible
Repository: https://github.com/algorand/go-algorand.git
Documentation: pkg.go.dev
# Functions
LnIntApproximation returns a uint64 approximation.
MakeProver constructs an empty sp-prover.
MaxSize returns a maximum valid message size for this message type.
MkVerifier constructs a verifier to check the state proof.
MkVerifierWithLnProvenWeight constructs a verifier to check the state proof.
MaxSize returns a maximum valid message size for this message type.
MaxSize returns a maximum valid message size for this message type.
MaxSize returns a maximum valid message size for this message type.
MaxSize returns a maximum valid message size for this message type.
MaxSize returns a maximum valid message size for this message type.
# Constants
HashType/ hashSize relate to the type of hash this package uses.
HashType/ hashSize relate to the type of hash this package uses.
MaxReveals is a bound on allocation and on numReveals to limit log computation.
MaxTreeDepth defines the maximal size of a merkle tree depth the state proof allows.
MessageHashType is the type of hash used to generate MessageHash.
SigPartProofMaxSize is the maximum valid size of SigProofs and PartProofs elements of the Stateproof struct in bytes.
VersionForCoinGenerator is used as part of the seed for Fiat-Shamir.
VotersAllocBound should be equal to config.Consensus[protocol.ConsensusCurrentVersion].StateProofTopVoters.
# Variables
Errors for the StateProof prover.
Errors for the StateProof verifier.
errors for the weights verification.
ErrIndexOutOfBound returned when an index is out of the array's bound.
errors for the weights verification.
errors for the weights verification.
Errors for the StateProof verifier.
Errors for the StateProof prover.
Errors for the StateProof prover.
Errors for the StateProof prover.
errors for the weights verification.
errors for the weights verification.
Errors for the StateProof verifier.
errors for the weights verification.
# Structs
Prover keeps track of signatures on a message and eventually produces a state proof for that message.
ProverPersistedFields is the set of fields from the crypto state proof prover that are persisted to disk.
Reveal is a single array position revealed as part of a state proof.
StateProof represents a proof on Algorand's state.
Verifier is used to verify a state proof.
# Type aliases
MessageHash represents the message that a state proof will attest to.
SortUint64 implements sorting by uint64 keys for canonical encoding of maps in msgpack format.