olá @RiscZero + @boundless_xyz, por que não há provador Risc0 ou Boundless em @eth_proofs?
591