Francisco Moura (@chicodudu) 's Twitter Profile
Francisco Moura

@chicodudu

Computer Engineer, entrepreneur, lean startup enthusiastic and tricolor de coração

ID: 60468795

calendar_today27-07-2009 02:54:17

1,1K Tweet

68 Takipçi

169 Takip Edilen

Cartesi Brasil (@cartesibr) 's Twitter Profile Photo

Cartesi Honeypot comemora o seu primeiro aniversário! 🎉 Estamos celebrando um ano provando a segurança dos Cartesi Rollups. ➡️ honeypot.cartesi.io

Cartesi Honeypot comemora o seu primeiro aniversário! 🎉

Estamos celebrando um ano provando a segurança dos Cartesi Rollups.

➡️ honeypot.cartesi.io
L2BEAT 💗 (@l2beat) 's Twitter Profile Photo

Day 21 of the L2BEAT Advent Calendar! 🔹 Honeypot 🍯 - an application-specific rollup designed to challenge the security of Cartesi rollups. 🧵 Full analysis below! 👇

Day 21 of the L2BEAT Advent Calendar!

🔹 Honeypot 🍯 - an application-specific rollup designed to challenge the security of <a href="/cartesiproject/">Cartesi</a> rollups.

🧵 Full analysis below! 👇
Gabriel Coutinho de Paula 🐝 🐧 (@gcdepaula_) 's Twitter Profile Photo

I can’t overstate how cool the Cartesi Machine is. It really is a real computer like the ones we use everyday — it can boot Linux and run doom, with real-time rendering (!!) For the nerds: it implements a fully deterministic rv64gc ISA. Check the readme for a better description

Felipe Argento 🐝🐧 (@felipeargento) 's Twitter Profile Photo

Yes, I saw vitalik.eth '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),

Yes, I saw <a href="/VitalikButerin/">vitalik.eth</a> '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),
Claudio Silva 🐧 (@claudioengdist) 's Twitter Profile Photo

Here we go! Cartesi 's rollups-contracts v2 is live! These contracts are used by the new Honeypot with fraud-proof. GitHub Releases: github.com/cartesi/rollup… Cannon package: usecannon.com/packages/carte… 19 days for L2s recategorization on L2BEAT 💗 !

Claudio Silva 🐧 (@claudioengdist) 's Twitter Profile Photo

Isn't it amazing to work on a project in which development has significant progress every day!? 😍 We are polishing instructions on how to run Cartesi's new honeypot with fraud-proof locally by anyone. We're 13 days for L2s recategorization on L2BEAT website!

Claudio Silva 🐧 (@claudioengdist) 's Twitter Profile Photo

New Cartesi's Honeypot with fraud-proof is live on Mainnet! Team is starting to work on L2BEAT's config file and docs updating. Soon there will be instructions on how to run a validator node. ⌛️L2's recategorization on L2BEAT website in 8 days!

Claudio Silva 🐧 (@claudioengdist) 's Twitter Profile Photo

It is still a draft recipe, but will allow you to run a local node for Cartesi's new Honeypot with PRT fraud-proof mechanism. github.com/cartesi/honeyp… ⏳L2s recategorization on L2BEAT happening in 6 days 💗

Erick de Moura 🐝 🐧 (@erickdemoura) 's Twitter Profile Photo

What gets measured gets trusted. Honeypots offer a permissionless signal with real funds, real exposure, and real time. It's a path for the L2 ecosystem to converge on a credible Stage 2.

Gabriel Coutinho de Paula 🐝 🐧 (@gcdepaula_) 's Twitter Profile Photo

For everyone who believes in public utilities, here’s a new one: Cartesi PRT — a truly decentralized fraud proof system, free and open source. Built by a small team and given to the world. This has been a long and remarkable journey: from first principles, to research, to

Erick de Moura 🐝 🐧 (@erickdemoura) 's Twitter Profile Photo

L2Beat has given the Ethereum ecosystem a great gift. Kudos to them. Also, kudos to the Cartesi team for meeting the standards in time.

bartek.eth (@bkiepuszewski) 's Twitter Profile Photo

Study Cartesi , 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👇

Cartesi (@cartesiproject) 's Twitter Profile Photo

GM from software that's both backward and forward compatible, with high-performance computing onchain. Secured by its own fraud-proof system. That’s Stage 2 Cartesi Rollups!

Felipe Moura Brasil (@fmourabrasil) 's Twitter Profile Photo

Lula, ao defender na Argentina a liberdade de Cristina Kirchner exibindo o cartaz “Cristina libre”, deu legitimidade a qualquer manifestação de Trump, ou de outro presidente à direita, em defesa de Jair Bolsonaro, réu no STF por trama golpista. Um presidente que se mete

Lula, ao defender na Argentina a liberdade de Cristina Kirchner exibindo o cartaz “Cristina libre”, deu legitimidade a qualquer manifestação de Trump, ou de outro presidente à direita, em defesa de Jair Bolsonaro, réu no STF por trama golpista.

Um presidente que se mete
Claudio Silva 🐧 (@claudioengdist) 's Twitter Profile Photo

Cannot wait until tomorrow to watch Cartesi's podcast "Brain to Board" with L2BEAT 💗 Researchers, Bartek Kiepuszwski and Luca Donno! 💗 📅Save the date: youtube.com/live/6N0361jBH…

Felipe Argento 🐝🐧 (@felipeargento) 's Twitter Profile Photo

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