Aayush Rajasekaran
arajasek
Languages
Loading contributions...
Top Repositories
Uses the Aion Java API to sign transactions offline, and then send them
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
Document Generator for Lean 4
Action to generate Lean documentation pages
Blueprint for the PNT+ Project
Repositories
37A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
Document Generator for Lean 4
Action to generate Lean documentation pages
Blueprint for the PNT+ Project
RealAnalysisGame
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
No description provided.
The user home repository for the Mathematics in Lean tutorial.
Formally Verified Arguments of Knowledge in Lean
A rock-paper-scissors smart contract, demonstrating use of the FHEVM libraries.
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Reference implementation of the Filecoin protocol, written in Go
Reed-Solomon Erasure Coding in Go
The PubSub implementation for go-libp2p
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Go implementation of the Ethereum protocol
The Nexus zkVM: The zero-knowledge virtual machine
A verifier node for granting verified data allowances to Filecoin addresses
Filecoin Solidity API Library
No description provided.
🎲 A Distributed Randomness Beacon Daemon - Go implementation
No description provided.
Uses the Aion Java API to sign transactions offline, and then send them
This is an external staker for the Aion Unity Hybrid consensus
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.