Proving the Wrong Program: Miscompilations as a Threat to zkVM Guarantees

Hui Xuan Tan, Stefanos Chaliasos, Alastair F. Donaldson

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.