Разработчик нашел способ расширить возможности смарт-контрактов биткоина
forklog.comСоучредитель ZeroSync Робин Лайнус представил механизм BitVM для расширения возможностей смарт-контрактов на биткоине без необходимости обновления сети. "Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg— яobin linus (@robin_linus) October 9, 2023 По словам Лайнуса, решение позволяет проверить в протоколе любую вычислимую функцию, обладая полнотой по Тьюрингу.
Система не требует внесения изменений в правила консенсуса Вместо выполнения вычислений на блокчейне, они просто проверяются, подобно Optimistic-роллапам.