Learnings Quantum computing Building Quantum Computers, S. Majidy, C. Wilson, R. Laflamme, bqc Zero Knowledge Proofs Groth16 implementation Bulletproof implementation