BitVM
Blockchain Geral · Abismo
Um paradigma de computação proposto por Robin Linus em outubro de 2023 que permite verificação de computacoes arbitrarias no Bitcoin sem mudancas nas regras de consenso, usando um modelo otimista similar a rollups otimistas. Um provador afirma um resultado de computação, e qualquer verificador pode executar uma prova de fraude on-chain para penalizar afirmacoes falsas. BitVM2 (2024) reduziu a resolucao de disputas para tres transações on-chain e habilitou verificação sem permissão.