Struct AjtaiScheme

pub struct AjtaiScheme { /* private fields */ }

Ajtai commitment scheme implementation with matrix-based operations

Implementations

impl AjtaiScheme

pub fn new( norm_bound: Zq, random_matrix: RqMatrix, ) -> Result<Self, ParameterError>

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

Generates commitment and opening information with bounds checking

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

Verifies commitment against opening information

pub fn matrix(&self) -> &RqMatrix

Returns a reference to the internal matrix

pub fn norm_bound(&self) -> Zq

Returns the norm bound

pub fn get_row_size(&self) -> usize

Trait Implementations

impl Debug for AjtaiScheme

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

Formats the value using the given formatter.