Zksnark--終極原理（三）

上一篇講了最難的QAP的轉化，目的是實現數據格式的匹配，接下來處理的是用抽樣的方法來實現簡潔驗證。 簡單解釋就是原來需要傳輸一個長式子需要花費大量時間，我們可以採取統計學中抽樣的方法隨機抽取一個值進行驗證，這時傳輸的就可以使兩個算好的值，這時，所取值的隨機性就成了主要的問題。 簡單的說就是證明者既不能讓驗證者知道結果，驗證者也不能把那個隨機值讓證明者知道，這時我們用同態的方法來解決這個問題。 簡單

>>阅读原文<<