Danilo Tuler 🐧

1.3K posts

Danilo Tuler 🐧 banner
Danilo Tuler 🐧

Danilo Tuler 🐧

@dtuler

Open-source developer, entrepreneur, blockchain engineer. @cartesiproject contributor.

NJ Bergabung Mart 2009
258 Mengikuti270 Pengikut
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
@GiulioRebuffo @gakonst The experience is great. But there may be decentralization compromises along the way of having that kind of experience, no? Passkeys for example are great, but attached to domains.
English
0
0
0
201
Giulio Rebuffo
Giulio Rebuffo@GiulioRebuffo·
I just tried wallet.tempo.xyz, made a wallet and I will probably build some stuff over the weekend. However, the login experience made me reflect on some things: 1. Account abstraction is actually as easy as the Paradigm bros were telling us. 2. Ethereum needs this ASAP. we can't wait for a bunch of wallets to slowly integrate this. strongly starting to believe that this needs to happen fast and waiting is increasingly a mistake.
English
21
10
175
22.9K
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
This once again corroborates to @cartesiproject thesis, a L2 framework with a real differentiation, a powerful alt-VM for powerful applications. Stay tuned.
vitalik.eth@VitalikButerin

There have recently been some discussions on the ongoing role of L2s in the Ethereum ecosystem, especially in the face of two facts: * L2s' progress to stage 2 (and, secondarily, on interop) has been far slower and more difficult than originally expected * L1 itself is scaling, fees are very low, and gaslimits are projected to increase greatly in 2026 Both of these facts, for their own separate reasons, mean that the original vision of L2s and their role in Ethereum no longer makes sense, and we need a new path. First, let us recap the original vision. Ethereum needs to scale. The definition of "Ethereum scaling" is the existence of large quantities of block space that is backed by the full faith and credit of Ethereum - that is, block space where, if you do things (including with ETH) inside that block space, your activities are guaranteed to be valid, uncensored, unreverted, untouched, as long as Ethereum itself functions. If you create a 10000 TPS EVM where its connection to L1 is mediated by a multisig bridge, then you are not scaling Ethereum. This vision no longer makes sense. L1 does not need L2s to be "branded shards", because L1 is itself scaling. And L2s are not able or willing to satisfy the properties that a true "branded shard" would require. I've even seen at least one explicitly saying that they may never want to go beyond stage 1, not just for technical reasons around ZK-EVM safety, but also because their customers' regulatory needs require them to have ultimate control. This may be doing the right thing for your customers. But it should be obvious that if you are doing this, then you are not "scaling Ethereum" in the sense meant by the rollup-centric roadmap. But that's fine! it's fine because Ethereum itself is now scaling directly on L1, with large planned increases to its gas limit this year and the years ahead. We should stop thinking about L2s as literally being "branded shards" of Ethereum, with the social status and responsibilities that this entails. Instead, we can think of L2s as being a full spectrum, which includes both chains backed by the full faith and credit of Ethereum with various unique properties (eg. not just EVM), as well as a whole array of options at different levels of connection to Ethereum, that each person (or bot) is free to care about or not care about depending on their needs. What would I do today if I were an L2? * Identify a value add other than "scaling". Examples: (i) non-EVM specialized features/VMs around privacy, (ii) efficiency specialized around a particular application, (iii) truly extreme levels of scaling that even a greatly expanded L1 will not do, (iv) a totally different design for non-financial applications, eg. social, identity, AI, (v) ultra-low-latency and other sequencing properties, (vi) maybe built-in oracles or decentralized dispute resolution or other "non-computationally-verifiable" features * Be stage 1 at the minimum (otherwise you really are just a separate L1 with a bridge, and you should just call yourself that) if you're doing things with ETH or other ethereum-issued assets * Support maximum interoperability with Ethereum, though this will differ for each one (eg. what if you're not EVM, or even not financial?) From Ethereum's side, over the past few months I've become more convinced of the value of the native rollup precompile, particuarly once we have enshrined ZK-EVM proofs that we need anyway to scale L1. This is a precompile that verifies a ZK-EVM proof, and it's "part of Ethereum", so (i) it auto-upgrades along with Ethereum, and (ii) if the precompile has a bug, Ethereum will hard-fork to fix the bug. The native rollup precompile would make full, security-council-free, EVM verification accessible. We should spend much more time working out how to design it in such a way that if your L2 is "EVM plus other stuff", then the native rollup precompile would verify the EVM, and you only have to bring your own prover for the "other stuff" (eg. Stylus). This might involve a canonical way of exposing a lookup table between contract call inputs and outputs, and letting you provide your own values to the lookup table (that you would prove separately). This would make it easy to have safe, strong, trustless interoperability with Ethereum. It also enables synchronous composability (see: ethresear.ch/t/combining-pr… and ethresear.ch/t/synchronous-… ). And from there, it's each L2's choice exactly what they want to build. Don't just "extend L1", figure out something new to add. This of course means that some will add things that are trust-dependent, or backdoored, or otherwise insecure; this is unavoidable in a permissionless ecosystem where developers have freedom. Our job should make to make it clear to users what guarantees they have, and to build up the strongest Ethereum that we can.

English
1
1
9
553
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
In my childhood Greenland was the way to invade Europe from the US, or vice-versa. (War is the Brazilian version or Risk)
Danilo Tuler 🐧 tweet media
English
0
0
2
37
Elon Musk
Elon Musk@elonmusk·
Tesla will stop selling FSD after Feb 14. FSD will only be available as a monthly subscription thereafter.
English
17.6K
6.5K
91.9K
60.6M
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
Curious about what kind of centralized infrastructure @baseapp depends on.
English
0
0
3
84
Danilo Tuler 🐧 me-retweet
bartek.eth
bartek.eth@bkiepuszewski·
Study @cartesiproject , IMO this is how projects should be launched. Honeypot to test their proof system, immutable contracts. Such a different way to launch a product. I hope bounty will increase and there will be enough hackers/researchers to look at their proof system👇
L2BEAT 💗@l2beat

New project on L2BEAT: @cartesiproject PRT Honeypot. Stage 2 Appchain with a (major) twist. ⚫ Before you ape into this, reconsider: You will lose all your funds. Why? 👇

English
5
17
63
5.4K
Danilo Tuler 🐧 me-retweet
L2BEAT 💗
L2BEAT 💗@l2beat·
New project on L2BEAT: @cartesiproject PRT Honeypot. Stage 2 Appchain with a (major) twist. ⚫ Before you ape into this, reconsider: You will lose all your funds. Why? 👇
L2BEAT 💗 tweet media
English
8
20
93
18.8K
Danilo Tuler 🐧 me-retweet
Cartesi
Cartesi@cartesiproject·
Meet the Cartesi PRT Honeypot 🍯🐝🐧 Our first rollup application equipped with the PRT fraud-proof system, putting the appchain stack to the test. It’s a key milestone toward decentralization and trustless security, in line with @l2beat’s standards. ➝ cartesi.io/blog/introduci…
L2BEAT 💗@l2beat

L2BEAT Recategorisation is LIVE! 🔀 This is the biggest update to our framework yet - redefining what it truly means to be an Ethereum L2. 130+ projects re-evaluated. New standards. Clearer definitions. Higher expectations. Here’s what changed - and why it matters 👇

English
10
61
103
17.4K
Felipe Argento 🐝🐧
Felipe Argento 🐝🐧@felipeargento·
Honeypots could be a guidepost for stage-2 migration We’re ~13 days out from @l2beat 's recategorization window, and @cartesiproject 's Honeypot v2 is heading to mainnet as a fully permissionless immutable Stage 2 rollup. The contracts are in final review: once they’re live we’ll submit to L2Beat and let the public process run its course. It’s going to be tight, but the external deadline has been a great forcing function for focus. A caveat on the “stage-upgrade” debate is the asymmetry between app-specific rollups and general-purpose rollups: appchain developers can permissionlessly spin up a Stage-2 instance and choose the amount of funds that enter it. If it's fraud-proof system breaks and the application settles incorrectly, only that limited TVL is at risk and the blast radius stays confined to a single application. By contrast, a general-purpose rollup settles all apps together: turning off the security council is an existential risk since every contract and every user balance inherits the same risk profile. Stage-2 activation can be straightforward (and comparatively low-stakes) for appchains, yet a high-stakes decision for shared rollups. Still, general-purpose rollups will need a credible path away from security councils and I believe the honeypot approach can help as well. We built the Honeypot as a separate deployment that mirrors the production rollup SDK but only holds funds we’re prepared to lose ourselves. If the fraud-proof system fails, we take the hit, not end users. The pot is fully open to attack, finding bugs is encouraged, there are no multisig escape hatches, and we actively encourage white-hat attempts. I believe every rollup, including the general purpose ones, could follow the idea: - Stage 0/1 "rollup" can clone itself into a Stage 2 “honeypot.” - Projects move a piece of their own treasury or team-controlled liquidity there first. - Track how long those funds remain uncompromised and how much value one is willing to stake on their proof system. At Cartesi, we usually increase the funds gradually as we gain more and more confidence. - Publish the pot size and “days without incident” as a financial confidence signal. A visible honeypot provides a concrete benchmark: “Rollup X has had $50 million sitting guarded solely by the proof system for six months; no exploit, no counsel to veto attacks.” That data point is hard to ignore when deciding whether to remove training wheels. In sum, the honeypot: - Aligns incentives: teams signal trust in their own code before asking users to trust it. - Quantifies security: the pot size and longevity become a live, verifiable metric. - Encourages responsible progression: instead of a binary “switch,” projects can scale the pot as assurance grows. I’ll try to write an in-depth blogpost on it when things calm down a bit. But wanted to share some thoughts here first. What do you think? Should all of us be launching honeypots?
English
4
10
30
5.4K
Luka Isailovic
Luka Isailovic@lukaisailovic·
@dtuler @reown_ @coinbase 7715 is supported by a few wallets, including MetaMask as well. As more wallets adopt 7702 and smart accounts get widely available, the adoption is bound to increase
English
1
0
0
51
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
I created @OnChessProject mostly as a demo application to experiment with EIPs that tackles UX issues. The code is based on EIP-5792 and ERC-7715. Unfortunately very few wallets support EIP-5792, @zerodev_app Kernel dropped support, @Alchemy Smart Accounts don't support.
English
3
0
5
229
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
Another annoyance is how no ERC-4337 provider support local development, and rely on testnets for development. Testnet is for testing, not for development. I hope Porto by @ithacaxyz helps to improve the dev experience for ERC-4337 (and EIP-7702).
English
1
0
2
141
Danilo Tuler 🐧
Danilo Tuler 🐧@dtuler·
And ERC-7715, initially proposed by @reown_ does not seem to get enough traction. @coinbase wallet gave up and went to another direction with ERC-7895.
English
6
0
2
189
Danilo Tuler 🐧 me-retweet
Felipe Argento 🐝🐧
Felipe Argento 🐝🐧@felipeargento·
Yes, I saw @VitalikButerin 's post on replacing the EVM with RISC-V, and I’m really glad to see this direction being explored! We built a high-performance RISC-V emulator: fully deterministic, reproducible, with complete RV64GC ISA support (both privileged and unprivileged), state inspection, and Merkle tree computation. Doing that, we’ve built deep expertise in RISC-V and EEs, and we’d be glad to contribute. If you're connected to Vitalik, @tkstanczak , or others driving this forward, please pass it along...we’d love to help. We’re Ethereum too. Everything we build is open, permissive, and public. And it’d be a pleasure to, however we can, contribute.
Felipe Argento 🐝🐧 tweet media
English
10
15
62
3.5K