Оказывается, что конвертация файла .zkey, совместимого с SnarkJS, в файл .params, совместимый с Zokrates, больше не поддерживается текущими инструментами (из-за изменения порядка байтов, внесенного в инструменты первых, но не вторых). Таким образом, мой план использовать Zokrates для выполнения вклада Groth16 в TEE отменяется. Вместо этого мне придется использовать SnarkJS в TEE. Теперь начинается путешествие по созданию полностью воспроизводимого сборки SnarkJS 😆. Я не знал — когда начал свой оригинальный "побочный проект" по созданию полностью децентрализованного интерфейса для UniswapV4 — что подзадача будет включать несколько недель героических усилий по созданию воспроизводимых сборок ZK-проектов для использования в TEE.