Karl Floersch

one fear i have is most of the people at the EF who "think differently" have now left for one of the other orgs. so in order to remain relevant beyond institutional / incumbent advantages, i really do think EF has to evolve for this new institutional environment, otherwise it runs the risk of being

> the funny thing about decentralization, is that community uprisings are the whole point agree to an extent, but also disagree. uprisings reflect that the people in power are disconnected from the desires of the plebs so what it frames here is a big disconnect between the people who control(led)

Last week @CertiK delivered and finalized their 2nd Ethereum Foundation grant relating to formal verification in zkVMs. This time the CertiK FV team experimented with zkVM circuit correctness proofs in Verus! More below 👇

Consensys Halted MetaMask Releases Over North Korea-Linked Contractor

CertiK Completes Second Ethereum Foundation Grant on Formal Verification in zkVMs Using Verus

In the era of AI-powered hacks, this is true more than ever before https://medium.com/consensys-diligence/upgradeability-is-a-bug-dba0203152ce

Some recent posts have misstated key facts about a security incident that happened a few months ago. Earlier this year, we identified and contained a threat from an individual engaged as a consultant through a third-party provider. The individual was never a Consensys employee. After the threat

Here Are Four Important Crypto Stories You Might Have Missed This Week

MetaMask almost got hacked. Consensys confirmed they accidentally hired a North Korean software developer using the alias “Tyler Knapp” as a contractor through a third-party provider. Before any real damage could happen, internal security protocols caught the threat. Here’s how Consensys handle

Consensys unknowingly outsourced developer work to North Korean