github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix issues

Browse source
This commit is contained in:
schaeff 2022-10-04 15:12:18 +02:00
parent 24f8b1ceb9
commit bcade1a76c
4 changed files with 15 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_bellperson/examples/10_cubes.rs
View file

@ -36,7 +36,7 @@ fn main() {
let prog = artifacts.prog().collect();
let circuit_primary = NovaComputation(Computation::without_witness(prog));
let circuit_primary = NovaComputation::try_from(Computation::without_witness(prog)).unwrap();
let circuit_secondary = TrivialTestCircuit::default();
type C1 = NovaComputation<PallasField>;

5
zokrates_field/src/lib.rs
View file

@ -7,7 +7,6 @@
#[cfg(feature = "bellman_extensions")]
use bellman_ce::pairing::{ff::ScalarEngine, Engine};
use nova_snark::traits::Group;
use num_bigint::BigUint;
use num_traits::{CheckedDiv, One, Zero};
use serde::{Deserialize, Serialize};
@ -17,11 +16,15 @@ use std::fmt::{Debug, Display};
use std::hash::Hash;
use std::ops::{Add, Div, Mul, Sub};
#[cfg(feature = "bellperson_extensions")]
use nova_snark::traits::Group;
pub trait Pow<RHS> {
type Output;
fn pow(self, _: RHS) -> Self::Output;
}
#[cfg(feature = "bellperson_extensions")]
pub trait Cycle {
type Other: Field + BellpersonFieldExtensions + Cycle<Other = Self>;
type Point: Group<Base = <<Self::Other as Cycle>::Point as Group>::Scalar>;

6
zokrates_field/src/pallas.rs
View file

@ -2,8 +2,12 @@ use ark_pallas::Fr as PallasBaseField;
#[cfg(feature = "bellperson_extensions")]
use pasta_curves::Fq;
use crate::{Cycle, G2Type, VestaField};
#[cfg(feature = "bellperson_extensions")]
use crate::{Cycle, VestaField};
use crate::G2Type;
#[cfg(feature = "bellperson_extensions")]
impl Cycle for FieldPrime {
type Other = VestaField;
type Point = pasta_curves::pallas::Point;

6
zokrates_field/src/vesta.rs
View file

@ -2,8 +2,12 @@ use ark_vesta::Fr as VestaBaseField;
#[cfg(feature = "bellperson_extensions")]
use pasta_curves::Fp;
use crate::{Cycle, G2Type, PallasField};
#[cfg(feature = "bellperson_extensions")]
use crate::{Cycle, PallasField};
use crate::G2Type;
#[cfg(feature = "bellperson_extensions")]
impl Cycle for FieldPrime {
type Other = PallasField;
type Point = pasta_curves::vesta::Point;