nova-snark 0.69.0

High-speed recursive arguments from folding schemes
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Self-contained sub-circuit implementations for various primitives.

use super::SynthesisError;

pub mod multieq;
pub mod uint32;

pub mod boolean;
pub mod num;
pub mod poseidon;
pub mod sha256;

/// A trait for representing an assignment to a variable.
pub trait Assignment<T> {
  /// Get the value of the assigned variable.
  fn get(&self) -> Result<&T, SynthesisError>;
}

impl<T> Assignment<T> for Option<T> {
  fn get(&self) -> Result<&T, SynthesisError> {
    self.as_ref().ok_or(SynthesisError::AssignmentMissing)
  }
}