github/zk-toolkit
1
1
Fork 0
mirror of https://github.com/exfinen/zk-toolkit.git synced 2026-01-10 04:28:02 -05:00
Code Issues Packages Projects Releases Wiki Activity

clean up

Browse Source
This commit is contained in:
gogoex
2023-10-29 07:32:05 +09:00
parent 362d415948
commit f70930b8de
1 changed files with 13 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs
View File

@@ -51,41 +51,25 @@ impl PinocchioProver {
println!("s = {:?}\n", s);
println!("witness {:?}\n", &r1cs.witness);
{
for (i, gate) in gates.iter().enumerate() {
println!("{}: {:?}", i+1 , gate);
}
println!("");
for (i, gate) in gates.iter().enumerate() {
println!("{}: {:?}", i+1 , gate);
}
println!("");
let num_witness: usize = (&r1cs.witness.size.e).try_into().unwrap();
let mut v = f.elem(&0u8);
{
for i in 0..num_witness {
let vi = &qap.vi[i].eval_at(s);
println!("vi[{:?}] = {:?}", i, vi);
v = &v + vi * &r1cs.witness[&f.elem(&i)];
}
println!("");
}
let mut w = f.elem(&0u8);
{
for i in 0..num_witness {
let wi = &qap.wi[i].eval_at(s);
println!("wi[{:?}] = {:?}", i, wi);
w = &w + wi * &r1cs.witness[&f.elem(&i)];
}
println!("");
}
let mut y = f.elem(&0u8);
{
for i in 0..num_witness {
let yi = &qap.yi[i].eval_at(s);
println!("yi[{:?}] = {:?}", i, yi);
y = &y + yi * &r1cs.witness[&f.elem(&i)];
}
println!("");
for i in 0..num_witness {
let vi = &qap.vi[i].eval_at(s);
let wi = &qap.wi[i].eval_at(s);
let yi = &qap.yi[i].eval_at(s);
let i = &f.elem(&i);
v = &v + vi * &r1cs.witness[i];
w = &w + wi * &r1cs.witness[i];
y = &y + yi * &r1cs.witness[i];
}
println!("{:?} * {:?} = {:?}\n", v, w, y);
}