
Simon Tennant
2K posts

Simon Tennant
@imaginator
Bitcoin m̶a̶x̶i̶ pragmatist. Building @zapzapbot | rational idealist



UTXO-based smart contracts are complex and difficult to comprehend. That's why we built Simplex. To make the life of a Simplicity developer a tiny bit easier. 100% rust. Now in alpha. Ready for use.




I don't know what this argument here is really about, but Blockstream has contributed to the quantum discussion more than just the paper you mention: - @real_or_random proved post-quantum security of the Taproot commitment scheme (eprint.iacr.org/2025/1307.pdf), which is essential for a Taproot-based upgrade path (groups.google.com/g/bitcoindev/c…) - @real_or_random discovered in 2018 that commit-reveal schemes (first discovered by @adam3us) could be applied to obtain post-quantum security (#securely-proving-utxo-ownership-by-revealing-a-sha256-preimage" target="_blank" rel="nofollow noopener">bitcoinops.org/en/newsletters…
). This is still the most compact signature scheme but it has other downsides. Variants appear from time to time on the ML. - Reviewed an earlier version of BIP 360, reported three vulnerabilities (groups.google.com/g/bitcoindev/c…). - SHRINCS: 324-byte stateful post-quantum signatures with static backups (delvingbitcoin.org/t/shrincs-324-…)












The latest $128M Balancer exploit is a reminder of something fundamental: most smart contracts today rely on audit-based hope. Developers write complex code, auditors review it, and everyone hopes there are no hidden logic flaws. But hope isn’t assurance.

New milestone unlocked! We've implemented a STARK verifier for @StarkWareLtd 's Stwo prover in Simplicity by @blksresearch This is not a toy exercise anymore – it's a real modern proving system. More about the results and challenges 🧵👇














