brain logoIQ.social
Safegcd’s Implementation Formally Verified
Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing Bitcoin cryptography is handled correctly is done
7 days ago
0

Comment

No comments yet?

Be the first to get things started. Share your thoughts!