Struct BinaryWhirDomain 

pub struct BinaryWhirDomain<F = Poly64, Ntt = LchNtt<F>> { /* private fields */ }

WHIR’s Reed–Solomon code over nested binary Cantor subspaces.

The alphabet is a type parameter, so a narrow trace is encoded at its own width.

A folded value wider than the alphabet is encoded as one column per coordinate.

Every butterfly therefore keeps its twiddle in the alphabet.

Implementations

impl<F, Ntt> BinaryWhirDomain<F, Ntt>

pub const fn new(ntt: Ntt) -> Self

Build the domain around an additive transform implementation.

Trait Implementations

impl<F: Clone, Ntt: Clone> Clone for BinaryWhirDomain<F, Ntt>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug, Ntt: Debug> Debug for BinaryWhirDomain<F, Ntt>

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

Formats the value using the given formatter.

impl<F, Ntt: Default> Default for BinaryWhirDomain<F, Ntt>

fn default() -> Self

Returns the “default value” for a type.

impl<Ntt> Encoder<BinaryField32> for BinaryWhirDomain<BinaryField32, Ntt>

where AdditiveRsEncoder<BinaryField32, Ntt>: Encoder<BinaryField32>,

fn encode_batch( &self, message: RowMajorMatrix<BinaryField32>, log_inv_rate: usize, ) -> RowMajorMatrix<BinaryField32>

Encodes each column of message into a codeword.

fn encode_batch_padded( &self, message: RowMajorMatrix<BinaryField32>, log_inv_rate: usize, ) -> RowMajorMatrix<BinaryField32>

Encodes a coefficient matrix already padded to its final height.

impl<Ntt> Encoder<BinaryField128> for BinaryWhirDomain<BinaryField128, Ntt>

where AdditiveRsEncoder<BinaryField128, Ntt>: Encoder<BinaryField128>,

fn encode_batch( &self, message: RowMajorMatrix<BinaryField128>, log_inv_rate: usize, ) -> RowMajorMatrix<BinaryField128>

Encodes each column of message into a codeword.

fn encode_batch_padded( &self, message: RowMajorMatrix<BinaryField128>, log_inv_rate: usize, ) -> RowMajorMatrix<BinaryField128>

Encodes a coefficient matrix already padded to its final height.

impl<Ntt> Encoder<Poly64> for BinaryWhirDomain<Poly64, Ntt>

where AdditiveRsEncoder<Poly64, Ntt>: Encoder<Poly64>,

fn encode_batch( &self, message: RowMajorMatrix<Poly64>, log_inv_rate: usize, ) -> RowMajorMatrix<Poly64>

Encodes each column of message into a codeword.

fn encode_batch_padded( &self, message: RowMajorMatrix<Poly64>, log_inv_rate: usize, ) -> RowMajorMatrix<Poly64>

Encodes a coefficient matrix already padded to its final height.

impl<EF, Ntt> WhirDomain<BinaryField32, EF> for BinaryWhirDomain<BinaryField32, Ntt>

where EF: ExtensionField<BinaryField32>, Ntt: Sync, AdditiveRsEncoder<BinaryField32, Ntt>: Encoder<BinaryField32>,

fn protocol_id(&self) -> &'static [u8]

Stable identifier bound into the Fiat–Shamir instance label.

fn supports_security_assumption(&self, assumption: SecurityAssumption) -> bool

Whether the domain supports the requested Reed–Solomon soundness regime.

fn stratified_queries(&self) -> bool

Whether queries use the canonical power-of-two stratified schedule.

fn max_log_domain_size(&self) -> usize

Largest supported base-two logarithm of a domain size.

fn encode_extension_batch_padded( &self, message: RowMajorMatrix<EF>, log_inv_rate: usize, ) -> RowMajorMatrix<EF>

Encodes an already-padded extension-field coefficient matrix.

fn query_point( &self, log_domain_size: usize, num_variables: usize, index: usize, ) -> WhirQueryPoint<BinaryField32>

Returns selector coordinates for a queried codeword position.

impl<EF, Ntt> WhirDomain<BinaryField128, EF> for BinaryWhirDomain<BinaryField128, Ntt>

where EF: ExtensionField<BinaryField128>, Ntt: Sync, AdditiveRsEncoder<BinaryField128, Ntt>: Encoder<BinaryField128>,

fn protocol_id(&self) -> &'static [u8]

Stable identifier bound into the Fiat–Shamir instance label.

fn supports_security_assumption(&self, assumption: SecurityAssumption) -> bool

Whether the domain supports the requested Reed–Solomon soundness regime.

fn stratified_queries(&self) -> bool

Whether queries use the canonical power-of-two stratified schedule.

fn max_log_domain_size(&self) -> usize

Largest supported base-two logarithm of a domain size.

fn encode_extension_batch_padded( &self, message: RowMajorMatrix<EF>, log_inv_rate: usize, ) -> RowMajorMatrix<EF>

Encodes an already-padded extension-field coefficient matrix.

fn query_point( &self, log_domain_size: usize, num_variables: usize, index: usize, ) -> WhirQueryPoint<BinaryField128>

Returns selector coordinates for a queried codeword position.

impl<EF, Ntt> WhirDomain<Poly64, EF> for BinaryWhirDomain<Poly64, Ntt>

where EF: ExtensionField<Poly64>, Ntt: Sync, AdditiveRsEncoder<Poly64, Ntt>: Encoder<Poly64>,

fn protocol_id(&self) -> &'static [u8]

Stable identifier bound into the Fiat–Shamir instance label.

fn supports_security_assumption(&self, assumption: SecurityAssumption) -> bool

Whether the domain supports the requested Reed–Solomon soundness regime.

fn stratified_queries(&self) -> bool

Whether queries use the canonical power-of-two stratified schedule.

fn max_log_domain_size(&self) -> usize

Largest supported base-two logarithm of a domain size.

fn encode_extension_batch_padded( &self, message: RowMajorMatrix<EF>, log_inv_rate: usize, ) -> RowMajorMatrix<EF>

Encodes an already-padded extension-field coefficient matrix.

fn query_point( &self, log_domain_size: usize, num_variables: usize, index: usize, ) -> WhirQueryPoint<Poly64>

Returns selector coordinates for a queried codeword position.