¡Aaaaaaaaah @Zac_Aztec funciona como un programa de Solana! El generador es genérico ahora y funciona para circuitos arbitrarios. Ahora aterrizaremos algunas pruebas de Noir-Lang en mainnet. Marca mis palabras, me convertiré en el Oficial de Herramientas ZK no oficial en Solana.

Por cierto, @alessandrod, esto habría sido mucho más fácil si solana-bn254 hubiera estado documentado. Las syscalls deberían haber sido parte de la (si se hubiera publicado) especificación.