모호한 질문에서
세상이 신뢰할 수 있는 결정까지.

GenLayer의 중심에는 지금까지 어떤 블록체인도 쓴 적 없는 합의 메커니즘이 있습니다. 검증자는 퍼즐을 먼저 풀려고 경쟁하는 대신, 추론 능력을 써서 주장을 평가합니다.

첫 라운드에는 네트워크에서 무작위로 뽑은 검증자가 언제나 딱 5명 참여합니다. 그중 한 명이 리더로 지정되어 Intelligent Contract를 실행하고 답을 제안합니다. 나머지 검증자는 동등성 원칙에 따라 그 답을 각자 독립적으로 다시 평가합니다. 50%를 넘는 검증자가 동의하면 답은 낙관적으로 수락되고 몇 분 안에 최종 확정됩니다.

최종 확정 전까지는 이의를 제기할 수 있는 기간이 열려 있고, 이때 누군가 이의를 제기하면 사안은 다음 단계로 넘어갑니다. 이의 제기 라운드마다 검증자 패널이 2n+1명으로 늘어나, 5명에서 11명, 23명, 47명으로 계속 커집니다. 패널이 거의 두 배씩 커지는 동안 셸링 포인트가 나타나고, 스테이킹 인센티브가 검증자를 진실 쪽으로 끌어당겨 정직한 합의가 가장 이익이 되는 길이 됩니다. 드물게 최악의 경우에는 최대 약 1,000명(사실상 활성 검증자 전원)까지 확대됩니다. 일반적인 경우 약 30분이면 최종 확정되고, 최대 패널까지 모두 확대되면 3시간 정도 걸립니다.

기존 스마트 컨트랙트는 순수한 코드입니다. 결정적이고, 유연하지 않으며, 현실 세계를 보지 못합니다. Intelligent Contracts는 다릅니다. Python 코드와 자연어 명세에, 웹에서 현실 세계의 데이터를 가져오는 능력까지 하나로 묶었습니다. 컨트랙트가 웹사이트를 읽고, PDF를 분석하고, 항공편 상태를 확인하고, 서비스 계약서의 조항을 해석할 수 있습니다.

어떤 결과를 동등하다고 볼지는 컨트랙트가 직접 밝힙니다. 개발자는 “약속한 날짜로부터 24시간 이내에 배송되었다면 정시 배송으로 본다”와 같은 규칙을 씁니다. 검증자는 컨트랙트를 평가할 때 코드의 논리를 따르는 동시에, 언어와 증거를 두고 스스로 추론합니다. 그래서 현실 세계의 모호한 상황 하나하나를 네트워크가 믿을 만하게 판정할 수 있습니다.

GenVM은 Intelligent Contracts를 실행하는 샌드박스 런타임입니다. 모든 검증자 노드에서 실행되며, 결정적 연산과 비결정적 연산을 함께 다룰 수 있는 안전하고 통제된 환경을 제공합니다. 결정적 연산(산술, 암호학적 검증, 상태 읽기)은 모든 노드에서 똑같이 실행됩니다. 비결정적 연산(LLM 호출, 웹 조회, 타임스탬프 읽기)은 허용되지만 기록으로 남습니다.

GenVM은 최종 답만이 아니라 추론 경로까지 기록합니다. 어떤 웹 소스를 참고했는지, 어떤 LLM 호출을 했는지, 모델이 무엇을 반환했는지를 남깁니다. 검증자끼리 의견이 갈리면 서로의 추론을 살펴볼 수 있고, 네트워크는 어디서 갈라졌는지 추적할 수 있습니다. 이런 투명성이 있기에 이의 제기 절차도 의미가 있습니다. 어떤 검증자의 추론이 허술하거나 편향되었다면, 더 큰 패널의 다른 검증자들이 이를 잡아낼 것입니다.

그레이박싱은 적대적 입력에 맞서는 GenLayer의 방어 수단입니다. 이름에는 의도가 담겨 있습니다. 블랙박스(투명성 없음)도, 글래스박스(보호 없음)도 아닌 그레이박스라는 뜻입니다. 컨트랙트의 판단을 AI 모델 하나에 맡기면, 공격자는 프롬프트 인젝션 공격을 꾸밀 수 있습니다. 교묘하게 쓴 질문이나 몰래 심어 둔 지시로 모델을 속여 거짓 답을 내게 하는 것입니다.

그레이박싱은 서로 다르고 외부에 알려지지 않은 여러 모델을 쓰도록 요구해 이런 공격을 막습니다. 검증자마다 다른 LLM을 실행하거나, 같은 모델이라도 시스템 프롬프트, 랜덤 시드, 온도 설정, 학습 데이터가 다릅니다. 공격자는 어떤 모델이 선택될지, 어떻게 설정될지, 어떤 추론 경로를 밟을지 미리 알 수 없습니다. 한 모델에 통한 공격도 나머지 모델에서는 실패합니다. 다양성이 곧 보안이 됩니다.