ダース・ベイダーに無数のTPSを搭載したスーパーコンピューターを動かしても、彼はチェーンを破損させることができず、あなたは低価格のスマートフォンで検証できると想像してみてください。 これが妥当性証明のスーパーパワーです。