github/zk-toolkit
1
1
Fork 0
mirror of https://github.com/exfinen/zk-toolkit.git synced 2026-01-09 12:07:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

include constant to io

Browse Source
This commit is contained in:
exfinen
2023-10-30 11:06:08 +09:00
parent a13193f29a
commit 7310c67a11
2 changed files with 9 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/zk/w_trusted_setup/pinocchio/crs.rs
View File

@@ -65,12 +65,11 @@ impl CRS {
let s_pows = &s.pow_seq(&p.max_degree);
let mid_beg: usize = (&p.witness.mid_beg.e).try_into().unwrap();
let mid: &Vec<usize> = {
let mid: Vec<usize> = {
let end: usize = (&p.witness.end.e).try_into().unwrap();
let mid: Vec<usize> = (mid_beg..=end).collect();
&vec![vec![0usize], mid].concat()
(mid_beg..=end).collect()
};
let io: &Vec<usize> = &(1usize..mid_beg).collect();
let io: &Vec<usize> = &(0usize..mid_beg).collect();
// Evaluation keys
println!("----> Computing evaluation keys...");

21
src/zk/w_trusted_setup/pinocchio/witness.rs
View File

@@ -20,19 +20,11 @@ impl Witness {
pub fn io(&self) -> SparseVec {
let f = &self.mid_beg.f;
self.sv.slice(&f.elem(&1u8), &self.mid_beg)
self.sv.slice(&f.elem(&0u8), &self.mid_beg)
}
pub fn mid(&self) -> SparseVec {
let f = &self.sv.f;
let mid = &self.sv.slice(&self.mid_beg, &self.sv.size);
let one = {
let mut sv = SparseVec::new(f, &f.elem(&1u8));
sv[&0] = self.sv[&0].clone();
sv
};
// return witness 1 and the mid
one.concat(mid)
self.sv.slice(&self.mid_beg, &self.sv.size)
}
}
@@ -57,12 +49,11 @@ mod tests {
let w = Witness::new(&sv, &f.elem(&3u8));
//assert!(w.one() == f.elem(&1u8));
let io = &w.io();
assert!(io.size == f.elem(&2u8));
assert!(io[&f.elem(&0u8)] == f.elem(&3u8));
assert!(io[&f.elem(&1u8)] == f.elem(&35u8));
assert!(io.size == f.elem(&3u8));
assert!(io[&f.elem(&0u8)] == f.elem(&1u8));
assert!(io[&f.elem(&1u8)] == f.elem(&3u8));
assert!(io[&f.elem(&2u8)] == f.elem(&35u8));
let mid = &w.mid();
assert!(mid.size == f.elem(&4u8));