Happy to share a working FRI verifier circuit for the BN254 scalar field (soon to support Goldilocks). This is an important step in bringing faster recursion to Halo2. Any feedback or contributions are greatly appreciated. github.com/maxgillett/hal…

We've protected users from malicious RPCs (Helios, Kevlar, etc), but not from themselves. Open to funding anyone working on middleware like the one described below.

If your argument for switching L1s boils down to language support, then you don't understand the full implications of zkVMs, nor the minefield that is shared state.

It's funny how RAP VMs become almost trivial to design when moving to the boolean hypercube and sumcheck-based PIOPs. Just need to write down a single constraint with a high degree selector to toggle between operations. Get better memory consumption and proving time too.

The crypto space is full of products built on forked code at every layer of the stack. Many teams change parameters, and some actively make it worse. Almost none of them survive long term. Very few do the hard work of improving the code beyond what the original authors achieved.

Happy to share work on a simple model for experimentally observed temporal rescaling of sequential activity. We find that varying temporal asymmetry of the learning rule across synapses gives rise to network mechanisms for speed control as a function of external inputs.

Everything will be freely financialized, and all bullshit will be automated. This is what annoys crypto and language model opponents, even if they can't articulate it.

Zatoshi Weikeng Chen | BIP-420 🐱 If you can’t beat ‘em, join em

We're excited to announce the Axiom mainnet alpha release: axiom.xyz/blog/alpha Axiom is the first ZK coprocessor scaling data-rich applications on Ethereum. Try on mainnet today.

Announcing the speaker list for ZK Social Club at SBC! Talks will be held each evening. Mon 8/28: Building Lasso (Sam Ragsdale + moodle zoup) Tues 8/29: Plonky3 & Valida (Max Gillett + Daniel Lubarov) Wed 8/30: Frontier of ZK Light Clients (Uma Roy) Thurs 8/31: ZK Hackathon Demos

Valida is not a for-profit company, is selling no services, and will never have a token of any kind. It's building a public good (the Valida VM), and seeking contributors and aligned stakeholders who want to improve zkVM performance and usability.

We've noticed some accounts impersonating the Valida project on Twitter. The official account is now live and linked below. Please follow for upcoming announcements. x.com/valida_xyz

We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. OpenVM introduces a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system in one unified framework.

Announcing OpenVM, an open-source zkVM framework prioritizing customization and extensibility at every level of the stack. OpenVM achieves this with a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system within one unified framework.

We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. Designed in collaboration with Axiom and individual contributors including Max Gillett, OpenVM introduces a novel modular design allowing developers to

Re-execution could make blob congestion worse. Partial re-execution fixes this 👀

Dear Diary, 2034 of our Lord Satoshi —today the last Bitcoin miner powered down their rig. MicroStrategy completed The Merge by broadcasting a ZeroSync proof to Ethereum, forever enshrining BTC as the ultimate ERC20. Let the skeptics fuss over onchain security; we know true

Today's a good day to remember why we're here. We're building the future of finance—internet finance. Unstoppable global free trade, not trade wars. Credible neutrality, not entrenched interests. Permissionless innovation, not bureaucracy. Undebasable money, not money printers.

The problem to solve isn't monetizing every piece of low-effort slop. It is instead coordinating, incentivizing, and rewarding high-value output which aligns with, and meaningfully contributes to humanity and its future.