zk-SNARK recursion : Proof of composition, Coda, Halo

2020.09.18 영지식 증명에서 Polynomial commitment 중 하나인 DARK 스킴에 대한 zk seoul study에서 발표한 내용입니다