Struct AjtaiCommitment

pub struct AjtaiCommitment<const M: usize, const N: usize, const D: usize> { /* private fields */ }

Ajtai commitment scheme implementation with matrix-based operations

Implementations

impl<const M: usize, const N: usize, const D: usize> AjtaiCommitment<M, N, D>

pub fn new( params: AjtaiParameters, matrix_a: RqMatrix<M, N, D>, ) -> Result<Self, ParameterError>

Creates new commitment scheme with validated parameters

pub fn commit( &self, witness: RqVector<N, D>, ) -> Result<(RqVector<M, D>, Opening<N, D>), CommitError>

Generates commitment and opening information with bounds checking

pub fn verify( &self, commitment: &RqVector<M, D>, opening: &Opening<N, D>, ) -> Result<(), VerificationError>

Verifies commitment against opening information

pub fn matrix(&self) -> &RqMatrix<M, N, D>

Returns a reference to the internal matrix

pub fn witness_bound(&self) -> Zq

Returns the witness bound

Trait Implementations

impl<const M: usize, const N: usize, const D: usize> Debug for AjtaiCommitment<M, N, D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.