Crate kona_proof

kona-proof

kona-proof is an OP Stack state transition proof SDK.

Re-exports

pub use boot::BootInfo;

Modules

boot

This module contains the prologue phase of the client program, pulling in the boot information through the PreimageOracle ABI as local keys.

errors

Error types for the proof program.

executor

An executor constructor.

l1

Contains the L1 constructs of the proof, backed by the preimage oracle ABI as a data source.

l2

Contains the L2-specific constructs of the client program.

sync

Sync Start

Structs

CachingOracle

A wrapper around an OracleReader and HintWriter that stores a configurable number of responses in an LruCache for quick retrieval.

Hint

A Hint is parsed in the format <hint_type> <hint_data>, where <hint_type> is a string that represents the type of hint, and <hint_data> is the data associated with the hint (bytes encoded as hex UTF-8).

Enums

HintType

The HintType enum is used to specify the type of hint that was received.

Traits

FlushableCache

A trait that provides a method to flush a cache.

Functions

block_on

This function busy waits on a future until it is ready. It uses a no-op waker to poll the future in a thread-blocking loop.

eip_2935_history_lookup

Performs a historical block hash lookup using the EIP-2935 contract. If the block number is out of bounds of the history lookup window size, the oldest block hash within the window is returned.