ZeroSync 프로젝트 리더인 로빈 리누스(Robin Linus)는 10월 9일 “BitVM: Computing Anything on Bitcoin”이라는 백서에서 BitVM이 비트코인 합의 규칙을 변경하지 않고도 Turing-complete 비트코인 계약을 구현할 수 있다고 발표했습니다. BitVM을 사용하면 비트코인 계약의 "논리"가 오프체인에서 실행되지만 검증은 이더리움의 낙관적 롤업과 유사하게 비트코인에서 이루어집니다.
BitVM의 아키텍처는 "증명자"가 주장을 할 수 있고 "검증자"가 거짓 주장이 있을 경우 증명자를 처벌하기 위해 사기 증명을 수행할 수 있는 사기 증명 및 도전 응답 모델을 기반으로 합니다. Linus는 현재 형태의 비트코인은 서명, 시간 잠금, 해시 잠금과 같은 기본 작업으로 제한되어 있지만 이제는 많은 흥미로운 응용 프로그램을 계산할 수 있는 BitVM을 통해 확장될 수 있다고 설명했습니다.
모든 댓글