Things I am Thinking About

Folding for Data Availability; Fun for All Sizes

Tue Mar 26 2024

In this post, we will explore a new technique for generating data availability proofs, primarily leveraging cryptographic folding and the Blake3 hash function.

Theorem Proving's Potential

Sun Dec 04 2022

Embedding spaces and AI, learning, and unifying programming and proving. Why I'm excited for theorem proving.