O mecanismo de geração de provas da Citrea é especializado para Bitcoin.