仮にブロックチェーンのスマートコントラクトにゼロ知識証明が実装され、それが広く用いられたとき…一つ起こりうる大問題は、脆弱性を解析することが難しくなりそうだということである。仮にプログラ …