Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tools: misc improvements #83

Merged
merged 10 commits into from
Feb 23, 2024
Merged

tools: misc improvements #83

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
9638e3a
cache params in target folder
slumber Feb 22, 2024
7a6f9a2
store & verify sequential proofs
slumber Feb 22, 2024
3d68337
default base to seq-16
slumber Feb 22, 2024
e4e12b8
default to release build
slumber Feb 22, 2024
6d3b511
prohibit "debug" profile
slumber Feb 23, 2024
310aef2
improve pcd docs
slumber Feb 23, 2024
bfee83f
Merge remote-tracking branch 'origin/main' into slumber-params-cache
slumber Feb 23, 2024
745832e
typo
slumber Feb 23, 2024
48b9429
quick proof store
slumber Feb 23, 2024
3466c61
doc tests
slumber Feb 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
typo
  • Loading branch information
@slumber
slumber committed Feb 23, 2024
commit 745832e74fad9a1fadc949557c7e8a610d4530b5
2 changes: 1 addition & 1 deletion nova/src/circuits/nova/sequential/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -515,7 +515,7 @@ pub(crate) mod tests {
let mut recursive_snark = IVCProof::new(&z_0);

for _ in 0..num_steps {
recursive_snark = IVCProof::prove_leaf(recursive_snark, &params, &circuit)?;
recursive_snark = IVCProof::prove_step(recursive_snark, &params, &circuit)?;
}
recursive_snark.verify(&params, num_steps).unwrap();

Expand Down
Loading