Formal verification with Picus: exporter/verifier, circuit hardening, fixtures, docs, and CI
#27ClosedComparing
adam/picus
(5cfe7e9
) withmain
(ce87c21
)+1%
- Untouched
- 13
Benchmarks
13 total
verify_challenges[100]
benches/bench_main.rs::verification+4%
285.3 ms275.3 ms
prove[(1024, 2, 10)]
benches/bench_main.rs::proving+3%
26.1 s25.4 s
prove[(10, 1, 10)]
benches/bench_main.rs::proving+2%
15.4 s15.1 s
prove[(10, 2, 10)]
benches/bench_main.rs::proving+2%
18.7 s18.3 s
prove[(1024, 1, 10)]
benches/bench_main.rs::proving+2%
16.7 s16.5 s
erasure_encode[1024]
benches/bench_main.rs::primitives+2%
372.7 ms367 ms
verify_challenges[2]
benches/bench_main.rs::verification+1%
284.6 ms280.7 ms
erasure_encode[10]
benches/bench_main.rs::primitives+1%
306.5 ms304.5 ms
merkle_build[16]
benches/bench_main.rs::primitives0%
1.9 ms1.9 ms
merkle_build[1024]
benches/bench_main.rs::primitives0%
130.9 ms130.8 ms
poseidon_hash
benches/bench_main.rs::primitives0%
128.1 µs128.4 µs
file_preparation[10]
benches/bench_main.rs0%
382.5 ms383.9 ms
file_preparation[1024]
benches/bench_main.rs-1%
8.8 s8.9 s
Commits
Click on a commit to change the comparison rangeBase
main
ce87c21
+1.34%
chore: fix clippy blockers for pre-push
58e1b71
2 months ago
by adamkrellenstein-0.23%
formal: remove local-only Picus ops scripts
e54cbd9
2 months ago
by adamkrellenstein-0.04%
formal: fix portable Picus default and UTF-8-safe truncation
5cfe7e9
2 months ago
by adamkrellenstein