🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
이렇게 뛰어난 효능을 가진 바운드리스를 실제 팀들이 활용을 할까? 대답은 Yes!

ZK Rollups (Taiko, Citrea)
ZK 증명을 위해 Boundless를 활용 중

Hybrid Rollups (Soon, BOB)
Finality 7일 → 3시간 단축, Finality 1시간 을 위해 Boundless OP Kailua 활용 중

Verifiable Exchanges (Hibachi)
모든 배치를 Boundless R0VM 활용하여 증명.

Universal DeFi (Mendi)
Boundless Steel을 활용해 대규모 읽기, 계산 처리 중

Web2는 무한한 컴퓨팅이 있지만 신뢰는 중앙화돼 있고, 블록체인은 신뢰를 해결했지만 컴퓨팅이 극도로 제한된다.

Boundless는 이 문제를 해결하고 모든 블록체인을 한단계 도약시킨다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

“왜 얘들이 체인을 안 만들고, 모든 체인 위에 시장을 만들었는가?”

블록체인 ZK 생태계가 폭발적으로 성장하는 지금, Boundless는 조금 다른 길을 택했다.
“우리만의 체인을 만들지 않는다.
대신, 모든 체인 위에 ZK 컴퓨팅 마켓을 깐다.”

이 선택이 왜 중요한지, 오늘은 그 아키텍처를 알아보자.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
Boundless는 왜 체인을 만들지 않았나?

ZK 프로토콜을 만들 때 흔히 떠올리는 옵션은 딱 두 가지다.

1) 자체 L1 만들기
2) 자체 L2(rollup) 만들기

Boundless도 처음엔 이 방향을 고려했다.
하지만 결론은 “굳이?”

그 이유는 간단하다.

개발자들이 원하는 건 빠른 체인이 아니라,
자신들이 이미 쓰는 체인 위에서 바로 ZK compute를 부르는 것.

Boundless는 핵심 로직을 각 체인 위의 스마트컨트랙트로 배치한다.
ZK-Proving 은 오프체인에서 돌아가고,
Proof 검증·정산만 체인에서 처리.

DEX 쓰는 느낌 그대로, 그러나 ZK 보증까지 그대로 챙긴 셈이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
L1 수준의 보안 & 검증

ZK Rollup, DEX, Restaking 프로토콜 같은 무거운 시스템은
“안전한 검증은 반드시 L1에서 해야 한다”는 강한 요구를 갖는다.

Boundless는 이를 그대로 받아들였다.

Proof 제출 → 바로 그 체인에서 검증

Proof 검증 성공해야만 결제

브릿지 없음, 중간 체인 없음, 추가 신뢰없음

검증 = 사용자가 선택한 체인의 보안 그대로

이건 개발자 입장에서 엄청난 구조적 이점이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
검열 저항 : “체인이 살아 있으면 Boundless도 살아있다”

Boundless는 증명 제출, 입찰, 정산 등
중요한 모든 과정을 스마트컨트랙트 + 체인 Sequencer에 맡긴다.

덕분에
웹서비스가 죽어도
API가 문제가 있어도
프론트가 다운되어도

Boundless는 체인의 검열저항성 그대로 유지된다.

하나의 prover와 체인만 살아 있으면 Proof는 반드시 도착한다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
입찰 순서(Sequencing)는 누가 결정하나?
정답: 그 체인의 Sequencer

Boundless는 Reverse Dutch Auction(역더치 경매)을 사용한다.
그러나 누구의 bid이 먼저냐가 민감한 시장이기 때문에 Bidding 자체를 온체인 트랜잭션으로 처리한다.

그래서
MEV 최소화!
Sequencer fairness 보존!
Auction 공정성 체인 보안 그대로 유지!

이 구조는 출시 후 큰 장점으로 자리 잡을 가능성이 높다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
브릿지 필요 없음

많은 프로젝트들의 단점:
“자체 L2 만들어서 사용자가 꼭 이쪽으로 자산을 브릿지해야 함”

하지만 Boundless는 이렇게 말한다.
“우리가 갈게. 너희가 이미 있는 체인으로.”

이 방식의 장점은
새로운 가스 토큰 필요 없음
유저는 지갑 그대로 사용
프로토콜 입장에서 완전한 합성도 확보
자금 관리 리스크 제로

Boundless = 다른 스마트 컨트랙트에 자유롭게 연결해서 사용 가능
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
Boundless가 체인을 만들 필요가 없었던 이유

Boundless 팀은 사실 “커스텀 L1 또는 L2”도 검토했다.

왜냐면 보통은 이렇게 생각하기 때문이다.
- 속도 더 빠를 듯
- 수수료 더 싸 보임
- 경매 시스템 구현이 쉬움

그런데 분석 결과
이 모든 걸, 기존 체인 위에서 더 안전하게 구현 가능했다.

그리고 실제 성능도 뛰어났다.

낮은 지연시간 (Next-block Proof Delivery)
- Boundless가 빠른 체인 위에 있다면
Proof는 사실상 다음 블록에 제출 가능

역더치경매로 효율적인 가격발견
- 체인 블록타임을 ‘시장 공용 시계’로 사용
- 블록 빠른 체인일수록 가격발견도 빠름

가스비는 최소로 (프로그램은 오프체인)
- zkVM에서 대부분 계산
- 체인에는 최소한의 데이터만 기록
- Batch하면 요청 1개당 35,000 gas 수준
→ 일반 DEX swap보다 싸짐
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
Boundless의 최종 목적지 : “모든 체인의 ZK 허브”

Boundless는 어느 하나의 체인을 만드는 게 아니라,
“모든 체인 위에서 ZK compute를 표준화하는 레이어”로 자리 잡으려 한다.
- Rollups
- DEXs
- Lending / Restaking
- Governance
- 실시간 데이터 검증

온체인 시스템이 가져야 할 확장성·신뢰성·속도를
ZK 기반으로 바로 제공하는 인프라.

Boundless는 이제
“ZK가 필요한 모든 체인의 디폴트 선택지”가 되려는 단계에 들어섰다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
스마트 컨트랙트는 똑똑해 보이지만
사실 아무것도 제대로 하지 못한다.

과거 상태 체크, 여러 블록에 걸친 계산, 외부 사건 대응을 스스로 할 수 없다.

그리고 무엇보다…
30M Gas Limit
절대 넘을 수 없는 유리 천장.
(쿵쾅쿵쾅)

EVM 개발자들은
과거를 잊고
미래를 예측하지 못하며
제3자 인프라를 신뢰해야 했고
항상 “한 블록 안에서만” 사고해야 했다.

이게 지금까지의 현실이다.
Steel이 등장하기 전까지는 말이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
Steel의 등장으로 기존 전제가 깨졌다.

Steel은 EVM을 위한 ZK 코프로세서다.
Boundless 위에서 작동하며, 계산을 오프체인으로 밀어낸다.

복잡한 연산?
수천 블록 분석?
이벤트 집계?

전부 오프체인에서 실행, 온체인에는 작은 증명(proof) 만 제출하고, 검증 비용은 항상 일정(constant gas)하다.

계산량과 가스비가 더 이상 비례하지 않게 됐다.
자유를 구속하던 구속구가 사라진 것이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
이런 Steel을 가능하게 하는 3가지 핵심 요소를 알아보자

1) 이벤트 기반 로직
지금까지 이벤트는 “흘러가면 끝”이었다.
Steel은 이벤트가 실제로 발생했음을 증명하고, 컨트랙트가 직접 로직에 활용하게 만들어 검증 및 무신뢰로 작동한다.

2. 과거 상태 조회
과거 조회를 위한 대규모 데이터 저장 또는 아카이브 인프라 구축은 더이상 필요 없다.
Dencun 이후의 어떤 블록 상태든
스토리지, 잔액을 직접 검증, 조회 가능한  권한을 계약에 제공한다.

3. 블록을 넘나들기
이제 컨트랙트는 단일 블록이 아니라 시간 구간 전체를 사고한다.
이동 평균, 누적 예치, 장기 행동 분석 등 전부 가능하다.

Steel은 단순한 “확장”이 아니다.
EVM의 시야 자체를 바꾸는 것이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
Steel은 EVM 앱 세계에 새로운 설계 공간을 연다.

- 시간을 이해하는 컨트랙트
- 이벤트 기반 자동 반응 로직
- 과거 + 현재 + 다중 체인 상태 분석
- 블록 사이즈 한계를 무시한 계산

이건 단순한 최적화가 아니라 EVM 프로그래밍 패러다임의 확장이다.

Steel은 R0-Helios Lite Client를 사용해
ETH L1과 OP Stack 체인 간 더 신뢰 최소화된(trustlessly) 크로스체인 계산을 가능하게 한다.

*Helios는 a16z가 수년간 개발한
Rust 기반 멀티체인 라이트 클라이언트.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
그래서 왜 Boundless를 써야 하는가?

Strong Liveness
여러 프로버가 경쟁 → 하나가 실패하면 다른 노드가 즉시 이어받음

PoVW 기반 비용 절감
Proof of Verifiable Work 보상이 비용 상쇄, 사용자는 온체인 가스 대비 저렴한 비용만 지불

Proof Delivery 보장
프로버 스테이킹 + 슬래싱 → 증명 제출 실패 시 현상금 구조로 자동 해결

이로써 Steel + Boundless 조합의 실행 인프라 완성체가 탄생한 것이다.

30M Gas는 더 이상 한계선이 아니다.
Steel은 EVM의 실행 한계를 제거하고
Boundless는 그 계산을 항상, 싸고, 확실하게 처리한다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
ZK는 이제 실험이 아니라 실제 인프라가 되어야 한다.
그리고 그 전환점을 공식화하는 조직이 등장했다.

Boundless Foundation

그들의 목표는 단순하지만 크다.
확장성, 프라이버시, 등 엄청난 잠재력을 가진 "영지식 기술을 모든 애플리케이션, 모든 산업, 모든 체인으로!"

이 뼈대의 시작은 RISC Zero팀이 개발한 범용 영지식 기술 RISC-VzkVM 덕분이다.

RISC Zero 팀이 zkVM 기술 혁신 연구·개발을 하는 동안
Boundless Foundation은 ZK 기술을 전 세계로 퍼트리는 역할을 할 것이다.

ZK 신기술 → 실제 사용 → 피드백 → 다시 혁신
선순환 구조의 완성이다.

그리고 ZK를 널리 퍼트리기 위한 실제 노력을 하고 있다.

개발자와 생태계를 지원하고, Taiko, Citrea, Lido 등 실제 프로젝트 팀들이 ZK 기술을 도입하여 개발 중이다.

이러한 흐름을 가속화 하기 위해 투명한 거버넌스 구조, 대규모 그랜트, 검증 네트워크 확장, 소규모팀 지원 등을 할 예정이다.

바운드리스와 재단, 그리고 RISCO Zero팀의 선순환 동력으로 ZK는 전세계에 보급될 것이고,
검증 가능한 계산이 풍부한 공공재가 되는 미래가 올 것이다.

그 미래를 Boundless Foundation이 앞당긴다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
롤업이 아직도 느린 이유.

옵티미스틱 롤업은 저렴한 블록 세계를 열어줬다.

하지만 여전히 해결하지 못한 한가지 과제가 남아있다.

바로 약속의 7일.

이 기간동안 출금은 묶이고, DeFi, 게임, 실시간 앱들은 사실상 불가능하다.

이제 ZK로 넘어가야할때다.

하지만 ZK 개발을 위해 기존 코드를 뜯어고치려면 큰 비용이 든다. 특히 이미 거대해진 프로젝트들은 시도할 엄두도 못낸다.

하지만 Boundless와 함께라면 어떻게 될까?
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
OP Kailua : 누구나 ZK로 업그레이드!

바운드리스 위에서 작동하는 OP Kailua는 완전한 게임체인져다.

기존 OP 롤업 → ZK 롤업 전환을 몇개월이 아닌 몇 시간안에 할 수 있다.

또한 Hybrid, Validity 두가지 모드를 제공하여 7일이 소요되던 Finality를 1시간, 3시간 이내로 단축 시킬 수 있다.

ZK 롤업은 증명이 멈추면 체인이 멈춘것과 같다.

예금이 동결되고, 출금이 중단된다.
24시간 쉬지않고 증명해야 하는 것이다.

바운드리스는 이런 서비스를 24시간 연중무휴 안정적으로 제공한다.
물론 합리적인 가격으로 말이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
바운드리스가 무한한 ZK 증명을 제공할 수 있는 이유는?

바운드리스가 글로벌 ZK 증명 마켓플레스이기 때문이다.

수천개의 독립적인 증명(prover) 노드들이 역더치 경매 방식으로 입찰을 하고 증명을 제공하고 보상을 받는다.

PoVW(Proof of Verifiable Work) 메커니즘을 통해 prover 노드가 증명 실패시 보증금 삭감 후, 현상금을 걸어 새로운 노드가 이어받게 한다.

이러한 경쟁을 통해 무한 증명을 보장하고, 가격은 하드웨어 비용 수준으로 낮추게 된다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
바운드리스 롤업을 도입하면 얻는 이점은?

- 데이터센터가 터져도 전 세계 분산된 prove 노드들이 안정적인 증명을 제공함.
- Finality가 7일에서 단 몇시간으로 단축 됨.
- 하드웨어 발전으로 거의 0에 수렴하는 비용. (Base 기준 트잭당 $0.002 수준)
- 중앙의 통제나 허가 없이 신뢰 가능한 증명이 계속 제공 됨.

만약 프로젝트가 OP → ZK 업그레이드 하고자 마음 먹는다면?

Kailua Hybrid 실행하여 기존 프로덕트에서 3시간 안에 Finality가 적용 되는 것을 바로 확인 가능하다.

이후 시간을 점점 단축시켜나가고 준비가 되면 Validity 모드로 전환 후 바운드리스의 ZK 증명 인프라를 실사용한다.

스마트컨트랙 변경할 필요가 없고, 유저는 브릿지를 쓰거나 마이그레이션할 필요가 없다.

개발자 입장에선 딸깍 한번으로 OP → ZK 업그레이드 하는 느낌일 것이다.
원문

🟢 영지식 검증 컴퓨팅 레이어 마켓 프로토콜
🟢 오프체인 노드 계산 결과를 영지식 증명으로 검증함으로써, 모든 노드가 재연산하지 않아도 결과의 신뢰성을 확보할 수 있게 해주는 솔루션

(클릭)
실제 바운드리스 OP Kailua를 도입한 팀들이 있나?
있다.

BOB는 클래식 OP → OP Kailua Validity 전환 중이다. ZK 증명은 이더리움 정산과, BitVM 브릿지 양쪽 자본 효율을 동시 개선해줄 것이다.

SOON은 모든 체인이 Solana급 성능을 활용할 수 있도록 SVM 롤업 스택을 구축중이다. 여기서 OP Kailua Hybrid는 사기 방지 레이어를 담당한다. 추후 Finality 시간을 단축 후 Validity 모드로 전환될것이다.

Eclipse는 이더리움 기반 SVM L2이다. OP Kailua를 활용하여 L1의 Finality를 7일에서 3시간으로 단축하고, 이후 Validity 롤업으로 전환할 수 있다.

이제 시장은 OP에서 ZK로 이동하고 있다.
많은 기존 OP 스택 프로젝트들은 ZK로 업그레이드하기 위해 막대한 비용으로 기존 코드를 뜯어고쳐야 한다.

하지만 바운드리스의 OP Kailua와 함께라면 딸깍 몇번으로 ZK의 미래를 바로 현실화 시킬 수 있다.

지금이 그때다.
원문