【TECH BLOG＃2】Proof of Necessary Work: 再帰的SNARKを使ったビットコインの全ブロック検証

HashPortグループのエンジニアが書く技術ブログをWantedlyでご紹介いたします！

ビットコインのプログラムを実行するには、多量のハードディスク容量が必要です。
それは、これまでの取引の履歴をすべて自分のコンピュータにダウンロードして計算する必要があるからです。
再帰的SNARKという最新の暗号技術を使うと、この取引履歴のダウンロードを行わなくても、正しいデータを誰かが自分の代わりに正確に計算してくれたということを証明できます。

この論文はその証明方法について説明しています。

＜記事はこちら＞