Nova scotia
Novaで処理したい関数の処理をCircomで定義しR1CSにcompileしたものをそのまま
Nova
で実行できるようにしたミドルウェア
CircomがフロントエンドでNovaがバックエンドになっている証明システムと言える。
これにより開発者は簡単にNovaで処理したいCircuitを定義することができる。
https://github.com/nalinbhardwaj/Nova-Scotia
https://github.com/microsoft/Nova