情報開発と利活用

令和維新

2004年4月から企業を離れ、コンサルタントや情報起業を試行しながら、失われた２０年を取り戻し、日本再生をめざす私の歩みをみて一人でも多くの後継者が出てくれることを祈りつつ友達から紹介されたこのホームページの更新を続け、これまでの活動の記録と今やビッグデータ、AI,、IOT,ブロックチェーン、仮想通貨の時代になってしまいましたが、私の現状認識と関連技術を紹介していきたい。

フォローする

UX

(0)

オンライン

(0)

ソーシャルメデイア

(0)

教育訓練開発手法の紹介

Headline News

Shopping List

お買いものレビューがまだ書かれていません。

< 新しい記事

新着記事一覧(全4619件)

過去の記事 >

2023.06.01

(2)zkEVMとは何か？ここにあなたが知る必要があるすべてがある。　What is a zkEVM? Here’s everything you need to know

テーマ：英語のお勉強日記(7879)

カテゴリ：イーサリアム

All of this is changing now. In such a short while, developers in the ZK-rollup ecosystem have made giant strides towards building ZK-rollups that are equally compatible with the EVM.
これのすべてが今変化しています。そんな少しの間に、 ZK– ロールアップ生態系での開発者が等しく EVM と互換性がある ZK– ロールアップを作ることに向って巨大な進歩をしています。

The EVM is a virtual component that is contained in every Ethereum node which takes in smart contracts (usually written in high-level languages like Solidity) and converts them into EVM bytecode. ZK-rollups with EVM-compatibility require a code execution environment that supports EVM bytecode, therefore enabling Ethereum developers to migrate their smart contracts from Ethereum to rollups without having to write code from scratch.
EVM は（通常ソリデイテイのような高水準言語で書かれた）スマート契約を取り入れて、そしてそれらを EVM バイトコードに変換するすべてのイーサリアムノードに含まれるバーチャルコンポーネントです。 EVM- 互換の ZK - ロールアップは、 EVM バイトコードを支援するコード実行環境を必要とします。従ってイーサリアム開発者にゼロからコードを書く必要がなくイーサリアムからロールアップまで彼らのスマート契約を移行させることができるようにします。

These specific type of rollups are called zkEVMs…
ロールアップのこれらの具体的なタイプが zkEVMs と呼ばれます …

So, what is a zkEVM?
それで、 zkEVM とは何か？

In full, zkEVM means “zero-knowledge Ethereum Virtual Machine”. They aim to replicate the Ethereum environment as a rollup, allowing developers to build on them like they would on Ethereum.
略さずに言うと、 zkEVM は「ゼロ知識のイーサリアムバーチャルマシン」を意味します。彼らは、開発者に、それらがイーサリアム上でそうするであろうように、それらの上に構築することを可能にして、ロールアップとしてイーサリアム環境を複製することを狙います。

A zkEVM is a zero-knowledge rollup with the goal of bringing the Ethereum experience fully to Layer-2 blockchains without losing the advantages of rollups. Thanks to this, developers would not need to change their code or abandon their EVM tools (and smart contracts) when writing or porting smart contracts to more scalable solutions that preserve the decentralization and security of L1s.
zkEVM は、ロールアップの長所を失わないで完全に層 - ２ブロックチェーンにイーサリアム経験をもたらすことを目指す、ゼロ知識のロールアップです。このおかげで、開発者は、 L1 層群の分散化と安全を維持するいっそう拡張可能な解決にスマート契約を書くか、あるいは移植するとき、彼らのコードを変えるか、あるいは彼らの EVM ツール（そしてスマート契約）を断念する必要がないであろう。

How does a zkEVM work?
zkEVM は、どのように働くか？

zkEVMs are no different from ZK-rollups, only an upgrade to them.
zkEVMs は ZK – ロールアップと異なっていません。、単なるそれらの格上げです。

zkEVMs follow the general workings of zero-knowledge rollups. However, it is essential to note that several ideas surround the ideal structure of a zkEVM and its operations. The truest form of zkEVMs would be fully Ethereum-equivalent , allowing no changes even if they could make proof generation any easier.
zkEVMs は、ゼロ知識のロールアップの一般的な働きに従います。しかしながら、いくつかの考えが zkEVM の理想的な構造とその運用を取り巻いていることを指摘することは不可欠です。たとえそれらが証明世代を何かより容易にすることができたとしても、最も本当の形の zkEVMs は変化を許さないで、まったくイーサリアムと同等でしょう。

Zero-knowledge rollups take and complete transactions off-chain, in batches, and submit a cryptographic report that proves the correctness of these interactions to Ethereum. The zero-knowledge proof does not reveal the details of all the transactions in the batch, but only confirms that they are accurate enough to trigger a transition to the Ethereum state. After that, it provides validity proofs to a smart contract set up on the L1 chain. Once received and confirmed, it verifies the inputs.
ゼロの知識のロールアップは、バッチで、オフ - チェーンの取引をして、完了して、イーサリアムへのこれらの対話の正当性を証明する暗号の報告書を提出します。ゼロ知識の証明はバッチのすべての取引の細部を明らかにするわけではありません、しかしただそれらがイーサリアム状態への移行のきっかけとなるのに十分正確であることを確認します。その後に、それは L1 チェーンで準備されたスマート契約に妥当性証明を提供します。いったん受け取られて、確認されると、それはインプットを検証します。

To understand how zkEVMs work, we must acknowledge that they are of different types, as shown by the projects currently in the works. Although they all share common goals, they differ in approach.
zkEVMs がどのように機能するか理解するために、我々は、現在進行途上にあるプロジェクトで示されるように、それらが異なったタイプであることを認めなくてはなりません。それらは、すべて共通の目的を共有するけれども、それらはアプローチが異なります。

Vitalik Buterin, Ethereum’s founder, attempted to group zkEVMs into four types and a fifth. Here’s his summary of the types of zkEVMs:
イーサリアムの創設者、ヴィタリックブテリンは、４つのタイプと５番目のものに zkEVMs をグループ化することを試みました。こちらに zkEVMs のタイプの彼の要約があります：

zkEVM types comparison by Vitalik. (Source)

ヴィタリックによる zkEVM タイプの比較。（出典）

Type-1 zkEVMs: fully equivalent to Ethereum
タイプ１ zkEVMs ：完全にイーサリアム同等

zkEVM Type-1s are expected to be fully equivalent to Ethereum, with no changes made to their state or transaction trees, hash codes, or any other logic within their consensus. Type-1 zkEVMs will be fully compatible with all Ethereum-native applications but require more prover time, as no unique reworking is done to make proof generation faster.
zkEVM タイプ - １群は、彼らの合意内でそれらの状態あるいは取引ツリー、ハッシュコード、あるいは他のいかなる論理にも変更がなされないでイーサリアムに、完全に同等であることを期待されます。タイプ - １の zkEVMs は完全にすべてのイーサリアムネイティブのアプリケーションと互換性があるでしょう、しかし、ユニークな再処理が証明生成をより速くするために行われないから、もっと多くの証明時間を必要とします。