Struct KzgProof

#[repr(C)]
pub struct KzgProof { /* private fields */ }

A trusted (valid) KZG proof.

Implementations

impl KZGProof

pub fn from_bytes(bytes: &[u8]) -> Result<KZGProof, Error>

pub fn to_bytes(&self) -> Bytes48

pub fn as_hex_string(&self) -> String

pub fn compute_kzg_proof( blob: &Blob, z_bytes: &Bytes32, kzg_settings: &KZGSettings, ) -> Result<(KZGProof, Bytes32), Error>

pub fn compute_blob_kzg_proof( blob: &Blob, commitment_bytes: &Bytes48, kzg_settings: &KZGSettings, ) -> Result<KZGProof, Error>

pub fn verify_kzg_proof( commitment_bytes: &Bytes48, z_bytes: &Bytes32, y_bytes: &Bytes32, proof_bytes: &Bytes48, kzg_settings: &KZGSettings, ) -> Result<bool, Error>

pub fn verify_blob_kzg_proof( blob: &Blob, commitment_bytes: &Bytes48, proof_bytes: &Bytes48, kzg_settings: &KZGSettings, ) -> Result<bool, Error>

pub fn verify_blob_kzg_proof_batch( blobs: &[Blob], commitments_bytes: &[Bytes48], proofs_bytes: &[Bytes48], kzg_settings: &KZGSettings, ) -> Result<bool, Error>

Methods from Deref<Target = [u8; 48]>

pub fn as_ascii(&self) -> Option<&[AsciiChar; N]>

🔬This is a nightly-only experimental API. (ascii_char #110998)

Converts this array of bytes into an array of ASCII characters, or returns None if any of the characters is non-ASCII.

Examples

#![feature(ascii_char)]

const HEX_DIGITS: [std::ascii::Char; 16] =
    *b"0123456789abcdef".as_ascii().unwrap();

assert_eq!(HEX_DIGITS[1].as_str(), "1");
assert_eq!(HEX_DIGITS[10].as_str(), "a");

pub unsafe fn as_ascii_unchecked(&self) -> &[AsciiChar; N]

🔬This is a nightly-only experimental API. (ascii_char #110998)

Converts this array of bytes into an array of ASCII characters, without checking whether they’re valid.

Safety

Every byte in the array must be in 0..=127, or else this is UB.

pub fn as_slice(&self) -> &[T]

Returns a slice containing the entire array. Equivalent to &s[..].

pub fn each_ref(&self) -> [&T; N]

Borrows each element and returns an array of references with the same size as self.

Example

let floats = [3.1, 2.7, -1.0];
let float_refs: [&f64; 3] = floats.each_ref();
assert_eq!(float_refs, [&3.1, &2.7, &-1.0]);

This method is particularly useful if combined with other methods, like map. This way, you can avoid moving the original array if its elements are not Copy.

let strings = ["Ferris".to_string(), "♥".to_string(), "Rust".to_string()];
let is_ascii = strings.each_ref().map(|s| s.is_ascii());
assert_eq!(is_ascii, [true, false, true]);

// We can still access the original array: it has not been moved.
assert_eq!(strings.len(), 3);

pub fn split_array_ref<const M: usize>(&self) -> (&[T; M], &[T])

🔬This is a nightly-only experimental API. (split_array #90091)

Divides one array reference into two at an index.

The first will contain all indices from [0, M) (excluding the index M itself) and the second will contain all indices from [M, N) (excluding the index N itself).

Panics

Panics if M > N.

Examples

#![feature(split_array)]

let v = [1, 2, 3, 4, 5, 6];

{
   let (left, right) = v.split_array_ref::<0>();
   assert_eq!(left, &[]);
   assert_eq!(right, &[1, 2, 3, 4, 5, 6]);
}

{
    let (left, right) = v.split_array_ref::<2>();
    assert_eq!(left, &[1, 2]);
    assert_eq!(right, &[3, 4, 5, 6]);
}

{
    let (left, right) = v.split_array_ref::<6>();
    assert_eq!(left, &[1, 2, 3, 4, 5, 6]);
    assert_eq!(right, &[]);
}

pub fn rsplit_array_ref<const M: usize>(&self) -> (&[T], &[T; M])

🔬This is a nightly-only experimental API. (split_array #90091)

Divides one array reference into two at an index from the end.

The first will contain all indices from [0, N - M) (excluding the index N - M itself) and the second will contain all indices from [N - M, N) (excluding the index N itself).

Panics

Panics if M > N.

Examples

#![feature(split_array)]

let v = [1, 2, 3, 4, 5, 6];

{
   let (left, right) = v.rsplit_array_ref::<0>();
   assert_eq!(left, &[1, 2, 3, 4, 5, 6]);
   assert_eq!(right, &[]);
}

{
    let (left, right) = v.rsplit_array_ref::<2>();
    assert_eq!(left, &[1, 2, 3, 4]);
    assert_eq!(right, &[5, 6]);
}

{
    let (left, right) = v.rsplit_array_ref::<6>();
    assert_eq!(left, &[]);
    assert_eq!(right, &[1, 2, 3, 4, 5, 6]);
}

Trait Implementations

impl Deref for KZGProof

type Target = [u8; 48]

The resulting type after dereferencing.

fn deref(&self) -> &<KZGProof as Deref>::Target

Dereferences the value.

impl From<[u8; 48]> for KZGProof

fn from(value: [u8; 48]) -> KZGProof

Converts to this type from the input type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes