"O corpo humano para de funcionar quando não come comida suficiente. Claro, isso é um grande problema se você é um criminoso cometendo crimes. Todas as evidências mostrarão que a Indústria Alimentar resolveu este problema criando mercearias". - O governo, basicamente.

este. também, não vamos deixar isso acontecer com Roman. Mesmo que isso signifique pressionar as coisas para a Suprema Corte: a noção de que um desenvolvedor pode ser culpado de conspiração criminosa porque estranhos usam seu código e site para fazer coisas ruins é a política anti-cripto mais perigosa que posso imaginar. Não pode ficar na América.

Vou a Nova York esta semana para testemunhar os três dias do julgamento de Roman. Nós, desenvolvedores, devemos refletir sobriamente: se tivéssemos o talento e fôssemos tão cypherpunk, poderia ser qualquer um de nós enfrentando o martírio também.

Ok, depois de 2 meses de esforço sólido, estou batendo. O projeto "faça a configuração confiável do Groth16 em um TEE e obtenha um atestado remoto de que o lixo tóxico foi destruído" não teve sucesso. Vai TLDR abaixo. Mencionando aqui apenas porque não quero que ninguém seja dissuadido de trabalhar nisso porque acham que ainda estou trabalhando nisso quando na verdade não estou.

Consegui construir SnarkJS de forma reproduzível. Demorou muito menos tempo do que eu esperava. 🎉

Acontece que a conversão de um arquivo .zkey compatível com SnarkJS em um arquivo .params compatível com Zokrates não é mais suportada pelas ferramentas atuais (devido a uma alteração de endianness feita nas ferramentas do primeiro, mas não do último). Portanto, meu plano de usar Zokrates para fazer a contribuição de Groth16 no TEE foi lançado. Em vez disso, terei que usar o SnarkJS no TEE. Então agora começa a jornada de tentar criar uma compilação 😆 SnarkJS totalmente reproduzível. Eu não sabia - quando comecei meu "projeto paralelo" original de tentar criar uma interface de usuário totalmente descentralizada para UniswapV4 - que uma sub-sub-sub-tarefa envolveria várias semanas de esforço hercúleo para fazer compilações reproduzíveis de projetos ZK para uso em um TEE.

RT @drwasho: Esta é uma tomada totalmente derrotista e delirante. Você nunca, NUNCA, pode desistir e deixar os marxistas vencerem... nem mesmo uma vez. História...

Tive que tirar um tempo do projeto "Groth16 setup in a TEE" para lidar com algumas coisas no meatspace, mas estou de volta ao serviço agora. 🫡

Finalmente conseguindo twittar sobre nosso artigo "zk-promises" na Usenix Security. Duas motivações: Como você constrói a reputação de usuários anônimos que não podem ser vinculados às suas ações? Como você obtém um modelo de conta privada para contratos inteligentes? Nossa resposta: retornos de chamada anônimos.

Tenho que fazer mais testes para ter certeza, mas acho que FINALMENTE consegui construir os binários do Zokrates de forma reproduzível. 🎉🎉🎉