argumentcomputer / argumentcomputer/Nova.lean
Implement the verifying function for `CompressedSNARK`
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 no files, tests, or entry points and has no body. Start by locating CompressedSNARK in the repository and reading its surrounding definitions. Establish the expected verification behavior and relevant checks before implementation; done means the project's verification checks pass.
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
- 15/100