Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Examples of how to create colorful, annotated equations in Latex using Tikz.

The book "Performance Analysis and Tuning on Modern CPU"

An Infinitely Large Napkin

Book in preparation: introduction to theoretical computer science

Lecture notes for a course on cryptography

English version

Auriga is a minimalist LaTeX beamer presentation theme 📽

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

Zcash Improvement Proposals

Source code for "Building Cryptographic Proofs from Hash Functions"

List of bugs found in distributed protocols

LaTeX package for typesetting pseudocode and cryptographic games

Documentation about scriptless scripts

From Zero (Knowledge) to Bulletproofs - writeup

The official repository hosting the ZKProof Community Reference & Proposals documents.

A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.

Specifications of cryptographic algorithms in Cryptol

Taproot security proof

Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.

6.858 final project.

A BibTeX collection on Zero-Knowledge Proofs

Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters