Não consigo imaginar defender que um novo engenheiro aprenda a programar desde os princípios básicos como eu fiz, é assim que estamos realmente mal em 2025.

OH no Slack sobre @commonwarexyz: "sim, a estrutura do repositório e os comandos sugerem que foram projetados por alguém que sabe o que está a fazer."

Tive um ótimo tempo a divulgar o ZKarnage e @TheProofLab na @frontiertower hoje, obrigado ao @HouseofZK pelo convite! Fui informado por várias fontes que a melhor parte foram os chapéus cor-de-rosa -- eu costumo ter alguns comigo se me apanha num evento de Crypto em SF!

Finalmente a chegar à fase de executar um provador @boundless_xyz e, tendo provado muitos pratos ZK ao longo do tempo, acho que posso afirmar com autoridade que esta é uma boa comida. 🍱

Por que o criptógrafo teve uma crise existencial? Porque ele percebeu que o fino e diáfano fio que separa a civilização matemática da anarquia completa é a bilinearidade. E apesar de anos de estudo, provas e sessões de depuração até tarde da noite, ele ainda acorda em um frio suor perguntando-se se realmente entende por que e(aP, bQ) = e(P, Q)^(ab) ou se ele é apenas muito bom em imitar os rituais que fazem a verificação de emparelhamento ficar verde.

às vezes penso que "zero knowledge" seria melhor nomeado como "zero understanding"

olá @RiscZero + @boundless_xyz, por que não há provador Risc0 ou Boundless em @eth_proofs?

Programar com zkVMs é assim: thread 'write' entrou em pânico em runtime/tests/elf_tests.rs:71:13: stdout deve conter: Sup, world! Hello, world! mas obteve: Sup, world! ����H␊┌┌⎺← ┬⎺⎼┌␍! S┤⎻← ┬⎺⎼┌␍! ���� ↑↑↑↑ ␤␋┼├_␉┤°°␊⎼ ⎽├␍⎺┤├ ↑↑↑↑ ├␤⎼␊▒␍ '␤␋┼├_␉┤°°␊⎼' ⎻▒┼␋␌┐␊␍ ▒├ ⎼┤┼├␋└␊/├␊⎽├⎽/␊┌°_├␊⎽├⎽↓⎼⎽:71:13: ⎽├␍␊⎼⎼ ⎽␤⎺┤┌␍ ␌⎺┼├▒␋┼: G┤␊⎽├ °␋┼␋⎽␤␊␍ ␊│␊␌┤├␋⎺┼ ␋┼

@YourBuddyConner está a cozinhar

No próximo @HouseofZK em São Francisco, @YourBuddyConner da @TheProofLab apresentará 'ZKarnage: Quebrando ZK Provers para Construir um Ethereum Mais Forte' 🌉 🗓 23 de julho, 14h-17h 📍 @frontiertower, SF 🎟️ Os provers de conhecimento zero são a espinha dorsal da revolução de escalonamento Layer 2 do Ethereum, processando bilhões de dólares em transações diariamente. ZKarnage é uma iniciativa de teste de estresse ao vivo na mainnet que ataca sistematicamente os sistemas de prova ZK com transações "matadoras de provers" projetadas para expor vulnerabilidades, gargalos de desempenho e ineficiências econômicas antes que atores maliciosos possam explorá-las. Conner fornecerá uma introdução abrangente ao ZKarnage, explicará o que são os zkEVMs e como funcionam, e mergulhará fundo nos perfis de ataque específicos que estão sendo usados para explorar esses sistemas. Esta palestra demonstrará a metodologia para levar os provers ZK ao seu limite usando operações computacionalmente intensivas e uso complexo de pré-compilações 🤝