W18-19: add the Circom-SnarkJS vs Midnight-ZK prover-time table (was 'see table')
added last report
Added folding comparative table
Small correction
Recommendations for future steps
Recommendations for SNARKs
Updated zk‐SNARKs for predicate verification ‐ Current design, problems and potential solutions (markdown)
Estimated times for unequal hashing
Updated 🗓️ Week 20–21 | January 16–31, 2026 (markdown)
update
Title change - zk-SNARKs page
Reorganization of sections and some new content (potential solutions)
Updated 🗓️ Week 18–19 | January 1–15, 2026 (markdown)
Updated 🗓️ Week 18–19 | January 1–15, 2026 (WIP) (markdown)
updated reports
Added Sha2 and Blake2b low-level details for VarLen and padding. Also added pseudo-code for VarLen Blake2b circuit.
Added high-level design steps for the circuit computation
Some refactor of VarLen problem and more specifics about hashing strategies
Updated zk‐SNARK setups and circuit designs (markdown)
Updated _Sidebar (markdown)
Updated Home (markdown)
Destroyed 🐟 Computing `(x, X)` and `(r, R)` for WPBS (markdown)
Included link to zk-SNARK wiki page.
High-level details about the types of setups in zk-SNARKs and their implications in the circuit design.
Reports updated