第15章.「隱中心化」交易所與跨鏈應用
Web3代表著互聯網的下一個演變階段,其中「隱中心化」交易所和跨鏈應用是重要的概念。這些技術旨在實現更開放、安全和無...
部署在區塊鏈上的智慧合約可能會操縱高價值資產。作為一種使用嚴格的數學方法來描述電腦系統的行為和推理正確性的技術,形式化驗證已被用於區塊鏈中以防止智能合約中的錯誤...
在上一個篇章提到了零知識證明的三大特性,所以基本上能涵蓋到那三大特性的,都可以被稱作為零知識證明,因此零知識證明範圍相當廣泛,但是零知識證明要證明的問題卻有所限...
前面花費了16天的時間講解了ZK Rollup中的ZK,如果還不知道的,可以點這邊觀看之前的文章。我們現在已經知道了ZK Rollup中的ZK所代表的零知識含意...
EVM Circuits 簡介
EVM Circuits 設計用於在不暴露完整計算細節的前提下驗證特定操作(例如智能合約功能調用)的正確性。
定義
slot...
之前介紹完了非交互式零知識證明,也介紹了零知識證明與區塊鏈的關係,說了那麼多我都還沒講零知識證明能拿來做什麼,那麼我今天來好好探討吧!不過在開始探討前,我先講一...