鐵人檔案
參考 py-evm 實現的一個簡單的 Python EVM，這能讓我們更深入理解以太坊的運作方式。
以太坊虛擬機是智能合約運行的關鍵，和一般分佈式帳本最大的差異就在 EVM 上，會從 Opcode 開始實現，並在實現的過程教學一些運作知識，這可讓你更了解你在區塊鏈上做了什麼，主要會以 code 來教學！
ZKEVM 的 Word Encoding 教學 在以太坊虛擬機(EVM)中，每個字(word)是256位元的。在zkevm中，由於兩個限制，我們需要將這個字分...
在zkevm 證明環境中，狀態證明協助核實所有隨機讀寫訪問記錄的有效性。讓我們深入了解其工作原理及其重要的細節。 State Proof 概述 目的：驗證所...
Memory Circuit 是一個用來驗證存儲操作（例如，讀取和寫入操作）的零知識證明電路。 Memory Circuit 的核心元素 在Memory Cir...
Stack Circuit 是關於如何管理與堆疊（stack）操作的電路設計。 Stack Circuit 基本概念： Stack Pointer (sp)...
這邊簡介存儲電路（Storage Circuit）應如何在特定的情況下工作。 定義 在這裡，有一些重要的術語和概念： context：這是一個的集合，包含一...
EVM Circuits 簡介 EVM Circuits 設計用於在不暴露完整計算細節的前提下驗證特定操作（例如智能合約功能調用）的正確性。 定義 slot...
在這個 EVM Circuits 的範例中，我們將運用多個不同的元素，如槽位(slot)、選擇器(q)、和多個變數(如op, va, vb, vc)，來驗證一個...
在 Ethereum 虛擬機(EVM) 中，JUMPI 是一個條件跳躍指令。它從堆疊(Stack)中彈出兩個元素：目的地(dest)和條件(cond)。如果 c...
前面提到過，ZKEVM 是靠兩種 Proof 所去驗證，分別為 State Proof 和 EVM Proof。 State Proof 與 EVM Pro...
最後來講一下如果要做一個 ZKEVM 要如何去實現，希望可以給大家對 zkEVM （zkRollup）一個認知 主流 ZKEVM 目前主流的 ZK-EVM...
