Alin Tomescu's Projects
Sample algorithms from MIT's 6.006
6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
6.857 Lecture notes from Spring 2015
6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
LaTeX source code for the "Transparency Logs via Append-only Authenticated Dictionaries" paper in ACM CCS 2019
Aptos Improvement Proposals (AIPs)
Personal website
Estimate append-only proof sizes in Merkle prefix trees
Generates doortags for Ashdown
Scripts for generating PDFs for the Ashdown Elections ballots
Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
LaTeX beamer slides for aggregatable subvector commitments (aSVC) talk
Our talk on "Authenticated Dictionaries with Cross-incremental Proof (Dis)aggregation"
A (partial) implementation of an AVL tree in C++
base64 encoding library
When you have a .bib file and you want to either (1) remove duplicates or (2) remove unused entries
High-speed BLS12-381 implementation in Go
Multilingual BLS12-381 signature library
Our Java implementation of Catena, a Bitcoin-based consensus log (also known as a witnessing scheme, or non-equivocation scheme, or "micro-blockchain")
The LaTeX source code for our paper on preventing equivocation efficiently with Bitcoin
zkSnark circuit compiler
A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
Linux configs (.bashrc, .vimrc, .gitconfig)
edu: CryptoManiac is a simple command line utility that encrypts a file using AES-256 (CTR/CBC, 256-bit keys, 128-bit IVs) and is compatible with the OpenSSL enc tool.
free C++ class library of cryptographic schemes
CSAIL website
A pure-Rust implementation of group operations on Ristretto and Curve25519