Struct kimchi::circuits::gate::Circuit

pub struct Circuit<'a, F: PrimeField> {
    pub public_input_size: usize,
    pub gates: &'a [CircuitGate<F>],
}

A circuit is specified as a public input size and a list of CircuitGate.

Fields

public_input_size: usize

gates: &'a [CircuitGate<F>]

Implementations

impl<'a, F> Circuit<'a, F>where F: PrimeField,

pub fn new(public_input_size: usize, gates: &'a [CircuitGate<F>]) -> Self

impl<'a, F> Circuit<'a, F>where F: PrimeField,

pub fn generate_asm(&self) -> String

Trait Implementations

impl<'a, F: PrimeField> CryptoDigest for Circuit<'a, F>

const PREFIX: &'static [u8; 15] = b"kimchi-circuit0"

The domain separation string to use in the hash. This is to distinguish hashes for different use-cases. With this approach, a type is linked to a single usecase.

fn digest(&self) -> [u8; 32]

Returns the digest of self. Note: this is implemented as the SHA-256 of a prefix (“kimchi-circuit”), followed by the serialized gates. The gates are serialized using BCS.

impl<'a, F> From<&'a ConstraintSystem<F>> for Circuit<'a, F>where F: PrimeField,

fn from(cs: &'a ConstraintSystem<F>) -> Self

Converts to this type from the input type.

impl<'a, F: PrimeField> Serialize for Circuit<'a, F>where CircuitGate<F>: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.