Browse Source

chore: expose Proof a/b/c

pull/3/head
Georgios Konstantopoulos 3 years ago
parent
commit
cf225249ae
2 changed files with 5 additions and 3 deletions
  1. +2
    -0
      src/circom/builder.rs
  2. +3
    -3
      src/ethereum.rs

+ 2
- 0
src/circom/builder.rs

@ -9,12 +9,14 @@ use std::collections::HashMap;
use crate::{circom::R1CSFile, witness::WitnessCalculator}; use crate::{circom::R1CSFile, witness::WitnessCalculator};
use color_eyre::Result; use color_eyre::Result;
#[derive(Clone, Debug)]
pub struct CircomBuilder<E: PairingEngine> { pub struct CircomBuilder<E: PairingEngine> {
pub cfg: CircomConfig<E>, pub cfg: CircomConfig<E>,
pub inputs: HashMap<String, Vec<BigInt>>, pub inputs: HashMap<String, Vec<BigInt>>,
} }
// Add utils for creating this from files / directly from bytes // Add utils for creating this from files / directly from bytes
#[derive(Clone, Debug)]
pub struct CircomConfig<E: PairingEngine> { pub struct CircomConfig<E: PairingEngine> {
pub r1cs: R1CS<E>, pub r1cs: R1CS<E>,
pub wtns: WitnessCalculator, pub wtns: WitnessCalculator,

+ 3
- 3
src/ethereum.rs

@ -86,9 +86,9 @@ impl From<&G2Affine> for G2 {
#[derive(Default, Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)] #[derive(Default, Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
pub struct Proof { pub struct Proof {
a: G1,
b: G2,
c: G1,
pub a: G1,
pub b: G2,
pub c: G1,
} }
impl Proof { impl Proof {

Loading…
Cancel
Save