86ba4b708c
* add firefox testing. wip * fix config * use crates bellman * install curl * move wasm install test install script to sh * make sh executable * remove firefox as its suppose to be there already * confirm install.. * seems like firefox isnt there after all * firefox-esr * use fixed bellman * revert backend api change, only touch env outside wasm * fix typo in cfg flag
40 lines
1.2 KiB
Rust
40 lines
1.2 KiB
Rust
wasm_bindgen_test_configure!(run_in_browser);
|
|
|
|
extern crate wasm_bindgen_test;
|
|
extern crate zokrates_core;
|
|
extern crate zokrates_field;
|
|
use wasm_bindgen_test::*;
|
|
use zokrates_core::flat_absy::FlatVariable;
|
|
use zokrates_core::ir::{Function, Prog, Statement};
|
|
use zokrates_core::proof_system::ProofSystem;
|
|
use zokrates_core::typed_absy::{Signature, Type};
|
|
use zokrates_field::field::FieldPrime;
|
|
|
|
use zokrates_core::proof_system::G16;
|
|
|
|
#[wasm_bindgen_test]
|
|
fn generate_proof() {
|
|
let program: Prog<FieldPrime> = Prog {
|
|
main: Function {
|
|
id: String::from("main"),
|
|
arguments: vec![FlatVariable::new(0)],
|
|
returns: vec![FlatVariable::public(0)],
|
|
statements: vec![Statement::Constraint(
|
|
FlatVariable::new(0).into(),
|
|
FlatVariable::public(0).into(),
|
|
)],
|
|
},
|
|
private: vec![false],
|
|
signature: Signature::new()
|
|
.inputs(vec![Type::FieldElement])
|
|
.outputs(vec![Type::FieldElement]),
|
|
};
|
|
|
|
let witness = program
|
|
.clone()
|
|
.execute(&vec![FieldPrime::from(42)])
|
|
.unwrap();
|
|
|
|
let keys = G16::new().setup(program.clone());
|
|
let _proof = G16::new().generate_proof(program, witness, keys.pk);
|
|
}
|