Tenho que fazer mais testes para ter certeza, mas acho que finalmente consegui compilar os binários do Zokrates de forma reprodutível. 🎉🎉🎉
Confirmado ✅ Reproduz-se bem.
226