Struct CiphertextBlock 

pub struct CiphertextBlock { /* private fields */ }

An opaque handle to a single encrypted block (radix digit) in the IR graph.

A ciphertext block represents one digit in the radix-decomposition of an encrypted integer. Its bit layout contains message_size message bits (the digit value), carry_size carry bits (to absorb arithmetic overflow), and one padding bit. See the module-level documentation for the full layout diagram.

Blocks are produced by Builder::ciphertext_split or by block-level arithmetic methods, and can be recombined into a full Ciphertext via Builder::ciphertext_join.

This type cannot be constructed directly — it is always returned by Builder methods. Use make_value to create a test IopValue for Builder::eval.

Implementations

impl CiphertextBlock

pub fn spec(&self) -> CiphertextBlockSpec

Returns the block specification describing the message/carry bit layout.

pub fn make_value(&self, val: EmulatedCiphertextBlockStorage) -> IopValue

Creates a compatible value to be used in evaluation.

The val argument is the complete block representation including both carry and message bits. It is interpreted according to this block’s CiphertextBlockSpec.

Panics

Panics if val overflows the complete bit width (padding + carry + message).

Trait Implementations

impl AsRef<CiphertextBlock> for CiphertextBlock

fn as_ref(&self) -> &CiphertextBlock

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for CiphertextBlock

fn clone(&self) -> CiphertextBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CiphertextBlock

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

Formats the value using the given formatter.

impl PartialEq for CiphertextBlock

fn eq(&self, other: &CiphertextBlock) -> 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 Copy for CiphertextBlock

impl Eq for CiphertextBlock

impl StructuralPartialEq for CiphertextBlock