zk-SNARK recursion : Proof of composition, Coda, HalozkryptoSep 18, 20201 min readhttps://www.youtube.com/watch?v=mpgj_Kaewik18.09.2020 This is the content announced in the zk seoul study on the DARK scheme, one of the polynomial commitments in the zero-knowledge proof.