Skip to content

Pull requests: IntersectMBO/mithril

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat: enforce the circuit verification key registry
#3514 opened Sep 2, 2026 by jpraynaud Member Draft
4 of 9 tasks
feat: introduce the circuit verification key registry
#3513 opened Sep 2, 2026 by jpraynaud Member Loading…
7 of 9 tasks
feat(client, client-cli): IPFS file downloader feature 🚀 New implemented feature
#3512 opened Sep 2, 2026 by Alenar Collaborator Loading…
8 of 11 tasks
feat(stm): add behavior tests for ivc wiring
#3509 opened Aug 31, 2026 by damrobi Collaborator Loading…
9 tasks done
DO NOT MERGE - Roynakakawa/new website do-not-merge 🔒 Do not merge
#3496 opened Aug 25, 2026 by roynakakawa Contributor Draft
feat(stm): add missing off circuit checks do-not-merge 🔒 Do not merge
#3480 opened Aug 13, 2026 by damrobi Collaborator Draft
7 of 9 tasks
feat(common): updated the ed25519 dalek crate do-not-merge 🔒 Do not merge
#3473 opened Aug 5, 2026 by damrobi Collaborator Draft
10 tasks
feat: support IVC SNARK prover in e2e tests do-not-merge 🔒 Do not merge
#3347 opened Jun 19, 2026 by jpraynaud Member Draft
5 of 8 tasks
Dev networks - DO NOT MERGE do-not-merge 🔒 Do not merge
#1688 opened May 16, 2024 by jpraynaud Member Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.