Cartesi

1年後もなお印象的だ：Cartesi Machineは開発者が待ち望んでいたブロックチェーン実行環境である。数十年分のソフトウェアが手の届く範囲にあり、完全に決定論的なRISC-V、許可なしの偽造証明で保護され、Ethereumと互換性があり、将来にわたって対応可能な環境である。

リポスト：https://x.com/felipeargento/status/1879263901914951854

新しい年には透明性報告書の作成が求められます。
Cartesi Foundationがエコシステムをどのように支援したか、また多様化された財務基金がプロジェクト全体の助成金、研究、運用にどのように配分されたかをご紹介します。これにより、長期的な持続可能性を確保することを目指しています。
↓
https://cartesi.io/blog/transparency_report_2025/

リポスト: https://x.com/cartesiproject/status/2011075827962925068

GM Cartesi。GM Linux。GM Ethereum。

GM、でも意図的にして。

リポスト：https://x.com/cartesiproject/status/2010713419511693665

It’s Friday, and here comes the first Cartesi Weekly of the year, with your roundup of what happened this week in the ecosystem 🐧

Let’s start by checking out L2BEAT’s monthly recap for a look back at December’s Cartesi tech news, including enhancements in the Cartesi Execution Environment, the latest Cartesi Rollups Node release adding foundational support for PRT fraud proof system consensus flows, and more:
→ https://l2beat.com/publications/monthly-update-2025-12

Honeypot, the creative bug bounty app for open, incentivized community audits of Cartesi tech, is thriving with its new bond mechanism, strengthening the PRT fraud proof system and now featuring 50,000 $CTSI tokens up for grabs:
→ https://x.com/cartesiproject/status/2008539080867668351

Vibecoding is making headlines these days. Want to give it a try and vibe-code a simple Cartesi app with Cursor? Look no further:
→ https://x.com/cartesiproject/status/2009263990011216110

The holidays might be over, but the gifts are still rolling in as merch packs arrive around the world to their winners. Check out these unboxings shared by Swarup & GoodnessMbakara, and we hope to see many more:, and we hope to see many more:
→ https://x.com/Swarup54502259/status/2008088147792703494
→ https://x.com/Goodnesmbakara/status/2008868005569249448

To end the week on a lighter note, here’s a solid meme by Security Trybe from the big garden of CT:
→ https://x.com/SecurityTrybe/status/2008321485639667835?s=20

Now let’s touch some grass. January is in full swing, and builds are heating up. Are you with us?

Repost: https://x.com/cartesiproject/status/2009626317457961240?s=46&t=tt0vf2syxA00nU3tvp5kFQ

Vibecoding is thriving. But did you ever vibecode a Cartesi app? Word is, vibecoding in mainstream programming languages is where it’s at.

Throwback Thursday to this quick tutorial by our contributor Shaheen Ahmed on building a simple voting app with Cursor.

Repost: https://x.com/riseandshaheen/status/1986313297755578424

今日はその日です！エスプレッソファウンデーションが$ESP登録ポータルがライブであることを発表しました。以前にお知らせしたように、長期の$CTSIステーキングを行っている方はエアドロップの対象となる可能性があります。ウォレットアドレスを注意深く確認してください！

唯一の公式ポータル ⤵️
https://claim.espresso.foundation

質問や疑問がある場合は、公式チャネルを通じてエスプレッソにお問い合わせください。そして、@EspressoSysとその全チームにこの大きな発表を祝うために一緒に集まりましょう！

お知らせ ↓
https://x.com/espressoFNDN/status/1986871911025123380

リツイート: https://x.com/cartesiproject/status/2003234102842130439

Another week is coming to an end, and another Cartesi Weekly is coming to your feed 🐧

The PRT Honeypot v2 is preparing to receive a bounty top-up. In the meantime, a new feature has been added to its page: a visualization banner showing when a dispute is ongoing. See it for yourself here:
→ https://honeypot.cartesi.io/

You can now observe the PRT fraud proof system in action, hard at work protecting the correct outcome. You can also trace the exact transaction that triggered a dispute, or even submit a transaction yourself on the Sepolia testnet to trigger a dispute, thanks to a tool created by the DevAdvocacy team:
→ merkle.mugen.builders

And speaking of DevAdvocacy, this week its Lead, Joao Garcia, joined Narb on the DevNTell podcast at Developer DAO, breaking down all the tech concepts for the audience. ICYMI, catch the recording here:
→ https://www.youtube.com/watch?v=Oe3Jv9wnkos

And for Portuguese speakers, there’s a treat as well: check out this latest article published on Livecoins, authored by Bruno Maia, exploring the intersection of blockchain and AI:
→ https://livecoins.com.br/blockchain-e-ia-trazendo-confianca-para-um-ecossistema-fragmentado/

And last but not least, the Holiday Quests are in full swing, rewarding devs and non devs for tech challenges and engagement tasks. Keep an eye on this feed over the coming days as we count down to Christmas with the Penguin Advent Calendar.

Congratulations to the community members Divesh, dejavu, Black Adam, PrinceNonso, and Moonzz for their wins so far. Next chance tomorrow to score a merch pack. Who will be the lucky one?

Until then, slide into the weekend, and if you are up for chatting, let’s do so on Telegram at t.me/cartesiproject. Have a good one!

Repost: https://fxtwitter.com/cartesiproject/status/2002046382476329039

今、実際に紛争が発生しているかどうかをリアルタイムで確認でき、Cartesiの詐欺防止メカニズムPRTが誠実な結果を特定し、実行するために一生懸命に働いている様子を確認できます。これは、https://honeypot.cartesi.io/ で既に表示されている便利なポップアップバナーのおかげです。

どのトランザクションが紛争を引き起こしたのかに興味がありますか？それを透明でわかりやすい方法で見ることができます。この場合 ↓
https://etherscan.io/address/0xff30565858d0d9754e580a08cbf12aeb3e86b147

詐欺防止システムに関与するには、紛争を引き起こすトランザクションを提出し、Shaheen Ahmedによって示されたメルクルツリー可視化ツールでPRTの動作を実際に見ることができます。また、現在は合成データで表示されている未来の紛争可視化ツールの先行プレビューも見ることができます。

Sepoliaテストネットで自分自身でツールを試してみてください: https://merkle.mugen.builders/.

質問がありますか？Cartesiの貢献者は全員Discordに参加しており、公開で調整し構築していますので、ぜひ参加して連絡を取ってください: discord.gg/cartesi

リポスト: https://fxtwitter.com/cartesiproject/status/200168399042901650

Tune in live tomorrow at 4:30 pm UTC on X or YouTube. Our contributor Joao Garcia joins Narb on Developer DAO to chat all things Cartesi, and what it means to build with any code while inheriting Ethereum’s security.

Sign up to get notified: https://luma.com/yfjj75qb

Repost: https://x.com/developer_dao/status/2000551447092748388

PRT ハニーポット v2 ステージ 2, 誰ですか？

PRT 詐欺防止システムのおかげで、ボンドメカニズムが導入され、さらに 20000 $CTSI のより substantial bounty が得られるようになりました。

やるべきことは分かっているでしょう：アプリケーションをハッキングし、契約を drain してください：honeypot.cartesi.io

リポスト: https://x.com/cartesiproject/status/1999117075344941396

11月はあっという間に過ぎ去りましたが、Cartesiは債券実装を伴うPRTハニーポットv2でその印象を残しました。また、ETH LatamやDevconnect ARGでの際立った登場もありました。

先月のテクノロジーの進展、生態系の成果、メディアのハイライト、イベントなどを振り返りましょう:
→ https://cartesi.io/blog/ecosystem_updates_11/

リポスト: https://x.com/cartesiproject/status/1996942696817332280

DLリサーチの共同創設者フェリペ・アルジェントとのインタビューをDevconnect ARGでキャッチしてください。これは、CartesiのAIマーケットプレイスからRISC-Vベースの実行レイヤーへの旅、PRT詐欺防止システムによって確保されたステージ2、そして誰もが制御できないシステムを構築するためのEthereumファースト、信頼のないアプローチを示しています。↓

リポスト: https://x.com/dl_research/status/1995572745598550081

新しいスポット、同じエネルギー。カーテシアンは今日Devconnect ARGのパビリオン8にいます。

信頼不要のTシャツを手に入れ、信頼不要のロールアップと許可不要の詐欺証明、Linux実行のために滞在してください。

リポスト: https://x.com/carlofragni/status/1991510137761091922

ステージ2のロールアップここにあります。お会いできることを願っています？

しかし、何が話題で、ステージ2のロールアップは何を意味し、なぜ重要なのでしょうか？ 👇🧵

ステージ2は、実世界の展開のための完全な分散化、ユーザーの安全、最小限の信頼された介入に関するものです。検証可能な計算と強力なセキュリティを備えたこのシステムは、コード自体を究極の権威として依存し、アプリケーションがWeb3の約束を果たすことを可能にします。

したがって、'補助輪'のないロールアップと、誰でも証明を提出できる許可のない詐欺防止システムがあります。そして、さあ：Cartesiロールアップ + PRT詐欺防止実装がHoneypotに登場、Ethereumメインネット上の最初のステージ2アプリで、すべてのL2BEATのL2リスクロゼットスライスに取り組んでいます ↓

CartesiのPRT Honeypotは、完全なアーキテクチャをテストしながら、これらの機能を実際に示しています。さらに、v2では、遅延攻撃に対する保護を強化し、正直なバリデーターに部分的な返金を提供するボンドおよび返金メカニズムが導入されています。すべてを知るために：

PRTアルゴリズムについての研究論文をここで確認してください https://arxiv.org/abs/2212.12439 とここで https://arxiv.org/abs/2411.05463、またはDevconnect ARGでの現地にいる場合は、L2地区に立ち寄って、私たちの貢献者とL2BEATから直接内訳を受け取ってください：

リポスト: https://fxtwitter.com/cartesiproject/status/1991144494373487088

すでにDevconnect ARGの2日目です。EthereumのワールドフェアのL2地区にあるステージ2ロールアップのブースに立ち寄り、共催者のカーテジアンとL2BEATのチームメンバーとお話ししましょう。学んだことやあなたのバイブチェックをXで共有し、私たち両方をタグ付けして、信頼不要のTシャツとステッカーを持ち帰りましょう。

リポスト: https://x.com/cartesiproject/status/1990782078431203527

GM Devconnect ARGとDevconnectの皆さんへ！

私たちの貢献者が現地にいますので、Cartesiについて話すためにIRLで会えるのは以下の方々です：フェリペ・アルジェント、ブルーノ・マイア、ガブリエル・コウチーニョ、カルロ・フラグニ、ギルヘルミ・ダンタス、エンリケ・マルロン、ミルトン・ジョナサン、ペドロ・アルジェント、ダニロ・トゥレル🫡

リポスト：https://x.com/cartesiproject/status/1990419732751941903

Devconnect ARGへの道！私たちの貢献者たちは、知識とネットワーキングに満ちた1週間のためにブラジルからアルゼンチンへ向かっています。私たちをEthereumのワールドフェアのL2地区で見つけてください。そこで、L2BEATと共同でブースを開催し、すべてのStage 2 Rollupsについて探求します。皆さんにお会いできるのを楽しみにしています！

リポスト: https://x.com/efdevcon/status/1988728547461197946

PRT Honeypot v2 はメインネットで稼働中で、PRT詐欺防止システムにより、保証金と返金メカニズムで保護されています。

新しいデザインは、正直なバリデーターに部分的な返金を導入しつつ、遅延攻撃に対する保護を強化します。詳細を読むには ↓

このバージョンでは、争いごとの「前払いマッチ」ステップのみが返金可能です。最終的な目標は、利他的なバリデーションをできるだけ無料に近づけることです。

保証金の仕組み: バリデーターは、請求時に保証金を投稿し、スパムやシビル攻撃を抑止し、正直な参加者が無許可の前払いマッチからガスを回収できるようにします。

もし請求が無効な場合、削減された保証金の一部はその貢献者に返金され、残りは正しい請求を最初に投稿したバリデーターに報酬として与えられます。

保証金システムは、まだノード実装でアクティブになっていないMEV-Shareスタイルのインセンティブと互換性があるように設計されています。

開発者はここで詳細を探ることができます: github.com/cartesi/dave/tree/main/prt

アーキテクチャに挑戦し、PRT Honeypot v2を解読する準備はできていますか？

20,000 CTSIがポットにあり、報酬は増え続けます。契約を排出して報酬を得るには、ハッキングしてください: honeypot.cartesi.io

再投稿: https://fxtwitter.com/cartesiproject/status/1988970199794741582

申し訳ありません

再投稿: https://x.com/cartesiproject/status/1988638003141771540

ブラジルでのイベントは終了したかもしれませんが、カルテジアンはまだ現地にいて、情報を広めています！ポルトガルで行われるLunar Strategyのイベントでジョアン・ガルシアに会えるのを楽しみにしています。地元のリスボンコミュニティと交流する予定です。もし周りにいるなら、ぜひ挨拶して写真を撮ってください！

リポスト: https://x.com/lunarstrategy/status/1988252921239400923?s=46\u0026t=tt0vf2syxA00nU3tvp5kFQ