It turns out that converting a SnarkJS-compatible .zkey file to a Zokrates-compatible .params file is no longer supported by current tooling (due to an endianness change made in the tooling of the former but not the latter). So my plan of using Zokrates to do the Groth16 contribution in the TEE is out. I'll have to use SnarkJS in the TEE instead. So now begins the journey of trying to create a fully-reproducible SnarkJS build 😆. I did not know -- when I started my original "side project" of trying to create a fully decentralized UI for UniswapV4 -- that a sub-sub-sub-task would involve several weeks of Herculean effort making reproducible builds of ZK projects for use in a TEE.