Archive - MY Substack

Using proof-of-work and hexadecimal to improve the verifiability of Web3 actions

Computers talk in bits (or bytes), humans prefer actual letters and languages. It's hard for humans to see what's going on inside a computer.

Aug 28 •

March 2024

On the security of (online) voting

Mail is now e-mail. Books are now e-books. Can votes be... e-votes?

Mar 21 •

Simple way to do ZK using protocol analysis tools

Formal methods analysis can be limited in functionality and modelling ZK is hard...

Mar 16 •

December 2022

This is MY Substack, a newsletter about Crypto.

Dec 27, 2022 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts