argumentcomputer / argumentcomputer/Nova.lean
Define the Pasta curve
Open
- Dominant language
- Lean
- Stars
- 3
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
We have a framework for elliptic curves (more or less), but we need a particular curve called Pasta defined in the Rust implementation. The issue is to implement it and test if the implementation is well-behaved and correct.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.