SubEtha is now public. Official website and developer docs for private x402 payments settled on zERC20. AI agents pay APIs. The payment is public. The link is not. Open-source local reference implementation. Details below ↓

I updated my 2023 roadmap diagram to overlay where the items that were there sit in the current Strawmap ( ). In general, a lot of overlap, but: * Some things got reshuffled in order (eg. quantum safety up-prioritized) * Some things deprioritized (eg. VDFs; many EVM improvements) * Some things replaced with superior constructions (eg. Verkle -> unified BT -> PBT; state expiry -> new state types) What's most striking, however, is that some completely new things are in the strawmap that are NOT in this diagram, because they were not in the 2023 roadmap at all. These reflect changing priorities. Notably: * First-class attention to strong privacy. This covers: keyed nonces and recent roots, aspects of FOCIL, lean privacy pool & wormholes * Aggressive scaling in the context of post-quantum. This covers: leanSPHINCS signatures and aggregation, zkzk frames (see ) * Lean-ification of the spec, to assist in formal verification (full FV of everything is only possible because of modern AI) * Blob and gas futures (this idea just didn't exist back in 2023) * Native rollups (SNARKs were nowhere near mature enough to even consider this back in 2023) * A more open design space for the "future of the EVM". zkzk frames already implies that the protocol will expose to users some ISA that's not the EVM - current leading candidates are leanISA and RISC-V. These ISAs are more simple, modern and efficient than the EVM. Once they're there, why not expose them to developers everywhere? (And then, why not turn the EVM into being an IR on top of that ISA, instead of an enshrined feature massively complicating the base protocol?) Though much of the deeper exploration here is too early even for the strawmap. * New state types are not just a replacement for expiry, they're a fundamentally different paradigm to how Ethereum does scaling A common theme in scaling, found in both state types and zkzk frames (both new ideas), is that instead of trying to maximally scale ALL ethereum activity, we try to create specialized mechanisms that have more restrictive properties that make them more scaling-friendly, while supporting the heaviest loads incurred by users and applications today (eg. token transfers, swaps) and tomorrow (eg. privacy protocols). The other common theme is treating STARKs and AI-accelerated FV as first-class objects, that we are okay betting the technical future of Ethereum on. There are recursive STARKs in many layers of the protocol, one particular primitive (the "aggregate to union verified dependencies" primitive) is expected to be used in *three* places in the protocol: EL, CL and DL. This can only be safe with formal verification, which is itself only feasible with modern AI tools. In general, many steps forward in maturity. And a huge amount of hard work by many dozens of Ethereum researchers and developers on all of these features. Ethereum will be quantum-safe. Ethereum will put users' privacy first. Ethereum will be secure. Ethereum will be censorship-resistant. Ethereum will be highly performant and scalable while satisfying the above. And Ethereum will be Lean.

Every wallet choice comes with tradeoffs. No one should keep their life savings in the same wallet they use for everyday convenience. The wallet page actually gets the most visits on It feels like one of the places where we can improve guidance.

Today marks 3 years of Base A lot has happened: - Almost $5B in TVL - $46T in stablecoin volume - 90% of all x402 transactions All of this is thanks to the builders and believers Still day one

本日、HashPortはローソンにおいて日本初となるコンビニでのステーブルコイン決済を成功させました。 ユーザーは「HashPort Wallet」、店舗は通常のコンビニPOSに組み込まれた「HashPort Wallet for Biz」を利用する形で、普段のコンビニ決済と変わらないスムーズなステーブルコイン決済を多くの方に体験いただきました。 HashPortの独自技術を基にしたガスレスでの決済は、本実証でのみ行われ、スピードが求められる決済環境において真価を発揮しました。 今回の日本初となる実証に一緒に取り組んでいただいた、ローソン、JPYC、キャナルペイメント、KDDIの各社様に改めて感謝申し上げます。 一企業にとっては小さな一歩ですが、ステーブルコインの普及にとっては偉大な飛躍であると信じております。 現場では、テレビ、新聞、専門メディアの多くの記者の方にご取材をいただき、ステーブルコイン決済への関心の高さを改めて実感しました。 これからもウォレットとステーブルコインの社会実装のために頑張って参ります。

0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise. A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵