Max Gillett
@maxgillett
Followers
1K
Following
2K
Media
1
Statuses
167
San Francisco
Joined January 2009
An exciting update from myself and @benediamond ( https://t.co/bKwowXYcMB). We show that the 𝘶𝘱-𝘵𝘰-𝘤𝘢𝘱𝘢𝘤𝘪𝘵𝘺 proximity gaps conjecture is 𝗳𝗮𝗹𝘀𝗲. More precisely, given any pair c, d we construct codes whose error grows faster than nᶜ / (q ⋅ (ρ η)ᵈ).
19
94
485
Getting closer:
The next TikTok won't have any human-generated content.
0
0
3
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.
11
15
127
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.
398
942
3K
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
@CryptoPlainview @drakefjustin no one cares about the security of Bitcoin the network (it doesn't host DeFi etc. like Ethereum does), they care about security of BTC the asset, which comes from its social consensus, status as neutral reserve asset, etc. the game theory for BTC has moved offchain already
3
3
22
Re-execution could make blob congestion worse. Partial re-execution fixes this 👀
I am a fan of the native rollup vision too, but not the re-execution version. I don't think it's a good first step because it's not compatible with blob sharding (you need all the data to re-execute). Give us proofs yesterday😄
1
0
5
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.
17
62
307
We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. Designed in collaboration with @axiom_xyz and individual contributors including @maxgillett, OpenVM introduces a novel modular design allowing developers to
13
19
183
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.
26
18
107
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. https://t.co/4yIcoyRqzM
twitter.com
Let's build a better, community-owned zkVM
1
0
12
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.
7
9
89
Announcing the speaker list for ZK Social Club at SBC! Talks will be held each evening. Mon 8/28: Building Lasso (@samrags_ + @moodlezoup) Tues 8/29: Plonky3 & Valida (@maxgillett + @dlubarov) Wed 8/30: Frontier of ZK Light Clients (@pumatheuma) Thurs 8/31: ZK Hackathon Demos
2
6
72
We're excited to announce the Axiom mainnet alpha release: https://t.co/R2rr839A6P Axiom is the first ZK coprocessor scaling data-rich applications on Ethereum. Try on mainnet today.
13
117
444
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.
0
0
8
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.
Dynamic control of sequential retrieval speed in networks with heterogeneous learning rules https://t.co/9vR5WH7KMv
#biorxiv_neursci
0
3
17
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.
2
0
24
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.
0
0
5
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.
2
1
23