argumentcomputer / argumentcomputer/Nova.lean
Implement the `verify` function for `RecursiveSNARK`
Open
- Dominant language
- Lean
- Stars
- 3
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names RecursiveSNARK.verify but provides no file, test, implementation context, or verification criteria. Start by locating the RecursiveSNARK definition and its verify entry point; completion criteria must be established before implementation can begin.
Written by the indexing model from the issue text.
Assessment
- Domain
- cryptography
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100