Sidechain 개발자 Starkware와 Weizmann Institute of Science 연구원들은 여러 비트 코인 스크립트 제한에 대한 해결 방법을 만들었다고 주장합니다.

최근의 연구 논문에 따르면, 새로운 설계는 비트 코인에 복잡한 스마트 계약을보다 자본 효율적인 방식으로 배치 할 수 있다고 주장합니다.

Researchers from Weizmann Institute of Science and StarkWare have reportedly created a workaround for multiple Bitcoin script limitations, aiming to enable the deployment of complex smart contracts on the blockchain in a more capital-efficient manner.

Weizmann Institute of Science and Starkware의 연구원들은 다수의 비트 코인 스크립트 제한에 대한 해결 방법을 만들어보다 자본 효율적인 방식으로 블록 체인에 복잡한 스마트 계약을 배치 할 수 있도록하기위한 것으로 알려졌다.

The new system, named ColliderVM, is also claimed to be vastly more efficient from a computing point of view. It may also pave the way for the use of Scalable Transparent Arguments of Knowledge (STARKs) on Bitcoin without requiring consensus-level changes to the network.

Collidervm이라는 새로운 시스템은 또한 컴퓨팅 관점에서 훨씬 더 효율적이라고 주장됩니다. 또한 네트워크에 대한 컨센서스 수준의 변화를 필요로하지 않고 비트 코인에서 확장 가능한 투명한 지식 (Starks)을 사용하는 길을 열어 줄 수 있습니다.

The architecture would allow Bitcoin to verify complex offchain computations using minimal onchain data. It is also capable of handling multi-step processes that are executed over multiple transactions.

이 아키텍처를 통해 Bitcoin은 최소한의 Onchain 데이터를 사용하여 복잡한 Offchain 계산을 확인할 수 있습니다. 또한 여러 트랜잭션을 통해 실행되는 다중 단계 프로세스를 처리 할 수 ​​있습니다.

Each Bitcoin block can contain up to 4 million OPCodes (commands) across all transactions, and a single Bitcoin script can contain up to 1,000 stack elements (data entries).

각 비트 코인 블록에는 모든 트랜잭션에 최대 4 백만 개의 Opcode (명령)가 포함될 수 있으며 단일 비트 코인 스크립트에는 최대 1,000 개의 스택 요소 (데이터 항목)가 포함될 수 있습니다.

Furthermore, stateless execution means that each script executes without memory of previous state or intermediate computations from earlier transactions, making complex computations nearly impossible.

또한, 무국적 실행은 각 스크립트가 이전 트랜잭션의 이전 상태 또는 중간 계산에 대한 메모리없이 실행 함을 의미하므로 복잡한 계산이 거의 불가능합니다.

The researchers argue that ColliderVM could allow the use of STARKs — a type of zero-knowledge proof — on Bitcoin without requiring consensus-level changes to the network. The architecture would let Bitcoin verify complex offchain computations with minimal onchain data.

연구원들은 Collidervm이 네트워크에 대한 컨센서스 수준의 변화를 필요로하지 않고 비트 코인에서 Starks (제로 지식 증거 유형)를 사용할 수 있다고 주장합니다. 아키텍처를 통해 Bitcoin은 최소한의 Onchain 데이터로 복잡한 Offchain 계산을 확인할 수 있습니다.

ColliderVM: A new system for capital-efficient smart contracts on Bitcoin

Collidervm : 비트 코인에서 자본 효율적인 스마트 계약을위한 새로운 시스템

Earlier research from 2023 by Robin Linus from Bitcoin research firm ZeroSync explored the possibility of using fraud proofs to enable the efficient execution of complex smart contracts on Bitcoin.

비트 코인 리서치 회사 인 Zerosync의 Robin Linus의 2023 년 초기 연구는 사기 증거를 사용하여 Bitcoin에서 복잡한 스마트 계약을 효율적으로 실행할 수있는 가능성을 탐색했습니다.

This approach, named BitVM, required operators to front capital for potential corrective actions in case of fraud. In the BitVM system, operators pay an advance to cover potentially fraudulent transactions, recovering the capital after the fraud-proof window closes.

BITVM이라는이 접근법은 사기의 경우 잠재적 인 시정 조치를 위해 운영자가 자본을 선두로해야했습니다. BITVM 시스템에서 운영자는 잠재적으로 사기적인 거래를 충당하기 위해 사전을 지불하여 사기 방지 창이 닫힌 후 자본을 회수합니다.

The new system is also more efficient from a computing point of view, compared with previous implementations, but still expensive. Previous implementations used cryptographic one-time signatures (Lamport and Winternitz) that were notably computationally heavy.

새로운 시스템은 또한 이전 구현과 비교하여 컴퓨팅 관점에서 더 효율적이지만 여전히 비쌉니다. 이전 구현에서는 크립 핑크 일회성 서명 (Lamport and Winternitz)을 사용하여 계산적으로 무겁습니다.

ColliderVM draws from the November 2024 ColliderScript paper by researchers from StarkWare, Cloudflare and Bitcoin sidechain developer Blockstream. This system relies on a hash collision-based commitment setting a challenge to produce an input that, when run through a hash function, produces an output with pre-determined features.

Collidervm은 2024 년 11 월 Colliderscript 논문에서 Starkware, Cloudflare 및 Bitcoin Sidechain 개발자 Blockstream의 연구원들에 의해 그려집니다. 이 시스템은 해시 충돌 기반 약정에 의존하여 해시 함수를 통과 할 때 사전 결정된 기능을 갖춘 출력을 생성하는 입력을 생성하는 데 어려움을 겪습니다.

This setup requires significantly fewer computing resources from honest operators than from malicious actors.

이 설정은 악의적 인 행위자보다 정직한 운영자의 컴퓨팅 리소스가 훨씬 적습니다.

Computational resources needed by honest and malicious actors depending on collision difficulty. | Source: ColliderVM paper

충돌 난이도에 따라 정직하고 악의적 인 행위자가 필요로하는 계산 자원. | 출처 : Collidervm 용지

A hash is a non-reversible mathematical function that can be run on arbitrary data, producing a fixed-length alphanumeric string. Non-reversible means that it is impossible to run the computation in reverse to obtain the original data from a hash. This results in a sort of data ID identifying data to the bit, without containing any underlying data.

해시는 임의의 데이터에서 실행할 수있는 비가역적 수학적 함수로 고정 길이의 영숫자 문자열을 생성합니다. 비가역적이라는 것은 해시에서 원래 데이터를 얻기 위해 계산을 반대로 실행하는 것이 불가능하다는 것을 의미합니다. 이로 인해 기본 데이터를 포함하지 않고 데이터를 비트에 식별하는 일종의 데이터 ID가 발생합니다.

This system — somewhat resembling Bitcoin (BTC) mining — requires significantly fewer hash operations compared to BitVM, reducing both script size and processing time. ColliderVM researchers claim to have reduced the number of those operations even further, by at least a factor of 10,000.

BTC (Bitcoin) 채굴과 다소 유사한이 시스템은 BITVM에 비해 해시 작업이 훨씬 적어 스크립트 크기와 처리 시간을 줄입니다. Collidervm 연구원들은 적어도 10,000 명 이상의 운영 수를 더 줄 였다고 주장합니다.

The researchers suggest that this implementation is nearly making a STARKs-based Bitcoin sidechain practical. The paper notes that STARKs are a ZK-proof system recognized for their scalability and trustless nature (no trusted setup is needed).

연구원들은이 구현이 거의 스타크 기반 비트 코인 사이드 체인을 실용적으로 만들고 있다고 제안합니다. 이 논문은 Starks는 확장 성과 신뢰할 수없는 특성으로 인식 된 ZK- 방지 시스템이라고 지적합니다 (신뢰할 수있는 설정이 필요하지 않음).

STARKs: A trustless and scalable ZK-proof system

Starks : 신뢰할 수없고 확장 가능한 Zk-Proof 시스템

Many early ZK-proof systems required a one-time secure setup that relied on “toxic waste” data. If a party were to keep hold of the toxic waste, it would allow them to forge signatures and generate fraudulent proofs. STARKs do not rely on such a setup, making them trustless.

많은 초기 Zk-Proof 시스템에는 "독성 폐기물"데이터에 의존하는 일회성 안전 설정이 필요했습니다. 당사자가 독성 폐기물을 유지한다면 서명을 위조하고 사기성 증거를 생성 할 수 있습니다. Starks는 그러한 설정에 의존하지 않으므로 신뢰할 수 없습니다.

Traditional implementation of STARK verifiers would require scripts that exceed Bitcoin’s limits. Now, researchers behind ColliderVM argue that their more efficient system approaches make an onchain verification script for STARK-proofs “nearly practical.”

스타크 검증 자의 전통적인 구현에는 비트 코인의 한계를 초과하는 스크립트가 필요합니다. 이제 Collidervm의 연구원들은보다 효율적인 시스템 접근 방식이 Stark-Proofs에 대한 Onchain Verification 스크립트를 "거의 실용적"이라고 주장합니다.

Bitcoin is widely considered the most secure and reliable blockchain, but its critics often point out that its feature set is significantly more limited when compared to many altcoins. Sidechains such as Blockstream’s Liquid exist, but are not trustless.

비트 코인은 가장 안전하고 신뢰할 수있는 블록 체인으로 널리 알려져 있지만 비평가들은 종종 많은 알트 코인에 비해 기능 세트가 훨씬 제한적이라고 지적합니다. Blockstream의 액체와 같은 사이체는 존재하지만 신뢰할 수는 없습니다.

Director of research at blockchain firm Blockstream and mathematician Andrew Poelstra told Cointelegraph as far back as 2020 that ZK-proof-based systems are “one of the most exciting areas of development” in the cryptography space. Cypherpunk, a developer cited in the Bitcoin white paper and Blockstream founder, explained in a 2014 paper that more work was needed to implement trustless ZK-proof-based sidechains on Bitcoin.

블록 체인 회사 Blockstream의 연구 책임자 및 수학자 Andrew Poelstra는 2020 년까지 Cointelegraph에 ZK-Proof 기반 시스템은 암호화 공간에서“가장 흥미로운 개발 영역 중 하나”라고 말했다. Bitcoin White Paper와 Blockstream 창립자에 인용 된 개발자 인 Cypherpunk는 2014 년 논문에서 Bitcoin에서 신뢰할 수없는 Zk-Proof 기반 Sidechains를 구현하기 위해 더 많은 작업이 필요하다고 설명했습니다.

Still, even 10 years later, a system based on ColliderVM would be trust-minimized rather than trustless. This is because users would still need to trust that at least a minimal subset of network participants will act honestly to ensure the correct functioning of the system.

그럼에도 불구하고 10 년이 지난 후에도 Collidervm을 기반으로 한 시스템은 신뢰할 수없는 대신 신뢰 대조화 될 것입니다. 이는 사용자가 여전히 최소한의 네트워크 참가자가 시스템의 올바른 기능을 보장하기 위해 정직하게 행동 할 것이라고 여전히 신뢰해야하기 때문입니다.

The study’s lead authors include Eli Ben

이 연구의 주요 저자에는 Eli Ben이 포함됩니다