Gautham's repositories
agora-blsful
BLS signature implementation on the BLS12-381 curve that meets the IETF spec.
babyjubjub-rs
BabyJubJub elliptic curve implementation in Rust
bfcl
Python library for working with circuit definitions represented in the Bristol Fashion.
bolts
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
cgen
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
cggmp21
State-of-art threshold ECDSA in Rust
conjure
Conjure: The Automated Constraint Modelling Tool
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
cryptosym
SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
frost
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
fs-dkr
FS-DKR: One Round Distributed Key Rotation
helios
A fast, secure, and portable light client for Ethereum
hummingbot
Open source software that helps you create and deploy high-frequency crypto trading bots
metasploit-framework
Metasploit Framework
multi-party-ecdsa
Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
solidity-mmr
Solidity Merkle Mountain Range Library
spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
splr
A modern CDCL SAT solver in Rust
Startup-CTO-Handbook
The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams