pub struct DefaultProofBackend;Expand description
Default proof backend using BLAKE3 (no ZK, just hashes).
Trait Implementations§
Source§impl Clone for DefaultProofBackend
impl Clone for DefaultProofBackend
Source§fn clone(&self) -> DefaultProofBackend
fn clone(&self) -> DefaultProofBackend
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for DefaultProofBackend
Source§impl Debug for DefaultProofBackend
impl Debug for DefaultProofBackend
Source§impl ProofBackend for DefaultProofBackend
impl ProofBackend for DefaultProofBackend
Source§fn generate_range_proof(
&self,
value: u64,
min: u64,
max: u64,
) -> Result<Vec<u8>>
fn generate_range_proof( &self, value: u64, min: u64, max: u64, ) -> Result<Vec<u8>>
Generate a range proof for a value.
Source§fn verify_range_proof(&self, proof: &[u8], min: u64, max: u64) -> Result<bool>
fn verify_range_proof(&self, proof: &[u8], min: u64, max: u64) -> Result<bool>
Verify a range proof.
Source§fn merkle_root(&self, leaves: &[Vec<u8>]) -> Result<[u8; 32]>
fn merkle_root(&self, leaves: &[Vec<u8>]) -> Result<[u8; 32]>
Compute Merkle root from leaves.
Source§fn generate_merkle_proof(
&self,
leaves: &[Vec<u8>],
index: usize,
) -> Result<MerkleProof>
fn generate_merkle_proof( &self, leaves: &[Vec<u8>], index: usize, ) -> Result<MerkleProof>
Generate Merkle inclusion proof.
Source§fn verify_merkle_proof(
&self,
proof: &MerkleProof,
root: &[u8; 32],
leaf: &[u8],
) -> Result<bool>
fn verify_merkle_proof( &self, proof: &MerkleProof, root: &[u8; 32], leaf: &[u8], ) -> Result<bool>
Verify Merkle inclusion proof.
Auto Trait Implementations§
impl Freeze for DefaultProofBackend
impl RefUnwindSafe for DefaultProofBackend
impl Send for DefaultProofBackend
impl Sync for DefaultProofBackend
impl Unpin for DefaultProofBackend
impl UnsafeUnpin for DefaultProofBackend
impl UnwindSafe for DefaultProofBackend
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more