"The human body stops functioning when it doesn't eat enough food. Of course, this is a huge problem if you are a criminal doing crimes. All the evidence will show that the Food Industry solved this problem by creating grocery stores". - The government, basically.

this. also, we will not let it happen to Roman. Even if it means pressing things to the supreme court: the notion that a developer can be guilty of criminal conspiracy because strangers use his code and website to do bad things is the single most dangerous anti-crypto policy I can imagine. It cannot stand in America.

I am going to New York this week to bear witness to three days of Roman's trial. We developers should soberly reflect: if we'd had the talent and been so cypherpunk, it could be any one of us facing martyrdom too.

Okay, after 2 months of solid effort, I’m tapping out. The “do Groth16 trusted setup in a TEE and get a remote attestation that the toxic waste was destroyed” project has been unsuccessful. Will TLDR below. Mentioning here only because I don’t want anyone to be dissuaded from working on it because they think I am still working on it when in fact I am not.

Got SnarkJS building reproducibly. Took much less time than I was expecting. 🎉

It turns out that converting a SnarkJS-compatible .zkey file to a Zokrates-compatible .params file is no longer supported by current tooling (due to an endianness change made in the tooling of the former but not the latter). So my plan of using Zokrates to do the Groth16 contribution in the TEE is out. I'll have to use SnarkJS in the TEE instead. So now begins the journey of trying to create a fully-reproducible SnarkJS build 😆. I did not know -- when I started my original "side project" of trying to create a fully decentralized UI for UniswapV4 -- that a sub-sub-sub-task would involve several weeks of Herculean effort making reproducible builds of ZK projects for use in a TEE.

RT @drwasho: This is an utterly defeatist and delusional take. You can never, EVER, give up and let Marxists win... not even once. History…

Had to take some time off the "Groth16 setup in a TEE" project to deal with some stuff in meatspace, but I'm back on duty now. 🫡

Finally getting around to tweeting about our paper "zk-promises" at Usenix Security. Two motivations: How do you build reputation for anonymous users who can't be tied to their actions? How do you get a private account model for smart contracts? Our answer: anonymous callbacks.

Have to run more tests to be sure, but I think I FINALLY got the Zokrates binaries building reproducibly. 🎉🎉🎉