Succinct Advances Arbitrum Zero-Knowledge Proofs to Achieve Key Milestones(アービトラムのゼロ知識証明を簡潔に推進し、重要なマイルストーンを達成)

Succinctは、Arbitrumに対するzk-SNARKs(ZK)証明の提供において重要な進展を遂げたことを発表しました。同社は、Solidityで記述されたイーサリアム仮想マシン(EVM)のスマートコントラクトや、RustおよびC言語で記述されたStylusスマートコントラクトを含む、実際のArbitrumブロックを成功裏に検証しました。このマイルストーンを達成するために、SuccinctはそのSP1証明システムにおいて、メモリアクセス管理やWebAssembly(WASM)コードをRISC-Vアーキテクチャに変換する機能など、いくつかの機能を開発しました。今年の8月、SuccinctはTandemと1年間の独占契約を締結し、Arbitrumに対してzk-SNARKsを提供します。