DISCOVERY Repository discovered
saymrwulf/pasta-pallas-verified
Formally verifying Pallas (zcash/pasta_curves) field arithmetic in Lean 4 via Charon/Aeneas — real extraction, no bridge axioms; field layer under construction, group law + scalar mul planned
Radar summary of the original source
Pasta Pallas VerifiedFrom saymrwulf/pasta-pallas-verified
A discovered repository—not a verified live service.
Radar found this repository through its Zcash discovery query. That is not an endorsement and does not prove that a public product or service is live.
- Status
- Repository discovered
- Source
- saymrwulf/pasta-pallas-verified
- Source activity
- Confidence
- Discovery still being checked
PART OF
Pasta Pallas Verified
Formally verifying Pallas (zcash/pasta_curves) field arithmetic in Lean 4 via Charon/Aeneas — real extraction, no bridge axioms; field layer under construction, group law + scalar mul planned
Radar summary of the original source
OtherDiscovery still being checked
Explore the full profile SAME TRACKED PROJECT
0 more recordsRelated activity
No additional source-linked activity is connected to this profile yet.