oskarth

Congrats to Zcash on its 10y anniversary! Ian Miers @secparam Oct 28 10 years ago, we launched Zcash, making a private version of Bitcoin. But the origins go back to the 80s, when, in the wake of the Watergate scandal, cryptographers first dreamed of private electronic cash, and the story runs through Satoshi’s invention of Bitcoin. Zerocoin came

Mandela effect I don’t remember a star, but all evidence points to the contrary… Ra 𐦝 @homi3kh Oct 27 A new Mandela Effect is rising. Since when does the Soviet flag carry a star above the hammer and sickle? Many of us remember it clearly without one. If you recall the flag without the star… you may be from the old Earth. Shifted into this denser, clown-world timeline. The

New write-up: Formally verifying a shielded pool, from spec to bytecode. EthSystems <3 formal verification. We are past the YOLO phase of crypto. Billions are moving on-chain. Hacks are constant. We need to know a system does what it claims it does. EthSystems @eth_systems Oct 27 We pushed formal verification through our shielded pool, from the written spec down to the bytecode running on Sepolia. Each layer got its own tool: Lean for the model, circuits and hash, Halmos and Kontrol for the contract, Aeneas and Verus for the wallet, and byte-for-byte

Good illustration for why we need open models Guillermo Flor @guilleflorvs Oct 26 Dario Amodei: some tokens Claude produces are worth a few cents, others could be worth tens of millions of dollars. His examples: 1. Telling someone to restart their Mac: the model has said it 10 million times, worth a dollar or less 2. Telling a pharma company to move an