Securing Model Inputs with Cryptographic Proofs

This chapter examines how cryptographic proofs can enhance the security of model input lists without revealing their contents. It introduces Zinc, a framework for succinct arguments and discusses advancements in foreign field arithmetic, particularly in zero-knowledge virtual machines and polynomial commitment schemes.