岡 大貴

概要

ZoKrates[1]という統合ツールボックスでは，イーサリアム上のスマートコントラクトをオフチェーンで記述・実行し，結果の正当性をゼロ知識証明を用いて検証するモデルが提案された．ZoKratesではドメイン固有言語(DSL)が提供されているが，実装されている言語は基礎的である．本研究ではこのDSLに対する拡張言語を提案し，Variant型[2]を提供することで実行時エラーを軽減し，ZoKratesの可用性を向上させた．

Top