Succinct

前提

Light Client型の検証がブリッジにおける最も信頼を最小限にできる方法

しかし、オンチェーンでの計算を要求されるため検証コストが高い

IBCでも同じ問題に直面している

解決策

計算コストの高い証明の作成をオフチェーンで行い、計算結果を安価にオンチェーン上で検証できる

ZKRがzkpを利用して計算のスケーラビリティを実現しているように、ライトクライアントの検証においても同様のことが実現可能になる

長期的にオンチェーンのコンセンサスの検証をzkpを利用して簡潔に行うことを目指す

stateの遷移だけでなく、コンセンサスに関しても検証できるようになるので実質的にフルノードの役割を果たすことができる

https://scrapbox.io/files/63aacd051385b4001e448fe0.png

参考資料