1 paper
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the sub…