Bulletproofs: Short Proofs for Confidential Transactions and More
SNARKs for C: Verifying program executions succinctly and in zero knowledge