snarkvm_ledger_debug

Struct Ledger

Source 
pub struct Ledger<N: Network, C: ConsensusStorage<N>> { /* private fields */ }

Implementations§

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn prepare_advance_to_next_quorum_block( &self, subdag: Subdag<N>, transmissions: IndexMap<TransmissionID<N>, Transmission<N>>, ) -> Result<Block<N>>

Returns a candidate for the next block in the ledger, using a committed subdag and its transmissions.

Source

pub fn prepare_advance_to_next_beacon_block<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, candidate_ratifications: Vec<Ratify<N>>, candidate_solutions: Vec<ProverSolution<N>>, candidate_transactions: Vec<Transaction<N>>, rng: &mut R, ) -> Result<Block<N>>

Returns a candidate for the next block in the ledger.

Source

pub fn advance_to_next_block(&self, block: &Block<N>) -> Result<()>

Adds the given block as the next block in the ledger.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn check_next_block<R: CryptoRng + Rng>( &self, block: &Block<N>, rng: &mut R, ) -> Result<()>

Checks the given block is valid next block.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn check_transaction_basic<R: CryptoRng + Rng>( &self, transaction: &Transaction<N>, rejected_id: Option<Field<N>>, rng: &mut R, ) -> Result<()>

Checks the given transaction is well-formed and unique.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn contains_state_root(&self, state_root: &N::StateRoot) -> Result<bool>

Returns true if the given state root exists.

Source

pub fn contains_block_height(&self, height: u32) -> Result<bool>

Returns true if the given block height exists.

Source

pub fn contains_block_hash(&self, block_hash: &N::BlockHash) -> Result<bool>

Returns true if the given block hash exists.

Source

pub fn contains_certificate(&self, certificate_id: &Field<N>) -> Result<bool>

Returns true if the given batch certificate ID exists.

Source

pub fn contains_program_id(&self, program_id: &ProgramID<N>) -> Result<bool>

Returns true if the given program ID exists.

Source

pub fn contains_transmission( &self, transmission_id: &TransmissionID<N>, ) -> Result<bool>

Returns true if the transmission exists in the ledger.

Source

pub fn contains_puzzle_commitment( &self, puzzle_commitment: &PuzzleCommitment<N>, ) -> Result<bool>

Returns true if the given puzzle commitment exists.

Source

pub fn contains_transaction_id( &self, transaction_id: &N::TransactionID, ) -> Result<bool>

Returns true if the given transaction ID exists.

Source

pub fn contains_transition_id( &self, transition_id: &N::TransitionID, ) -> Result<bool>

Returns true if the given transition ID exists.

Source

pub fn contains_input_id(&self, input_id: &Field<N>) -> Result<bool>

Returns true if the given input ID exists.

Source

pub fn contains_serial_number(&self, serial_number: &Field<N>) -> Result<bool>

Returns true if the given serial number exists.

Source

pub fn contains_tag(&self, tag: &Field<N>) -> Result<bool>

Returns true if the given tag exists.

Source

pub fn contains_output_id(&self, output_id: &Field<N>) -> Result<bool>

Returns true if the given output ID exists.

Source

pub fn contains_commitment(&self, commitment: &Field<N>) -> Result<bool>

Returns true if the given commitment exists.

Source

pub fn contains_checksum(&self, checksum: &Field<N>) -> bool

Returns true if the given checksum exists.

Source

pub fn contains_nonce(&self, nonce: &Group<N>) -> Result<bool>

Returns true if the given nonce exists.

Source

pub fn contains_tpk(&self, tpk: &Group<N>) -> Result<bool>

Returns true if the given transition public key exists.

Source

pub fn contains_tcm(&self, tcm: &Field<N>) -> Result<bool>

Returns true if the given transition commitment exists.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn find_block_height_from_state_root( &self, state_root: N::StateRoot, ) -> Result<Option<u32>>

Returns the block height that contains the given state root.

Source

pub fn find_block_hash( &self, transaction_id: &N::TransactionID, ) -> Result<Option<N::BlockHash>>

Returns the block hash that contains the given transaction ID.

Source

pub fn find_block_height_from_puzzle_commitment( &self, puzzle_commitment: &PuzzleCommitment<N>, ) -> Result<Option<u32>>

Returns the block height that contains the given puzzle commitment.

Source

pub fn find_transaction_id_from_program_id( &self, program_id: &ProgramID<N>, ) -> Result<Option<N::TransactionID>>

Returns the transaction ID that contains the given program ID.

Source

pub fn find_transaction_id_from_transition_id( &self, transition_id: &N::TransitionID, ) -> Result<Option<N::TransactionID>>

Returns the transaction ID that contains the given transition ID.

Source

pub fn find_transition_id(&self, id: &Field<N>) -> Result<N::TransitionID>

Returns the transition ID that contains the given input ID or output ID.

Source

pub fn find_record_ciphertexts<'a>( &'a self, view_key: &'a ViewKey<N>, filter: RecordsFilter<N>, ) -> Result<impl '_ + Iterator<Item = (Field<N>, Cow<'_, Record<N, Ciphertext<N>>>)>>

Returns the record ciphertexts that belong to the given view key.

Source

pub fn find_records<'a>( &'a self, view_key: &'a ViewKey<N>, filter: RecordsFilter<N>, ) -> Result<impl '_ + Iterator<Item = (Field<N>, Record<N, Plaintext<N>>)>>

Returns the records that belong to the given view key.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn get_committee(&self, block_height: u32) -> Result<Option<Committee<N>>>

Returns the committee for the given block height.

Source

pub fn get_committee_for_round( &self, round: u64, ) -> Result<Option<Committee<N>>>

Returns the committee for the given round.

Source

pub fn get_state_root(&self, block_height: u32) -> Result<Option<N::StateRoot>>

Returns the state root that contains the given block height.

Source

pub fn get_state_path_for_commitment( &self, commitment: &Field<N>, ) -> Result<StatePath<N>>

Returns a state path for the given commitment.

Source

pub fn get_epoch_challenge( &self, block_height: u32, ) -> Result<EpochChallenge<N>>

Returns the epoch challenge for the given block height.

Source

pub fn get_block(&self, height: u32) -> Result<Block<N>>

Returns the block for the given block height.

Source

pub fn get_blocks(&self, heights: Range<u32>) -> Result<Vec<Block<N>>>

Returns the blocks in the given block range. The range is inclusive of the start and exclusive of the end.

Source

pub fn get_block_by_hash(&self, block_hash: &N::BlockHash) -> Result<Block<N>>

Returns the block for the given block hash.

Source

pub fn get_height(&self, block_hash: &N::BlockHash) -> Result<u32>

Returns the block height for the given block hash.

Source

pub fn get_hash(&self, height: u32) -> Result<N::BlockHash>

Returns the block hash for the given block height.

Source

pub fn get_previous_hash(&self, height: u32) -> Result<N::BlockHash>

Returns the previous block hash for the given block height.

Source

pub fn get_header(&self, height: u32) -> Result<Header<N>>

Returns the block header for the given block height.

Source

pub fn get_transactions(&self, height: u32) -> Result<Transactions<N>>

Returns the block transactions for the given block height.

Source

pub fn get_aborted_transaction_ids( &self, height: u32, ) -> Result<Vec<N::TransactionID>>

Returns the aborted transaction IDs for the given block height.

Source

pub fn get_transaction( &self, transaction_id: N::TransactionID, ) -> Result<Transaction<N>>

Returns the transaction for the given transaction ID.

Source

pub fn get_confirmed_transaction( &self, transaction_id: N::TransactionID, ) -> Result<ConfirmedTransaction<N>>

Returns the confirmed transaction for the given transaction ID.

Source

pub fn get_unconfirmed_transaction( &self, transaction_id: &N::TransactionID, ) -> Result<Transaction<N>>

Returns the unconfirmed transaction for the given transaction ID.

Source

pub fn get_program(&self, program_id: ProgramID<N>) -> Result<Program<N>>

Returns the program for the given program ID.

Source

pub fn get_solutions(&self, height: u32) -> Result<Option<CoinbaseSolution<N>>>

Returns the block solutions for the given block height.

Source

pub fn get_solution( &self, solution_id: &PuzzleCommitment<N>, ) -> Result<ProverSolution<N>>

Returns the solution for the given solution ID.

Source

pub fn get_authority(&self, height: u32) -> Result<Authority<N>>

Returns the block authority for the given block height.

Source

pub fn get_batch_certificate( &self, certificate_id: &Field<N>, ) -> Result<Option<BatchCertificate<N>>>

Returns the batch certificate for the given certificate ID.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn state_roots(&self) -> impl '_ + Iterator<Item = Cow<'_, N::StateRoot>>

Returns an iterator over the state roots, for all blocks in self.

Source

pub fn puzzle_commitments( &self, ) -> impl '_ + Iterator<Item = Cow<'_, PuzzleCommitment<N>>>

Returns an iterator over the puzzle commitments, for all blocks in self.

Source

pub fn program_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, ProgramID<N>>>

Returns an iterator over the program IDs, for all transactions in self.

Source

pub fn programs(&self) -> impl '_ + Iterator<Item = Cow<'_, Program<N>>>

Returns an iterator over the programs, for all transactions in self.

Source

pub fn transaction_ids( &self, ) -> impl '_ + Iterator<Item = Cow<'_, N::TransactionID>>

Returns an iterator over the transaction IDs, for all transactions in self.

Source

pub fn transition_ids( &self, ) -> impl '_ + Iterator<Item = Cow<'_, N::TransitionID>>

Returns an iterator over the transition IDs, for all transitions.

Source

pub fn input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the input IDs, for all transition inputs.

Source

pub fn serial_numbers(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the serial numbers, for all transition inputs that are records.

Source

pub fn tags(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the tags, for all transition inputs that are records.

Source

pub fn output_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the output IDs, for all transition outputs that are records.

Source

pub fn commitments(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the commitments, for all transition outputs that are records.

Source

pub fn nonces(&self) -> impl '_ + Iterator<Item = Cow<'_, Group<N>>>

Returns an iterator over the nonces, for all transition outputs that are records.

Source

pub fn records( &self, ) -> impl '_ + Iterator<Item = (Cow<'_, Field<N>>, Cow<'_, Record<N, Ciphertext<N>>>)>

Returns an iterator over the (commitment, record) pairs, for all transition outputs that are records.

Source

pub fn transition_public_keys( &self, ) -> impl '_ + Iterator<Item = Cow<'_, Group<N>>>

Returns an iterator over the transition public keys, for all transactions.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn load(genesis_block: Block<N>, dev: Option<u16>) -> Result<Self>

Loads the ledger from storage.

Source

pub fn load_unchecked(genesis_block: Block<N>, dev: Option<u16>) -> Result<Self>

Loads the ledger from storage, without performing integrity checks.

Source

pub const fn vm(&self) -> &VM<N, C>

Returns the VM.

Source

pub const fn coinbase_puzzle(&self) -> &CoinbasePuzzle<N>

Returns the coinbase puzzle.

Source

pub fn latest_committee(&self) -> Result<Committee<N>>

Returns the latest committee.

Source

pub fn latest_state_root(&self) -> N::StateRoot

Returns the latest state root.

Source

pub fn latest_epoch_number(&self) -> u32

Returns the latest epoch number.

Source

pub fn latest_epoch_challenge(&self) -> Result<EpochChallenge<N>>

Returns the latest epoch challenge.

Source

pub fn latest_block(&self) -> Block<N>

Returns the latest block.

Source

pub fn latest_round(&self) -> u64

Returns the latest round number.

Source

pub fn latest_height(&self) -> u32

Returns the latest block height.

Source

pub fn latest_hash(&self) -> N::BlockHash

Returns the latest block hash.

Source

pub fn latest_header(&self) -> Header<N>

Returns the latest block header.

Source

pub fn latest_cumulative_weight(&self) -> u128

Returns the latest block cumulative weight.

Source

pub fn latest_cumulative_proof_target(&self) -> u128

Returns the latest block cumulative proof target.

Source

pub fn latest_solutions_root(&self) -> Field<N>

Returns the latest block solutions root.

Source

pub fn latest_coinbase_target(&self) -> u64

Returns the latest block coinbase target.

Source

pub fn latest_proof_target(&self) -> u64

Returns the latest block proof target.

Source

pub fn last_coinbase_target(&self) -> u64

Returns the last coinbase target.

Source

pub fn last_coinbase_timestamp(&self) -> i64

Returns the last coinbase timestamp.

Source

pub fn latest_timestamp(&self) -> i64

Returns the latest block timestamp.

Source

pub fn latest_transactions(&self) -> Transactions<N>

Returns the latest block transactions.

Source§

impl<N: Network, C: ConsensusStorage<N>> Ledger<N, C>

Source

pub fn find_unspent_credits_records( &self, view_key: &ViewKey<N>, ) -> Result<RecordMap<N>>

Returns the unspent credits.aleo records.

Source

pub fn create_deploy<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, program: &Program<N>, priority_fee_in_microcredits: u64, query: Option<Query<N, C::BlockStorage>>, rng: &mut R, ) -> Result<Transaction<N>>

Creates a deploy transaction.

The priority_fee_in_microcredits is an additional fee on top of the deployment fee.

Source

pub fn create_transfer<R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, to: Address<N>, amount_in_microcredits: u64, priority_fee_in_microcredits: u64, query: Option<Query<N, C::BlockStorage>>, rng: &mut R, ) -> Result<Transaction<N>>

Creates a transfer transaction.

The priority_fee_in_microcredits is an additional fee on top of the execution fee.

Trait Implementations§

Source§

impl<N: Clone + Network, C: Clone + ConsensusStorage<N>> Clone for Ledger<N, C>

Source§

fn clone(&self) -> Ledger<N, C>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

Auto Trait Implementations§

§

impl<N, C> Freeze for Ledger<N, C>
where <N as Network>::BlockHash: Freeze, C: Freeze, <N as Network>::StateRoot: Freeze, <N as Environment>::Field: Freeze, <N as Environment>::Scalar: Freeze, <N as Environment>::Projective: Freeze,

§

impl<N, C> !RefUnwindSafe for Ledger<N, C>

§

impl<N, C> Send for Ledger<N, C>

§

impl<N, C> Sync for Ledger<N, C>

§

impl<N, C> Unpin for Ledger<N, C>
where <N as Network>::BlockHash: Unpin, C: Unpin, <N as Network>::StateRoot: Unpin, N: Unpin, <N as Environment>::Field: Unpin, <N as Environment>::Scalar: Unpin, <N as Network>::TransactionID: Unpin, <N as Environment>::Projective: Unpin, <N as Network>::RatificationID: Unpin, <<N as Environment>::PairingCurve as PairingEngine>::G1Affine: Unpin, <N as Network>::TransitionID: Unpin,

§

impl<N, C> !UnwindSafe for Ledger<N, C>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> ErasedDestructor for T
where T: 'static,