Came across the simplicity paper in 2020 early in my bitcoin journey. Back then I thought it was an exciting idea, even started learning Coq (the formal verification language they used) because of it.
Curious to revisit it and see what I’ll think about it now.
View quoted note →