-
Notifications
You must be signed in to change notification settings - Fork 1
Home
Nicolas Henin edited this page Feb 23, 2026
·
14 revisions
This wiki is the working journal for the Cavefish A.R.C. workstream (2025-2026).
It complements the repository README and captures the execution history behind the closing report.
Cavefish started from the paper "Communication-Optimal Light Client Protocol for UTxO Ledgers" and delivered a Cardano-compatible v0.5 prototype (Tx-Level Strategy, Many-Users -> Single Service Provider).
The stream is now paused; this wiki remains as a research and architectural record.
- Repository context and closing report: cavefish/Readme.md
- Getting started (Haskell prototype): prototype/README.md
- ZK circuits and WBPS notes: zk-wbps/README.md
- Chronological repo logbook: Logbook.md
- Closing presentation: video / slides
| Week | Dates | Summary |
|---|---|---|
| 📘 W1–2 | Aug 25–Sep 5 2025 | Project launch · Repository setup · Initial SRL definition |
| 📘 W3–4 | Sep 8–19 2025 | Work Plan V0.1 · First prototype definition · CPS alignment |
| 📘 W5–6 | Sep 20–Oct 3 2025 | Intent-based architecture adopted · WBPS wrapper design |
| 📘 W6–7 | Oct 4–15 2025 | Halo2 adoption · Porto Workshop · 100-Day Demo planning |
| 📘 W8–9 | Oct 16–31 2025 | CIP-1110 submitted · Sub-project refactoring · WBPS integration |
| 📘 W10–11 | Nov 1–15 2025 | Full Tx-Level Strategy specified and designed · Prototype infra + registration implemented |
| 📘 W12–13 | Nov 16–30 2025 | Align codebase with design and spec |
| 📘 W14–15 | Dec 1–15 2025 | Demonstrate Commitment · Tests + CI tightened |
| 📘 W16–17 | Dec 16–31 2025 | DemonstrateCommitment complete · ZK hashing trade-offs documented |
| 📘 W18–19 | Jan 1–15 2026 | Challenge + witness generation · Circuit performance analysis |
| 📘 W20–21 | Jan 16–31 2026 | Verification/signing/submission completion · txId-in-circuit integration · emulator submit + CI stabilization |
| 📘 February 2026 (Closing Report) | February 2026 | v0.5 flow completed · stream closure/bilan · ZK-circuit roadmap + Intent Layer framing |
- Use the table below as the timeline of record for the stream.
- Open each period report for detailed PRs, commits, issues, and decisions.
- Read the February 2026 Closing Report for the final synthesis and open technical questions.
- For build/run instructions, use the repository and component READMEs (not this wiki home page).
🧩 Maintainers:
Nicolas Henin · Will Gould · Polina Vinogradova · Kayvan Kazeminejad · Jesus Diaz Vico · Pyrros Chaidos · Marc Roeschlin
(Last updated · February 2026)
- 📘 Week 1–2 | Aug 25 – Sep 5 2025
- 📘 Week 3–4 | Sep 8 – 19 2025
- 📘 Week 5–6 | Sep 20 – Oct 3 2025
- 📘 Week 6–7 | Oct 4 – 15 2025
- 📘 Week 8–9 | Oct 16 – 31 2025
- 📘 Week 10–11 | Nov 1 – 15 2025
- 📘 Week 12–13 | Nov 16 – 30 2025
- 📘 Week 14–15 | Dec 1 – 15 2025
- 📘 Week 16–17 | Dec 16 – 31 2025
- 📘 Week 18–19 | Jan 1 – 15 2026
- 📘 Week 20–21 | Jan 16 – 31 2026
- 📘 February 2026 (Closing Report)
- SRL 1 → 2 | CPS Specification & Scoped Requirements
- SRL 2 → 3 | Single Service Provider Prototype
- SRL 3 → 4.5 | Cardano Testnet Multi-SP Prototype & Formal Properties
- SRL 4.5 → 5 | Community Hand Off
- WBPS Execution Strategies
- zk-SNARKs for predicate verification - Current design, problems and potential solutions
- Recommendations for future steps
Maintained by Nicolas Henin · Input Output Global