IntersectMBO / IntersectMBO/mithril

Recursive SNARK proof for Certificate Chain - MVP

Open
#2,529 0 comments 0 reactions 0 assignees View on GitHub
roadmap :compass:
Dominant language
Rust
Stars
154
Forks
51
Avg merge
1d 23h
Merged PRs (30d)
38

Description

## Why

Following the completion of the non-recursive SNARK proof for the Certificate MVP (#2917), the next step is to implement a recursive SNARK proof that leverages the non-recursive proof to compress the entire certificate chain (from genesis) into a single succinct proof. This will enable use cases where proof that a transaction occurred on Cardano can be published on-chain, on another chain, or off-chain.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.