Struct OracleSpec 

pub struct OracleSpec {
    pub log_msg_len: usize,
    pub is_zk: bool,
}

Specification for an oracle to be committed in the IOP.

Fields

log_msg_len: usize

Log2 of the message length (number of field elements).

is_zk: bool

Whether the oracle is committed with zero-knowledge (hiding) masking.

ZK oracles interleave the message with a fresh mask and are folded by a shared masking challenge γ in the batched BaseFold opening; non-ZK oracles are committed without a mask.

Implementations

impl OracleSpec

pub const fn new(log_msg_len: usize) -> Self

A non-ZK (unmasked) oracle of the given message length.

pub const fn new_zk(log_msg_len: usize) -> Self

A ZK (masked, hiding) oracle of the given message length.

Trait Implementations

impl Clone for OracleSpec

fn clone(&self) -> OracleSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OracleSpec

impl Debug for OracleSpec

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

Formats the value using the given formatter.

impl Eq for OracleSpec

impl PartialEq for OracleSpec

fn eq(&self, other: &OracleSpec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OracleSpec