[−][src]Trait zkp_stark::Provable

pub trait Provable<T>: Verifiable {
    fn trace(&self, witness: T) -> TraceTable;

    fn prove(&self, witness: T) -> Result<Proof, ProverError> { ... }
}

Required methods

`fn trace(&self, witness: T) -> TraceTable`

Loading content...

Provided methods

`fn prove(&self, witness: T) -> Result<Proof, ProverError>`

Loading content...

Implementors

Loading content...