Notes

• 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

• 使用Circle STARK证明验证L2状态转换，增强安全性
• 通过TZE框架在Zcash L1原生验证，避免Script更改
• 集成Madara和Stwo/Cairo，优化Rust生态系统开发
• 数据可用性在PoC阶段最小化，需后续评估
• 锚定UTXO链模式，确保L2进展与L1同步
• 项目处于概念阶段，提供开发资源和测试指南