1/ 在 Nockchain 上，礦工生成 zk-SNARKs，而不是計算哈希（Bitcoin 的 PoW）。 每個區塊都攜帶一個證明。該證明然後被哈希並與目標進行比較，類似於 Bitcoin 的方式。 相同的規則，但驗證更豐富。關於 zk-PoW 的一個討論。👇

2/ Nockchain 謎題的運作方式：標頭 + 隨機數種子一個加密海綿，擠壓以填充一個包含 64 個元素的列表。 一個固定的程序在 Goldilocks 領域的 Nock ZKVM 上運行，產生一個證人。 礦工證明它，對證明進行哈希，並檢查目標。

3/ Nockchain 的安全性來自於證明能力：礦工的總體證明吞吐量。 誠實的多數證明能力提供類似於 Bitcoin 的安全性。 難度目標約為 10 分鐘區塊，並每約 2 週重新調整；最高鏈的高度仍然是規則。

4/ 必要的工作：zk-SNARK 證明區塊的交易與先前的狀態一致。 區塊成為有效狀態轉換的證明。 這使得驗證變得便宜，並且使得不必重播歷史的輕客戶端得以實現。