Halo and more: exploring incremental verification and SNARKs without pairings

by Vitalik Buterin - (0 min read)