zk-SNARK recursion : Proof of composition, Coda, HalozkryptoSep 18, 20201 min read18.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.