Confidential Computing Proofs: An alternative to cryptographic zero-knowledge. - Mark Russinovich; Cédric Fournet; Greg Zaverucha; Josh Benaloh; Brandon Murdoch; Manuel Costa (ACM Queue, 2024)