Pinned Repositories
6.824-lecture-notes
6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
6.858-lecture-notes
6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
asvc-paper
Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
avl-tree
A (partial) implementation of an AVL tree in C++
catena-java
Our Java implementation of Catena, a Bitcoin-based consensus log (also known as a witnessing scheme, or non-equivocation scheme, or "micro-blockchain")
ck
A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
cryptomaniac
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.
eprint-iacr-notifier
Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers
libpolycrypto
(Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS) protocol
libvectcom
An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algorithm for computing all N proofs in KZG-based VCs. Lastly, benchmarks.
alinush's Repositories
alinush/libpolycrypto
(Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS) protocol
alinush/ck
A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
alinush/libvectcom
An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algorithm for computing all N proofs in KZG-based VCs. Lastly, benchmarks.
alinush/asvc-paper
Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
alinush/libaad-ccs2019
Code for "Transparency Logs via Append-only Authenticated Dictionaries" paper in ACM CCS 2019
alinush/dkg-paper
LaTeX source code for the "Towards Scalable Threshold Cryptosystems" paper in IEEE S&P'20
alinush/go-mcl
Wrapper around herumi/mcl in Go, with dependency on herumi/mcl
alinush/alinush.github.io
Personal website
alinush/rust-incrhash
Incremental hashing based on curve25519-dalek
alinush/circom
zkSnark circuit compiler
alinush/csail-website
CSAIL website
alinush/libcryptotemplate
A template library for pairing-and-polynomial-based cryptography that can be forked, renamed and built upon.
alinush/libxutils
C++ utility library
alinush/merkle-race
Exploring slowdowns of increasingly-fancier Merkle trees
alinush/pointproofs-note
A note on how to compute all Pointproofs fast (should be up on Cryptology ePrint Archive soon)
alinush/scripts
Linux scripts
alinush/aad-paper
LaTeX source code for the "Transparency Logs via Append-only Authenticated Dictionaries" paper in ACM CCS 2019
alinush/AIPs
Aptos Improvement Proposals (AIPs)
alinush/alinush
alinush/append-only-merkle-prefix-trees
Estimate append-only proof sizes in Merkle prefix trees
alinush/blst
Multilingual BLS12-381 signature library
alinush/blstrs
alinush/circom-compat
alinush/configs
Linux configs (.bashrc, .vimrc, .gitconfig)
alinush/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
alinush/ed25519-rust-speccheck
Test cases for EdDSA signature verification edge cases
alinush/libfqfft
C++ library for Fast Fourier Transforms in finite fields
alinush/move
alinush/phd-thesis
How to Keep a Secret and Share a Public Key (Using Polynomial Commitments)
alinush/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!