Posts
Talks
Papers
Cryptomat
To read
Paraphernalia
To solve
CV
About

Archive

2025

Oct 29Groth16 and Aptos Keyless
Oct 25Papamanthou-Shi-Tamassia (PST) multivariate polynomial commitments
Oct 03Cryptography on Aptos
Sep 30Draft: DeKART: ZK range proofs from univariate polynomials
Sep 16Encryption
Sep 16Identity-based encryption
Sep 15Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI)
Aug 27Digital signatures
Aug 25Reflecting on the moral character of cryptographic work
Aug 08Confidential assets on Aptos
Aug 01Montgomery's trick for batched field inversions
Jul 29Negative result: Non-ZK DeKART range proof
Jul 12Hyrax polynomial commitment scheme
Jul 12Multilinear polynomials and multilinear extensions (MLEs)
Jul 08KZH polynomial commitments
Jun 25Motorcycles as drugs
Jun 24$\Sigma$-protocols
Jun 20The multivariate sumcheck protocol
Jun 20ElGamal encryption
Jun 20Marlin
Jun 06Bayer-Groth verifiable shuffle
Jun 04Cinder: A simple-but-not-so-efficient dense-to-sparse MLE compiler
Jun 04Univariate sumcheck
Jun 03The Spartan zkSNARK framework
May 22How to easily make Aptos post-quantum secure
May 09Deploying zero-knowledge proofs with training wheels
Apr 19Lessons learned motorcycling from CA to TX
Apr 01Vector commitments (VCs)
Mar 30Pointcheval-Sanders (PS) signatures
Mar 30Schnorr vs. ECDSA
Mar 11How to verify a Groth16 VK was generated from some R1CS
Feb 11Circom
Jan 25Groth16
Jan 24Polynomial differentiation tricks
Jan 23Quadratic Arithmetic Programs (QAPs) and Rank-1 Constraint Systems (R1CS)
Jan 22(Defining) zero-knowledge proofs
Jan 21NP relations
Jan 20Basics of linear algebra

2024

Nov 07BBS+ signatures
Sep 05How should a blockchain keep a secret?
Sep 02Bulletproofs IPA for multiexp
Jun 13Keyless blockchain accounts on Aptos
Jun 01ECDSA signatures (and why you should avoid them)
May 31Schnorr signatures: everything you wanted to know, but were afraid to ask!
May 02What the Smurf? Silent-setup & unique threshold signatures!
May 01Baird et al.'s unique threshold signature scheme
Apr 26How to reshare a secret

2023

Jun 02Science: Process, not Truth
Feb 05Why you should probably never sort your Merkle tree's leaves
Jan 08Pairing-based anonymous credentials and the power of re-randomization

2022

Dec 31Pairings or bilinear maps
Nov 18Hyperproofs: Faster Merkle proof aggregation without SNARKs
Aug 27Are there cryptographic accumulators without trusted setup?
Jul 28Lagrange interpolation

2021

Jun 17Feist-Khovratovich technique for computing KZG proofs fast
Apr 15Basic number theory
Feb 25What is a Merkle tree?

2020

Nov 26Authenticated Dictionaries with Cross-Incremental Proof (Dis)aggregation
Nov 24Catalano-Fiore Vector Commitments
Nov 24RSA Accumulators
Nov 23Linear Diophantine equations
Nov 05Cryptographic Assumptions in Hidden-Order Groups
May 06Kate-Zaverucha-Goldberg (KZG) Constant-Sized Polynomial Commitments
May 06Aggregatable Subvector Commitments for Stateless Cryptocurrencies from Lagrange Polynomials
Apr 02Bilinear Accumulators for Cryptocurrency Enthusiasts
Mar 19Multiplying a Toeplitz matrix by a vector
Mar 16Basics of Polynomials for Cryptography
Mar 12Towards Scalable Verifiable Secret Sharing and Distributed Key Generation
Mar 12How to do threshold BLS the right way
Mar 03Range Proofs from Polynomial Commitments, Re-explained
Jan 23"Ego is the enemy", by Ryan Holiday

2015

Sep 14How to give (and make) a presentation

2013

Jul 21How to compile and install Eucalyptus 3.3.0 on Ubuntu 13.04 from Github sources (cloud-in-a-box)
Feb 19How to compile and install Eucalyptus 3.2.0 on Ubuntu 12.04/12.10 from Github sources (cloud-in-a-box)

2012

Aug 25How to encrypt a file using AES in 256-bit CBC/CTR mode using OpenSSL in C

© Alin Tomescu 2021, Powered by Jekyll & TeXt Theme.

Search