Expand description
CSV Core — Client-Side Validation for Cross-Chain Rights
This crate provides the foundational types and traits for the CSV protocol:
Right— A verifiable, single-use digital right that can be transferred cross-chainHash— A 32-byte cryptographic hash (SHA-256 based)Commitment— A binding between a right’s state and its anchor on a blockchainSealRef/AnchorRef— References to consumed seals and published anchorsInclusionProof/FinalityProof/ProofBundle— Cryptographic proofs that a right was locked on the source chainAnchorLayer— The core trait each blockchain adapter implementsSignatureScheme— Supported signing algorithms (secp256k1, ed25519)
§Stability
The types re-exported from this module are considered stable API. They will not change without a semver-major version bump. Internal modules (state machine, VM, MPC) may evolve as the protocol matures.
Re-exports§
pub use commitment::Commitment;pub use hardening::BoundedQueue;pub use hardening::CircuitBreaker;pub use hardening::CircuitState;pub use hardening::MemoryLimits;pub use hardening::TimeoutConfig;pub use hardening::DEFAULT_CIRCUIT_MAX_FAILURES;pub use hardening::DEFAULT_CIRCUIT_RESET_TIMEOUT;pub use hardening::DEFAULT_HEALTH_CHECK_TIMEOUT;pub use hardening::DEFAULT_RPC_TIMEOUT;pub use hardening::MAX_CACHE_SIZE;pub use hardening::MAX_REGISTRY_SIZE;pub use hardening::MAX_SEAL_REGISTRY_SIZE;pub use hash::Hash;pub use right::OwnershipProof;pub use right::Right;pub use right::RightError;pub use right::RightId;pub use seal::AnchorRef;pub use seal::SealRef;pub use consignment::CONSIGNMENT_VERSION;pub use consignment::Anchor as ConsignmentAnchor;pub use consignment::Consignment;pub use consignment::ConsignmentError;pub use consignment::SealAssignment;pub use genesis::Genesis;pub use schema::SCHEMA_VERSION;pub use schema::GlobalStateType;pub use schema::OwnedStateType;pub use schema::Schema;pub use schema::SchemaError;pub use schema::StateDataType;pub use schema::TransitionDef;pub use schema::TransitionValidationError;pub use state::GlobalState;pub use state::Metadata;pub use state::OwnedState;pub use state::StateAssignment;pub use state::StateRef;pub use state::StateTypeId;pub use transition::Transition;pub use mpc::MerkleBranchNode;pub use mpc::MpcLeaf;pub use mpc::MpcProof;pub use mpc::MpcTree;pub use mpc::ProtocolId;pub use vm::execute_transition;pub use vm::DeterministicVM;pub use vm::PassthroughVM;pub use vm::VMError;pub use vm::VMInputs;pub use vm::VMOutputs;pub use dag::DAGNode;pub use dag::DAGSegment;pub use proof::FinalityProof;pub use proof::InclusionProof;pub use proof::ProofBundle;pub use proof_verify::verify_proof;pub use signature::parse_signatures_from_bytes;pub use signature::verify_signatures;pub use signature::Signature;pub use signature::SignatureScheme;pub use error::AdapterError;pub use error::Result;pub use traits::AnchorLayer;pub use monitor::PendingPublication;pub use monitor::PublicationTracker;pub use monitor::ReorgEvent;pub use monitor::ReorgMonitor;pub use store::AnchorRecord;pub use store::InMemorySealStore;pub use store::SealRecord;pub use store::SealStore;pub use store::StoreError;
Modules§
- client
- Client-Side Validation Engine
- commitment
- Commitment type with canonical encoding (MPC-aware, multi-protocol)
- commitment_
chain - Commitment Chain Verification
- consignment
- Consignment: the wire format for CSV contract state transfer
- cross_
chain - Cross-Chain Right Transfer
- dag
- State transition DAG types
- error
- Error types for CSV adapters
- genesis
- Genesis: the initial state of a CSV contract
- hardening
- Production hardening utilities for core module
- hash
- A 32-byte cryptographic hash used throughout the CSV protocol.
- monitor
- Reorg monitoring and censorship detection
- mpc
- MPC (Multi-Protocol Commitment) Tree
- proof
- Proof bundle types for off-chain verification
- proof_
verify - Proof verification pipeline
- rgb_
compat - RGB protocol compatibility layer
- right
- The Universal Seal Primitive — Canonical Right Type
- schema
- Schema: contract logic definition and transition rules
- seal
- Seal and Anchor reference types
- seal_
registry - Cross-Chain Seal Registry
- signature
- Signature verification trait and implementations
- state
- Typed state enums for CSV contracts
- state_
store - State History Store
- store
- Persistent seal and anchor storage
- tagged_
hash - Tagged hash with domain separation
- tapret_
verify - RGB Tapret commitment verification
- traits
- Core AnchorLayer trait
- transition
- Transition: typed state changes in a CSV contract
- validator
- Consignment Validation Pipeline
- vm
- Deterministic VM trait for CSV contract execution