Struct Ciphertext 

pub struct Ciphertext { /* private fields */ }

An opaque handle to a multi-block encrypted integer in the IR graph.

A Ciphertext represents an integer stored as a radix-2^message_size decomposition across multiple CiphertextBlocks (one block per digit). Its CiphertextSpec records the total integer bit-width (int_size) and the per-block layout; the number of blocks is int_size / message_size.

Use Builder::ciphertext_split to decompose it into individual radix digits for block-level operations, and Builder::ciphertext_join to reassemble.

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 Ciphertext

pub fn spec(&self) -> CiphertextSpec

Returns the specification describing the integer bit-width and per-block layout.

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

Creates a compatible value to be used in evaluation.

The val argument is the integer to be encoded. It is decomposed into blocks according to this ciphertext’s CiphertextSpec.

Trait Implementations

impl AsRef<Ciphertext> for Ciphertext

fn as_ref(&self) -> &Ciphertext

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

impl Clone for Ciphertext

fn clone(&self) -> Ciphertext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ciphertext

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

Formats the value using the given formatter.

impl PartialEq for Ciphertext

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

impl Eq for Ciphertext

impl StructuralPartialEq for Ciphertext