Felipe Argento 🐝🐧
@felipeargento
ethereum, L2s, altVMs. cofounder @cartesiproject. opinions are parroted from smarter people!
You might like
Guys, this was all my fault...while testing @Lighter_xyz I opened the first long of my life. don't worry, its already gone 😅
just read the docs, and there is a *huge* opportunity to compete and do better with actual objective slasing rather than intersubjective, which works with any token (e.g. ETH) rather than just EIGEN verifiable AI is a perfect use case for fraud proof systems like cartesi’s dave
The ecosystem is taking notice! 🥰 EigenAI + EigenCompute are live, bringing verifiability to AI and compute. Here’s what the builders, founders, and thinkers are saying 👇
Reflecting on the discourse around our recent NI fraud proof article. A fair point was raised that we should have reached out to the teams mentioned for a private review before publishing. If they felt blindsided by the publication, I sincerely apologize; that wasn't our…
Non-Interactive (NI) ZK Fraud Proofs are pitched as the "best of both worlds" for rollups. However, our latest research finds they risk being the worst of both. We've published in ethresearch an in-depth analysis of NI under adversarial conditions. 🧵
Gabriel's (@GCdePaula_ ) and Augusto’s research on non-interactive fraud proofs is a crucial contribution to the conversation: careful, public, and constructive. Works like this benefits everyone building in the space. If we want to onboard the world's finance (and much more),…
Non-Interactive (NI) ZK Fraud Proofs are pitched as the "best of both worlds" for rollups. However, our latest research finds they risk being the worst of both. We've published in ethresearch an in-depth analysis of NI under adversarial conditions. 🧵
Non-Interactive (NI) ZK Fraud Proofs are pitched as the "best of both worlds" for rollups. However, our latest research finds they risk being the worst of both. We've published in ethresearch an in-depth analysis of NI under adversarial conditions. 🧵
I'd like to see more ETH aligned L2s
Fraud/Validity Proof systems are complex software — they are non-trivial algorithms with many edge cases (Validity proofs have also hard math involved). We are seeing a rush to bring validity proofs to protect the general-purpose L2s like Optimism and Arbitrum, but Optimistic…
What if you could build in Web3 with the same tools you use in Web2? That’s the idea behind @cartesiproject, a Linux-powered rollup framework bringing Python, Rust, Go & more into the blockchain world. I sat down with @joaopdgarcia to talk about: – Why Cartesi works with the…
Ethereum is the world computer
Diego Nehab of @cartesiproject explored the use of RISC-V’s supervisor mode and privileged extensions: 🔹 Highlighted that EVM embeds OS-level behavior into the VM 🔹 Proposed shifting part of the L1 system logic into RISC-V “firmware” inside the VM, allowing updates without…
Watch co-founder Diego Nehab’s segment on the latest @eth_proofs call, “Enshrine RISC-V?”. He outlines why the RISC-V privileged ISA matters, what we unlock by supporting it in the Cartesi Machine, and shares intuitions for why Ethereum L1 should also consider the privileged ISA…
The recent @eth_proofs Call #4 focused on the proposal to enshrine RISC-V at @ethereum L1, diving into the technical, architectural, and philosophical implications of using a standard ISA for zkVMs and Ethereum clients. The two-hour session featured updates from teams building…
I’m 100% on the same page. The Infinite Garden is only infinite if we allow the entire design space to be explored. Not everything will be EVM, not everything will be ZK, and not every app will favor the same properties. But they’ll all share one thing: they’ll all settle on…
I’ve seen several posts over the past few days throwing shade at different L2 constructs, notably optimistic ones. One of the selling points of the L2 roadmap is that it offers a large design space: not every L2 needs to be EVM-based with validity proofs! Optimistic proof…
AI just made me a presentation about Cartesi Machine (my daily work). Finally AI is handling the explanations so I can focus on the actual systems programming. Great overview if you're curious about what systems engineers like me are building. @cartesiproject @NotebookLM
At @cartesiproject we are seeing interesting outcomes being built in partnership with @uff_br, a university in Rio de Janeiro, Brazil. For those interested on this topic I would like to recommend watching professor Guto Rocha on the following podcast: youtube.com/live/NKAY-ZIuv…
youtube.com
YouTube
Brain to Board with UFF Professor Antonio Rocha | S3 EP10
I had 2 minutes to talk about why @cartesiproject is building on @ethereum today. This is what I said: We’re building on Ethereum because it is the most secure and best smart contract platform out there. It’s a movement of incredible projects, with amazing cultures and massive…
This is a great lecture on @EthereumEngineeringGroup about using the Linux stack as a smart contract. youtube.com/watch?v=ofb7MJ… With PRT or Dave, appchain builders can have full decentralization without training wheels.
youtube.com
YouTube
Cartesi: App Specific Rollup / Using the Linux stack as though it was...
Very proud about the work @cartesiproject is doing on aligning its strategic direction across every team, promoting a strong alignment and a radical focus. Also nice to see the new approach for collaboratively setting goals (letting the collective intelligence work) starting to…
The BridgeBeat angle would help when reviewing appchains too. They wouldn’t have to go through the internal logic of each application to judge its trust assumptions. Anyway, just quick thoughts…@l2beat knows what they’re doing :)
Actually extremely bullish for the Rollups Aren't Real crowd. Generally the problem here is that L2Beat should really be BridgeBeat. Quick thread to dump thoughts...
Very much this. L2-centric roadmap’s biggest advantage is that it allows for experimentation and customization while adding value to the broad Ethereum ecosystem. It creates a culture that is hard to copy or build from scratch.
L2s are not JUST for scalability, they’re also for permissionless innovation. Different VMs, different architectures, different economics. Different needs, different assumptions. Permissionless experimentation without threatening the sacred properties that make shared base layer…
United States Trends
- 1. Happy Birthday Charlie 16.3K posts
- 2. Good Tuesday 19.9K posts
- 3. #Worlds2025 21.4K posts
- 4. Bears 90.9K posts
- 5. Blake Snell 17.4K posts
- 6. Caleb 50.5K posts
- 7. Joji 34.1K posts
- 8. Jake Moody 14.2K posts
- 9. Jayden 23.2K posts
- 10. Commanders 53K posts
- 11. Swift 291K posts
- 12. Josh Allen 27.5K posts
- 13. #BearDown 2,450 posts
- 14. Treinen 4,766 posts
- 15. Ben Johnson 4,565 posts
- 16. Pentagon 65.8K posts
- 17. Turang 4,451 posts
- 18. Roki 6,169 posts
- 19. Conquered 28.8K posts
- 20. Bijan 34K posts
You might like
-
Dazzle
@Dazzle_Aetheras -
Crypto Monster
@ibrahimklczb -
Nethermind
@NethermindEth -
Vyper
@vyperlang -
Colin Steil 🐝🐧
@colinsteil -
bartek.eth
@bkiepuszewski -
hildobby
@hildobby -
Robbie Ferguson | Immutable
@0xferg -
Alfa
@alfaketchum -
Api3
@Api3DAO -
metal
@metaldotbuild -
Botto
@bottoproject -
ARC
@arc4g -
Evanss6
@Evan_ss6 -
XRAY/Network
@xray_network
Something went wrong.
Something went wrong.