List of all items

Structs

• ClosureCore
• ConstructorCore
• FunctionCore
• Import
• Mapping
• ProgramCore
• finalize::FinalizeCore
• logic::FinalizeGlobalState
• logic::command::Await
• logic::command::Branch
• logic::command::Contains
• logic::command::ContainsDynamic
• logic::command::Get
• logic::command::GetDynamic
• logic::command::GetOrUse
• logic::command::GetOrUseDynamic
• logic::command::Position
• logic::command::RandChaCha
• logic::command::Remove
• logic::command::Set
• logic::instruction::AbsOperation
• logic::instruction::AbsWrappedOperation
• logic::instruction::AddOperation
• logic::instruction::AddWrappedOperation
• logic::instruction::AndOperation
• logic::instruction::AssertInstruction
• logic::instruction::Async
• logic::instruction::Call
• logic::instruction::CallDynamic
• logic::instruction::CastOperation
• logic::instruction::CommitInstruction
• logic::instruction::DeserializeInstruction
• logic::instruction::DivOperation
• logic::instruction::DivWrappedOperation
• logic::instruction::DoubleOperation
• logic::instruction::ECDSAVerify
• logic::instruction::GetRecordDynamic
• logic::instruction::GreaterThanOperation
• logic::instruction::GreaterThanOrEqualOperation
• logic::instruction::HashInstruction
• logic::instruction::InvOperation
• logic::instruction::IsInstruction
• logic::instruction::LessThanOperation
• logic::instruction::LessThanOrEqualOperation
• logic::instruction::Literals
• logic::instruction::ModuloOperation
• logic::instruction::MulOperation
• logic::instruction::MulWrappedOperation
• logic::instruction::NandOperation
• logic::instruction::NegOperation
• logic::instruction::NorOperation
• logic::instruction::NotOperation
• logic::instruction::OrOperation
• logic::instruction::PowOperation
• logic::instruction::PowWrappedOperation
• logic::instruction::RemOperation
• logic::instruction::RemWrappedOperation
• logic::instruction::SerializeInstruction
• logic::instruction::ShlOperation
• logic::instruction::ShlWrappedOperation
• logic::instruction::ShrOperation
• logic::instruction::ShrWrappedOperation
• logic::instruction::SignatureVerification
• logic::instruction::SnarkVerification
• logic::instruction::SquareOperation
• logic::instruction::SquareRootOperation
• logic::instruction::SubOperation
• logic::instruction::SubWrappedOperation
• logic::instruction::TernaryOperation
• logic::instruction::XorOperation

Enums

• logic::FinalizeOperation
• logic::command::Command
• logic::instruction::CallOperator
• logic::instruction::CastType
• logic::instruction::CommitVariant
• logic::instruction::DeserializeVariant
• logic::instruction::ECDSAVerifyVariant
• logic::instruction::HashVariant
• logic::instruction::Instruction
• logic::instruction::Opcode
• logic::instruction::Operand
• logic::instruction::SerializeVariant
• logic::instruction::SnarkVerifyVariant

Traits

• FinalizeRegistersState
• FinalizeStoreTrait
• RegistersCircuit
• RegistersSigner
• RegistersTrait
• StackTrait
• logic::instruction::Operation

Macros

• evaluate
• execute
• instruction
• operation
• output_type

Functions

• logic::instruction::evaluate_commit
• logic::instruction::evaluate_deserialize
• logic::instruction::evaluate_ecdsa_verification
• logic::instruction::evaluate_hash
• logic::instruction::evaluate_schnorr_verification
• logic::instruction::evaluate_serialize
• logic::instruction::evaluate_varuna_proof
• register_types_equivalent
• types_equivalent

Type Aliases

• Closure
• Constructor
• Finalize
• Function
• Program
• logic::command::BranchEq
• logic::command::BranchNeq
• logic::instruction::Abs
• logic::instruction::AbsWrapped
• logic::instruction::Add
• logic::instruction::AddWrapped
• logic::instruction::And
• logic::instruction::AssertEq
• logic::instruction::AssertNeq
• logic::instruction::BinaryLiteral
• logic::instruction::Cast
• logic::instruction::CastLossy
• logic::instruction::CommitBHP1024
• logic::instruction::CommitBHP256
• logic::instruction::CommitBHP512
• logic::instruction::CommitBHP768
• logic::instruction::CommitPED128
• logic::instruction::CommitPED64
• logic::instruction::DeserializeBits
• logic::instruction::DeserializeBitsRaw
• logic::instruction::Div
• logic::instruction::DivWrapped
• logic::instruction::Double
• logic::instruction::ECDSAVerifyDigest
• logic::instruction::ECDSAVerifyDigestEth
• logic::instruction::ECDSAVerifyKeccak256
• logic::instruction::ECDSAVerifyKeccak256Eth
• logic::instruction::ECDSAVerifyKeccak256Raw
• logic::instruction::ECDSAVerifyKeccak384
• logic::instruction::ECDSAVerifyKeccak384Eth
• logic::instruction::ECDSAVerifyKeccak384Raw
• logic::instruction::ECDSAVerifyKeccak512
• logic::instruction::ECDSAVerifyKeccak512Eth
• logic::instruction::ECDSAVerifyKeccak512Raw
• logic::instruction::ECDSAVerifySha3_256
• logic::instruction::ECDSAVerifySha3_256Eth
• logic::instruction::ECDSAVerifySha3_256Raw
• logic::instruction::ECDSAVerifySha3_384
• logic::instruction::ECDSAVerifySha3_384Eth
• logic::instruction::ECDSAVerifySha3_384Raw
• logic::instruction::ECDSAVerifySha3_512
• logic::instruction::ECDSAVerifySha3_512Eth
• logic::instruction::ECDSAVerifySha3_512Raw
• logic::instruction::GreaterThan
• logic::instruction::GreaterThanOrEqual
• logic::instruction::HashBHP1024
• logic::instruction::HashBHP1024Raw
• logic::instruction::HashBHP256
• logic::instruction::HashBHP256Raw
• logic::instruction::HashBHP512
• logic::instruction::HashBHP512Raw
• logic::instruction::HashBHP768
• logic::instruction::HashBHP768Raw
• logic::instruction::HashKeccak256
• logic::instruction::HashKeccak256Native
• logic::instruction::HashKeccak256NativeRaw
• logic::instruction::HashKeccak256Raw
• logic::instruction::HashKeccak384
• logic::instruction::HashKeccak384Native
• logic::instruction::HashKeccak384NativeRaw
• logic::instruction::HashKeccak384Raw
• logic::instruction::HashKeccak512
• logic::instruction::HashKeccak512Native
• logic::instruction::HashKeccak512NativeRaw
• logic::instruction::HashKeccak512Raw
• logic::instruction::HashManyPSD2
• logic::instruction::HashManyPSD4
• logic::instruction::HashManyPSD8
• logic::instruction::HashPED128
• logic::instruction::HashPED128Raw
• logic::instruction::HashPED64
• logic::instruction::HashPED64Raw
• logic::instruction::HashPSD2
• logic::instruction::HashPSD2Raw
• logic::instruction::HashPSD4
• logic::instruction::HashPSD4Raw
• logic::instruction::HashPSD8
• logic::instruction::HashPSD8Raw
• logic::instruction::HashSha3_256
• logic::instruction::HashSha3_256Native
• logic::instruction::HashSha3_256NativeRaw
• logic::instruction::HashSha3_256Raw
• logic::instruction::HashSha3_384
• logic::instruction::HashSha3_384Native
• logic::instruction::HashSha3_384NativeRaw
• logic::instruction::HashSha3_384Raw
• logic::instruction::HashSha3_512
• logic::instruction::HashSha3_512Native
• logic::instruction::HashSha3_512NativeRaw
• logic::instruction::HashSha3_512Raw
• logic::instruction::Inv
• logic::instruction::IsEq
• logic::instruction::IsNeq
• logic::instruction::LessThan
• logic::instruction::LessThanOrEqual
• logic::instruction::Modulo
• logic::instruction::Mul
• logic::instruction::MulWrapped
• logic::instruction::Nand
• logic::instruction::Neg
• logic::instruction::Nor
• logic::instruction::Not
• logic::instruction::Or
• logic::instruction::Pow
• logic::instruction::PowWrapped
• logic::instruction::Rem
• logic::instruction::RemWrapped
• logic::instruction::SerializeBits
• logic::instruction::SerializeBitsRaw
• logic::instruction::Shl
• logic::instruction::ShlWrapped
• logic::instruction::Shr
• logic::instruction::ShrWrapped
• logic::instruction::SignVerify
• logic::instruction::SnarkVerify
• logic::instruction::SnarkVerifyBatch
• logic::instruction::Square
• logic::instruction::SquareRoot
• logic::instruction::Sub
• logic::instruction::SubWrapped
• logic::instruction::Ternary
• logic::instruction::TernaryLiteral
• logic::instruction::UnaryLiteral
• logic::instruction::Xor

Constants

• logic::command::MAX_ADDITIONAL_SEEDS
• logic::instruction::MAX_SNARK_VERIFY_CIRCUITS
• logic::instruction::MAX_SNARK_VERIFY_INSTANCES