Skip to main content

Crate miden_core

Crate miden_core 

Source

Modules§

advice
chiplets
crypto
deferred
Content-addressed deferred computation for VM hints.
events
field
mast
MAST forest: a collection of procedures represented as Merkle trees.
operations
prettier
program
proof
serde
utils

Structs§

Felt
A Felt backed by Plonky3’s Goldilocks field element.
Word
A unit of data consisting of 4 field elements.

Constants§

EMPTY_WORD
Array of field elements representing word of ZEROs in the Miden base field.
FMP_ADDR
The address where the frame pointer is stored in memory.
FMP_INIT_VALUE
The initial value for the frame pointer, corresponding to the start address for procedure locals.
ONE
Field element representing ONE in the Miden base field.
WORD_SIZE
The number of field elements in a Miden word.
ZERO
Field element representing ZERO in the Miden base field.