Explore a remote presentation by Helger Lipma at Asiacrypt 2023, delving into the intricacies of Black-Box Knowledge-Sound Commit-And-Prove SNARKs. Gain insights from this 23-minute conference talk that examines cutting-edge developments in cryptographic protocols and their applications in secure computation systems.