zkSync
リソース
commonの資料
v1のdev資料
開発系はこの最新のv2。
web wallet
explorer
Hello World
jsのライブラリ
何
zkSync は、Ethereum 用のスケーリングおよびプライバシーエンジンです。現在の機能範囲には、Ethereum ネットワークにおける ETH および ERC20 トークンの低ガス転送、アトミックスワップおよびリミットオーダー、さらにネイティブ L2 NFT サポートが含まれています。
zkSyncは、ZK Rollupアーキテクチャをベースに構築されています。ZK Rollupは、すべての資金がメインチェーン上のスマートコントラクトによって保持され、計算とストレージがオフチェーンで実行されるL2スケーリングソリューションです。ロールアップブロックごとに、状態遷移ゼロ知識証明(SNARK)が生成され、メインチェーンコントラクトによって検証されます。このSNARKには、Rollupブロックのすべての取引の有効性の証明が含まれます。さらに、ブロックごとの公開データ更新は、安価なcalldataでメインチェーンネットワーク上で公開されます。
このアーキテクチャは、以下の保証を提供します。
Rollup Validator(s)は、(Sidechainとは異なり)決して状態を破損したり、資金を盗んだりすることはできない。
(Plasmaとは異なり)データが利用可能であるため、バリデータが協力しなくなった場合でも、ユーザは常にRollupから資金を回収することができる。
有効性証明のおかげで、ユーザーも他の信頼できる当事者も、不正を防ぐためにロールアップブロックを監視するためにオンラインである必要はありません(支払いチャンネルやOptimistic Rollupsとは異なります)。
つまり、ZK RollupはL1のセキュリティ保証を忠実に継承している。
メモ
コントラクトはZincというRustベースの言語で書く。zkEVMのおかげで既存のSolidityコードも動かせるらしい。
Ehtereumでvalid = zkSyncでもvaildという関係なのがわかりやすい