Crypto Nature

Pit

Exploring AI-Driven Traffic Control for Our Everyday Networks

ZK-sync analysis — bellman lib

上次我們已經大致上將整個架構給理清楚，接下來我們就要慢慢的進入plonk的prover 的世界了。

我們在之前的文章有提過，在prover裡面的時候，我們會使用create_proof來產生出 proof，接下來我們就來進行接下來的工作。

首先，我們在witness的時候，程式會先準備witness以及這個交易所構成的 merkle tree這兩個部分會構成所謂的 circuit ，然後我們將這個 zk circuit會傳到…

ZK-SYNC analysis arch

最近慢慢的靠近 prover and verifier的核心程式，文章也越寫越慢，因為要慢慢的自己實作跟了解其中的技術細節，所以之後應該會兩個禮拜或三個禮拜才會有辦法寫，但是這邊會慢慢的整理出我自己所認知的架構文件出來。

ZK sync analysis — 4

上次我們提到，prover會將資料放在queue裡面，等待後續的處理，我們就從這邊再繼續往下探索吧

ZK sync analysis — 4

上次我們提到，witness generator 會將資料放在queue裡面，等待後續的處理，我們就從這邊再繼續往下探索吧

ZK sync analysis — 3

繼上次我們講到將交易的資料 commit 到 local 的 database之後，根據架構文件的描述，接下來他會上傳到主網的合約上面進行驗證跟出塊，這邊開始我們就來探索這個部分。

警告：目前這個部分(zero knowledge)我自己也是相對來說比較不熟悉，所以我的步調會放慢 （其實是因為沒時間寫太多？），也可能會有些地方講錯，如果我發現我寫錯的，我會盡力去訂正他，然後請讀者就當參考就好。

ZK sync analysis — 2

上次我們提到 mempool 的部分，這次我們從 zksync 的 state 開始講起，接著我們會提到他是怎麼在不同的物件上進行溝通的。

在此之前，我們先從 zksync 的文件來看看他想要實作的東西是什麼吧？

ZK sync analysis — 1

這篇文章我們開始分享一下，zksync 這個專案，zksync 是目前來說再以太方的 rollup 的實作的一個做法，我們之前主要分享的都偏向於 solana , polkadot, cosmos相關的東西，這次我們回來到 ETH 了（撒花）。

之所以我相對來說比較少分享以太坊的東西，不是因為他不好，而是單純的我用的比較少（因為比較貴），所以相對來說看得就比較少。程式的世界太過廣泛，我們很難每個東西都進行精通，所以我也只能專注在我自己會用到的領域，也希望在收看的你們也能夠有所收穫。

JUNO 合約鏈— WASM

在cosmos生態系裡面，目前來說，比較常用的是 Wasm 這個智能合約的系統，雖然我們還有看到 gnoland 的開發，而且還是 cosmos的早期創辦人自己跳下來做的，但是一個生態系的建置其實需要很多時間的，到目前為止我們還是先來看看 juno 吧

在 cosmos 生態系裡面，每個鏈都有自己的功能，而 JUNO 是一個智能合約的鏈，沒錯，他的主要功能就是提供執行智能合約的環境。在 ETH裡面，我們有 solidity ，在 solana 裡面我們有 program ，而在 juno 裡面我們有 wasm…

Keplr錢包解析 — 6

上次我們提到整個註冊私鑰的流程，這次就讓我們來看看解鎖的時候，他到底做了什麼事情？他又是怎麼調用我們的資料的呢？

Keplr錢包解析 — 6

當我們在錢包上面點擊 sign out 的時候，我們就會觸發 lock 的函式，這個函示會執行lock 函式，等於就是讓你不能再使用錢包了。