こんにちは、R&Dチームの中村(Twitter: nrryuya)です。本日、CBC Casperに関する論文: “Refinement and Verification of CBC Casper”を公開しました。