Spartan: High-speed zkSNARKs without trusted setup
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
An efficient and generalized implementation of the IKOS-style KKW proof ...