1. ソース非開示で検証結果を共有する仕組みを検討

    [PROGRAMMING]

    Sekura JSは、実装を公開せずにソフトウェアの性質を示すため、契約記述と検証証跡を分離する方式を紹介した。証跡の再検証だけでは、特定の実装から正しく生成されたことまでは保証できない課題も示している。