Always Learning!!
-
Indian Institute of Technology, Kanpur
- Kanpur, UP, India
- http://shubhamsahai.in
Highlights
- Pro
Block or Report
Block or report ssahai
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
uclid-org/uclid Public
UCLID5: formal modeling, verification, and synthesis of computational systems
-
-
-
bulletproofs Public
Forked from dalek-cryptography/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
Rust