This repository has been archived by the owner on Oct 17, 2023. It is now read-only.

Document `verify_proof` (i.e. recursion) #264

Closed

Savio-Sou opened this issue Jul 21, 2023 · 0 comments · Fixed by #265

Assignees

Contributor

Savio-Sou commented Jul 21, 2023 •

edited

Loading

Albeit the keyword was added in v0.7.0, it was unusable as no proving backend was able to parse and act on it reliably.

With ≥v0.9.0 where Nargo <> barretenberg is more properly integrated, it is now working E2E.

References:

recursion-demo
Noir Issue: Add foreign function for recursion noir#1154
PR with good descriptions: feat: Recursive verification noir#1379
PR actually implemented the change: feat!: Update to acvm 0.14.0 noir#1594

Savio-Sou added this to Noir

github-project-automation bot moved this to 📋 Backlog in Noir

critesjosh mentioned this issue

add recursion, some edits #265

Merged

critesjosh self-assigned this

critesjosh closed this as completed in #265

github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.