Re-exports§
pub use mask::*;
Modules§
- account 🔒
- address 🔒
- base 🔒
- cache 🔒
- database 🔒
- dummy
- generators
- hash 🔒
- mask
- ondisk
- Database
- port_
ocaml 🔒 - proofs
- raw
- scan_
state - sparse_
ledger - staged_
ledger - transaction_
pool - tree 🔒
- tree_
version 🔒 - util 🔒
- verifier
- zkapps
Macros§
- elog 🔒
- Print logs on stderr with the prefix
[ledger]
Structs§
- Account
- Account
Id - Account
IdOrderable - An
AccountIdimplementingOrd&PartialOrd, reproducing OCaml ordering. - Account
Index - Account
Legacy - Auth
Required Encoded - Database
- Hashes
Matrix - Mutable
Fp - Alternative to
Rc<Cell<Option<Fp>>>that isSend - Permissions
- Permissions
Legacy - Perms
Const - Receipt
Chain Hash - SetVerification
Key - Snapp
Account - Timing
AsRecord - Timing
AsRecord Checked - TokenId
- Token
IdLegacy - Token
Symbol - V1
- V2
- Verification
Key - Verification
KeyWire - Voting
For - ZkApp
Account - ZkApp
Uri
Enums§
- Auth
OrVersion - Auth
Required - Control
Tag - Database
Error - Direction
- GetOr
Created - Merkle
Path - MyCow
- MyCow
Mut - Permission
To - Proof
Verified - Timing
- A timed account is an account, which releases its balance to be spent gradually. The process of releasing frozen funds is defined as follows. Until the cliff_time global slot is reached, the initial_minimum_balance of mina is frozen and cannot be spent. At the cliff slot, cliff_amount is released and initial_minimum_balance is effectively lowered by that amount. Next, every vesting_period number of slots, vesting_increment is released, further decreasing the current minimum balance. At some point minimum balance drops to 0, and after that the account behaves like an untimed one. *)
- Token
Permissions
Constants§
- TXN_
VERSION_ CURRENT - Mina_numbers.Txn_version.current
Statics§
Traits§
Functions§
- account_
empty_ legacy_ hash - array_
into - array_
into_ with - check_
permission - checked_
equal_ compressed_ key - checked_
equal_ compressed_ key_ const_ and - checked_
verify_ merkle_ path implied_rootin OCaml- compressed_
pubkey_ from_ address_ maybe_ with_ error - decompress_
pk - Not sure if it’s correct I used the same code as there: https://github.com/o1-labs/proof-systems/blob/226de4aeb11b8814327ab832e4fccdce5585f473/signer/src/pubkey.rs#L95-L106
- default_
zkapp_ hash - drop
- eval_
no_ proof - gen_
compressed - gen_
keypair - get_
legacy_ hash_ of - next_
uuid - pid
- short_
backtrace - Make a backtrace without OCaml dependencies Those are very noisy and are not meaningful for our case Only Rust and Mina codebase symbols should remain.
- split_
at - split_
at_ vec - take
- take_at
- try_
array_ into_ with - Note: Refactor when
core::array::try_mapis stable https://github.com/rust-lang/rust/issues/79711