Trait CircuitPublicWitness 

pub trait CircuitPublicWitness {
    // Required method
    fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool);
}

Represents the public witness portion of a circuit.

This trait should not be implemented manually. Instead, use the #[circuit] macro to automatically generate the implementation. It handles serialization of public inputs for the circuit.

Required Methods

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

Implementations on Foreign Types

impl CircuitPublicWitness for bool

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for i8

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for i16

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for i32

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for i64

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for i128

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for u8

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for u16

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for u32

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for u64

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

impl CircuitPublicWitness for u128

fn append_public_witness(&self, witness: &mut Vec<BigInt>, is_private: bool)

Implementors