ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Tue星期二火曜日
11.18
2025
https://github.com/Ztarknet/ztarknet
Ztarknet team open-sourced Ztarknet project, proposing a Starknet-based L2 solution for Zcash, using Circle STARK proofs to validate state transitions on Zcash L1, supporting Cairo program execution and transparent Zcash extensions.Ztarknet 团队开源了Ztarknet项目，提出基于Starknet的L2解决方案，使用Circle STARK证明在Zcash L1上验证状态转换，支持Cairo程序执行和透明Zcash扩展。Ztarknetチームは、Zcash向けのStarknetベースのL2ソリューションを提案するプロジェクトをオープンソース化しました。これは、Circle STARK証明書を使用してZcash L1上での状態遷移を検証し、Cairoプログラムの実行と透明なZcash拡張機能をサポートするものです。
NotesNotes要点
- Use Circle STARK proofs to verify L2 state transitions, enhancing security
- Verify directly on Zcash L1 using the TZE framework to avoid script changes
- Integrate Madara and Stwo/Cairo to optimize Rust ecosystem development
- Data availability is minimized during PoC stage, and further evaluation is needed
- Anchor the UTXO chain mode to ensure L2 progress synchronizes with L1
- The project is in concept stage, providing development resources and testing guidelines