Recursive SNARK proof for Certificate Chain - MVP

Open
  • Is something wrong?
#2,529 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 2 days

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
25/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Stale
Tech stack
rust
Domain
blockchain, cryptography

Research direction

Start by reading the non-recursive SNARK proof for the Certificate MVP referenced in issue #2917, then trace the certificate-chain proof entry points. The issue names no files or tests, so the implementation scope must be established first. Done means a single succinct recursive proof compresses the full chain from genesis.

Written by the indexing model from the issue text.

Description

roadmap :compass:

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.

Dominant language
Rust
Stars
155
Forks
52
Avg merge
2d 17h
Merged PRs (30d)
37

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from IntersectMBO/mithril

All issues in IntersectMBO/mithril

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.