pub struct CodeGen<'a> { /* private fields */ }Expand description
The main struct to handle code generation using the sigma-proofs API.
Implementations§
Source§impl<'a> CodeGen<'a>
impl<'a> CodeGen<'a>
pub fn new( proto_name: Ident, group_name: Ident, vars: &'a VarDict, statements: &'a mut StatementTree, ) -> Self
Sourcepub fn generate(
&mut self,
emit_prover: bool,
emit_verifier: bool,
) -> TokenStream
pub fn generate( &mut self, emit_prover: bool, emit_verifier: bool, ) -> TokenStream
Generate the code that uses the sigma-proofs API to prove and
verify the statements in the CodeGen.
emit_prover and emit_verifier are as in
sigma_compiler_core.
Auto Trait Implementations§
impl<'a> Freeze for CodeGen<'a>
impl<'a> RefUnwindSafe for CodeGen<'a>
impl<'a> !Send for CodeGen<'a>
impl<'a> !Sync for CodeGen<'a>
impl<'a> Unpin for CodeGen<'a>
impl<'a> !UnwindSafe for CodeGen<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more