How do you actually audit ZK circuits? At DSS 101, Jeffrey Scholz, founder of @rareskills_io, breaks down the core building blocks of ZK auditing: ✅ What ZK proofs really verify ✅ How constraints encode real-world logic ✅ Common pitfalls (missing constraints, compilers, memory

New blog post: How to Securely Store Secrets in Environment Variables blog.miguelgrinberg.com/post/how-to-se…

x.com/i/article/1995…

Excited to release this dataset soon It can also serve as a router eval Routers already track QuotePrice and ExecutedPrice, but this kind of dataset would enable tracking ExecutedPrice vs. Best Realistically Obtainable Price (BROP) at execution time

one of the coolest talks this year

Pin / Unpin in async Rust 101 📌 Here’s the mental model to help understand Pin/Unpin: Rust async is basically “a function that turns into a state machine.” And that state machine lives somewhere in memory. Now the key detail: When you .await, the future can pause and resume

very good docs by ethrex on their L2 architecture and in general on how L2s are supposed to work. worth a read github.com/lambdaclass/et…

I keep getting asked how to get started with zero-knowledge proofs. So I put together a comprehensive awesome list, structured as a step-by-step learning journey. Link in reply.

Another great resource for ZK education, divided by the type of stuff you're interested in. Go dig in!

x.com/i/article/2002…

One of the best engineers in the world is telling you there is a completely new game to play. The market is wide open. It is a competition to see who can win in many verticals. Game on!

Now that ZKEVMs are at alpha stage (production-quality performance, remaining work is safety) and PeerDAS is live on mainnet, it's time to talk more about what this combination means for Ethereum. These are not minor improvements; they are shifting Ethereum into being a

Increasing bandwidth is safer than reducing latency With PeerDAS and ZKPs, we know how to scale, and potentially we can scale thousands of times compared to the status quo. The numbers become far more favorable than before (eg. see analysis here, pre and post-sharding

So, what's so hard switching from elliptic crypto to post-quantum crypto?! Uhm... 😅 first line is elliptic crypto. Second and third line *together* is post-quantum crypto 🤯

Solana Changelog x.com/i/broadcasts/1…

A must-read for anyone working on zkEVMs: “zkEVM Security Overview” by Cody Gunton offers a deep, systematic look at the security trade-offs behind proving Ethereum. zkevm.ethereum.foundation/blog/zkevm-sec…

🚨Claude Skills for Smart Contract Security are now here, all thanks to Trail of Bits Plugins for verifying security of audit fixes, scanning for common Critical vulnerabilities, pattern-matching and more. This will boost web3 developers and security researchers by A LOT🚀

wincode v0.3 released global compile-time config → compatible output with bincode 2.x standard, borsh, and more same format, faster start replacing github.com/anza-xyz/winco…

x.com/i/article/2020…