Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model.
SNARKs for C: Verifying program executions succinctly and in zero knowledge