Unlocking new powerful use cases for builders! Solana core devs cooking!

Never count Ethereum builders out.

💯

Highly tempting side project

MPBC on Ethereum! Exciting times!

I haven’t been as excited about a programming language since when I first started learning Rust. Lean4 is an extremely powerful language. However, one thing it’s missing is good tutorials and examples! So I built an online Lean4 learning tool! I predict Lean becoming one of the most popular languages in the coming years amongst AI labs, blockchain researchers, and agents. It’s what powers verifiable auto-research. Lean4 increases the velocity at which humanity can make mathematical discoveries. To be ahead of the curve, learn some lean today! Open to feedback and suggestions! 😅 leanlanguage.app

Each topic is paired with a curated free resource, with SKIM / SOLID / DEEP levels to help you understand how deeply to study each topic. Contributions welcome! PRs are open for better resources, corrections, and missing topics.

There are tons of free ZK resources out there. The hard part is knowing what to learn, and in what order. So I built a curated ZK learning roadmap: Math → Cryptography → SNARKs/STARKs → Prover Engineering → zkVMs github.com/SrishtiCode/ZKRoa…

Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge. Read more: zakura.com/engineering/ironw…

good methodology for finding lucrative farms rn: 1. check stonksonchain(.)lol by @econoar to get an intuition of which stocks are being most used as meme base pairs 2. verify the stock on @rialto_xyz explorer to make sure its legit - great explorer btw 3. go on @revertfinance -> Create position -> filter by RWA and robinhood, find stock pools paired against USDG or WETH 4. Add liquidity to existing pools, or set up new ones if you know how note: checking "top positions" on @revertfinance is all direct memecoin LPs, extremely high APR but very high chance you get rekt when it rugs and you are left holding the bag. my advice is to focus on LPing stocks against USDG or WETH (or even some other asset if you think you can set up a high volume route 👀) and still be able to make money off the memecoin craze without playing rugpull roulette

Max transaction size is growing by more than 3x A new transaction format, Transaction V1 (SIMD-0385), activates on testnet at epoch 1025 raising the transaction size limit from 1,232 to 4,096 bytes. Use cases like ZK proofs, large multisigs, BLS signatures, and confidential transfers that required multiple transactions now fit in one atomic operation. In addition to larger max transaction size, Transaction V1 configures transaction resource requests (such as priority fee) in the new V1 header instead of using compute budget instructions. Transaction V1 is opt-in. Legacy (the original format) and V0 (the format that added address lookup tables) remain supported. Existing apps continue working as is, and can adopt V1 on their own timeline. RPC operators: update to v4.2.2 or v4.3.0-beta.3 to serve the larger size.

BREAKING: @ZakuraZcash achieves a cryptographic breakthrough. Zakura Common is a next-generation collection of libraries for the Zcash ecosystem. 14× faster proving. 21× faster hashing. 4–8× faster verification. 1.5× faster trial decryption.

On @RobinhoodCrypto chain 48% of RWA volume occurred in liquidity pools pairing a memecoin with an RWA. Interesting piece of research

Falcon-512 signature verification is 3.6us on Zen5, 2.6x faster than the ref impl! (ed25519 is 15us on the same machine) Firedancer -> eprint: eprint.iacr.org/2026/1539 All code is open and results are easy to repro: github.com/JumpCrypto/falcon How fast is it on your machine?

Leader-based consensus does not have to suffer its bad leaders. Today we introduce a new protocol: Hermes. Hermes is a two-round BFT protocol at n=5f+1 in which views are never nullified or skipped, instead finalizing the heaviest common prefix of inputs.

100M CU blocks are live on mainnet. SIMD-0286 raises the block limit from 60M → 100M compute units. 66% more capacity. solana.com/upgrades/100m-cu-…