Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Epic: UP Recursive Proofs #1098

Closed
8 tasks done
Savio-Sou opened this issue Apr 5, 2023 · 1 comment
Closed
8 tasks done

Epic: UP Recursive Proofs #1098

Savio-Sou opened this issue Apr 5, 2023 · 1 comment

Comments

@Savio-Sou
Copy link
Collaborator

Savio-Sou commented Apr 5, 2023 •
edited
Loading

Tracking issue for exposing UltraPlonk's recursive proving function.

Pending
Beta Give feedback
  1. Add recursion opcode acvm#198
    enhancement
    kevaundray vezenovm
  2. Add recursion into acir format AztecProtocol/barretenberg#357
    acir
    kevaundray vezenovm
  3. feat(dsl)!: Arbitrary depth recursion AztecProtocol/barretenberg#433
  4. feat(dsl)!: DSL recursion changes w/ bb.js AztecProtocol/barretenberg#485
  5. Add foreign function for recursion #1154
    ACIR/ACVM compiler enhancement
    kevaundray vezenovm
  6. feat!: move to bincode and GzEncoding for artifacts acvm#436
  7. feat!: ACIR bytecode encoding with Base64 #1935
  8. feat: bb and bb.js directly parse nargo bincode format. AztecProtocol/barretenberg#610
@Savio-Sou Savio-Sou added this to Noir Jan 18, 2023
@Savio-Sou Savio-Sou converted this from a draft issue Apr 5, 2023
@kevaundray kevaundray moved this from 🚧 Blocked to 📋 Backlog in Noir Apr 12, 2023
@kevaundray kevaundray changed the title [Nargo] UP Recursive Proofs [Nargo] UP Recursive Proofs (2.0) Apr 12, 2023
@Savio-Sou Savio-Sou changed the title [Nargo] UP Recursive Proofs (2.0) [Nargo] UP Recursive Proofs Apr 18, 2023
@Savio-Sou Savio-Sou changed the title [Nargo] UP Recursive Proofs Project: UP Recursive Proofs May 11, 2023
@Savio-Sou Savio-Sou changed the title Project: UP Recursive Proofs Epic: UP Recursive Proofs May 11, 2023
@Savio-Sou Savio-Sou mentioned this issue May 11, 2023
Closed
@Savio-Sou Savio-Sou removed the status in Noir May 11, 2023
@Savio-Sou
Copy link
Collaborator Author

Refer to https://github.com/Savio-Sou/recursion-demo on how to make use of recursion.

@github-project-automation github-project-automation bot moved this to ✅ Done in Noir Jul 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
Noir
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vezenovm @Savio-Sou