NotesNotes要点

• ZEE200's performance boosted by about 4000%, increasing from ZEE's 50 KHz to 200 KHz.
• ZEE200 runs on a standard laptop (2021 ThinkPad X1 Carbon Gen 9) and in a simulated LAN environment.
• Supports a richer instruction set, with arithmetic encoding optimizations and extensive low-level improvements.
• Integrates the latest advances such as Tight ZK CPU (CCS'24) and fast ZK RAM (USENIX Security'24).
• Benchmark: proving Linux tool CVE vulnerabilities drops from several seconds (ZEE) to sub-second (ZEE200).
• ZEE200 provides an efficient and practical zero-knowledge proving toolchain for general-purpose programs.

• ZEE200是ZEE的改进版，性能提升约4000%，从ZEE的50 KHz提高到200 KHz。
• ZEE200在普通笔记本（2021 ThinkPad X1 Carbon Gen 9）和模拟LAN环境下运行。
• 支持更丰富的指令集，包括算术编码优化和大量低级优化。
• 集成Tight ZK CPU（CCS'24）和快速ZK RAM（USENIX Security'24）等最新成果。
• 基准测试：证明Linux工具CVE漏洞时间从ZEE的几秒缩短到亚秒级。
• ZEE200为通用程序提供了高效、实用的零知识证明工具链。

• ZEE200によりパフォーマンスが約4000%向上し、ZEEの50 KHzから200 KHzに増加しました。
• ZEE200は標準的なノートパソコン（2021年版ThinkPad X1 Carbon Gen 9）およびシミュレートされたLAN環境で動作します。
• 算術エンコーディングの最適化と広範な低レベルの改善により、よりリッチな命令セットをサポートしています。
• Tight ZK CPU (CCS'24) や高速ZK RAM (USENIX Security'24) など最新の進歩を取り入れています。
• ベンチマーク：LinuxツールのCVE脆弱性証明にかかる時間が、ZEEでは数秒かかっていたものが、ZEE200ではサブ秒未満に短縮されました。
• ZEE200は汎用プログラムのための効率的で実用的なゼロ知識証明ツールチェーンを提供します。