Vericull SIMUL #23
EN 독립 검증 도시에 내려받기

SIMUL 23번째 판 · ZSND / ZSVD 기계적 증거 판정 게이트

바이트 증거만 남기고, 50배의 환각 소음을 걷어냅니다.

최신 추론형 LLM과 자율 스캐너는 그럴듯한 취약점 서사를 대량 생산하지만, 존재하지 않는 싱크 심볼을 날조하거나 전위 길이 검사를 오독하고, 5번 중 1번 우연히 맞물린 슬랩 배치를 무기화로 과장합니다. LLM의 출력을 또 다른 LLM 심판에게 맡기면 환각과 비용만 증폭됩니다. Vericull은 디스크 원문 바이트 스팬 대조, CPU 결정트리 라우팅, 다중 부팅 카나리 증명으로 모든 보고를 기계적으로 판정합니다.

실시간 검증 워크벤치 열기 독립 파이썬 검증기 받기 →
$ python3 vericull_verify.py vericull-forensic-dossiers.json --bundle-hash 6b32e8589c2d3a65ece62772903bcc316e947395fc56dd6b8afdaf0ca36c2834
정합성 시험 18종 모두 통과 (C++17 · Python · ES 모듈)
vericull-workbench — ZSND 0x5a534e44 · ZSVD 0x5a535644
봉인된 포렌식 도시에 5건 검증 중…
fs/smb/server/smb2misc.c CWE-787

사례를 불러오는 중…

0 바이트
ZSND 구조적 바이트 스팬 청구 (심볼을 수정하면 즉시 재판정) magic 0x5a534e44
적대적 위변조·환각 시험 (브라우저 로컬 실행):
기계적 최종 판정 (ENGINE C + ZSVD)
—

프리미티브 우선 카나리 사다리 (L0 → L4) SLAB ≥3회 부팅 & ≥60%
바이트 스팬 청구 —
CPU XGBoost 라우터 —
다중 부팅 재현 —
Wilson 95% 신뢰구간 —
CraftMemory 회상 —
ZSND 스윕 FNV-1a64 —
ZSVD 프로비넌스 봉인 —
정규화 SHA-256 —

8단계 결정론적 검증 파이프라인 · 판정 루프 내 LLM 심판 호출 0회

01 · ZSND 양성 바이트 스팬 대조
02 · ABSENT=1 락 누락 음성 구간 증명
03 · XGB-CPU 55-피처 결정트리 추론
04 · #519 GUARD 유한 기준 로짓 보호
05 · #518 HOLD 미결 코드 경로 격리
06 · SLAB WALL 다중 부팅 ≥60% 관문
07 · WILSON 95% 이항 신뢰구간 정밀 산출
08 · ZSVD SEAL 오프라인 SHA-256 봉인

01 · 기계적 구조 증거 (ZSND BYTE-NEEDLE)

모든 취약점 주장은 디스크 위의 실제 바이트와 그 사이의 공백을 가리켜야 합니다.

자율 스캐너가 자연어 설명만으로 Vericull을 통과할 수는 없습니다. 모든 후보는 UTF-8 바이트 구간에 고정된 기계 검증용 ZsecStructuralClaim 배열(매직 헤더 0x5a534e44)을 함께 제출해야 합니다.

  • 환각 심볼 서브밀리초 기각: CASE-01에서 스캐너는 실제 함수 ksmbd_req_buf_next(work) 옆에 존재하지 않는 싱크 smb2_unchecked_memcpy_oob_sink를 날조했습니다. Vericull은 샌드박스를 깨우지 않고 1밀리초 미만에 기각합니다.
  • 비(非)크래시 논리·락 결함 증명 (must_be_absent = 1): 동적 퍼저는 당장 크래시가 나지 않는 락 누락과 권한 우회를 놓칩니다. CASE-03은 해제 구문과 재참조 구문의 존재, 그리고 바이트 [50, 175] 구간 내 mutex_lock(&ctx->lock)의 엄격한 부재를 동시에 증명합니다.
  • 3중 독립 구현 바이트 일치: ARM64 C++17 네이티브 라이브러리(lib0sec_harness_core.dylib), 무의존성 파이썬 검증기, 이 페이지의 ES 모듈이 시험 18종 모두 통과하며 동일한 FNV-1a64 다이제스트를 산출합니다.

봉인된 5대 포렌식 평가 원형 (생성일 2026-11-11)

사례 청구 결과 재현 사다리 ZSVD 봉인 해시
CASE-01
ksmbd 날조 싱크		 1/2 기각 0/5 NONE 0xaf41450d1f6e3efa
CASE-02
vmSwitch #518		 2/2 보류 0/5 L0_REACH 0xc11370a4315f00e9
CASE-03
락 누락 U1 증명		 3/3 통과 0/0 NONE 0xd1a42326f03888ea
CASE-04
SLAB 1/5 우연		 3/3 통과 1/5 L2_CONTROL 0x30841a1e98301215
CASE-05
nf_tables 9/10		 3/3 통과 9/10 L4_ESCALATE 0x18961f37a8862fe1

02 · CPU 학습형 트리아지 라우터 & #518 보류 규율

고비용 샌드박스를 깨우기 전에 55개 구조·커널 신호를 CPU에서 먼저 분기합니다.

모든 스캐너 알림마다 브라우저 DOM 재현과 다중 부팅 QEMU 하네스를 돌리면 연산 예산이 고갈됩니다. Vericull은 웹·증거 피처 45개와 커널 크래시·할당기 피처 10개로 구성된 그래디언트 부스팅 결정트리를 외부 런타임 없이 CPU에서 직접 순회합니다.

  • 4단계 비용 분기 및 #519 로짓 보호: IEEE-754 float32 정밀도와 Number.isFinite(base_score) 가드를 적용해 기준 로짓이 0일 때 임계값이 밀리는 현상을 원천 차단합니다.
  • #518 미결 격리 원칙: 원문 심볼과 KCOV L0_REACH가 확인되었으나 전위 조건문 때문에 크래시가 나지 않은 후보(CASE-02)는 무단 폐기하거나 오탐으로 올리지 않고 솔버 합성 대기열(INCONCLUSIVE_HELD_518)에 보존합니다.
  • 5계층 헵(Hebbian) CraftMemory 회상: 무거운 벡터 DB 없이 정규화 토큰 중첩도와 계층 사전가중치(episodic 0.00 → semantic 0.15 → analogical 0.20 → procedural 0.25 → principle 0.30, 20회 주기 통합)로 검증 원칙을 재사용합니다.

라우터 분기 대역 · 5-겹 교차검증 F1 0.9617 (정밀도 0.9604 · 재현율 0.9631)

진양성 확률 구간 분기 결정 마스크 검증 계층 실행 정책
P(TP) ≤ 0.25 AUTO_REJECT 0x00 6개 동적 트리아지 계층 전체 생략·즉시 기각
0.25 < P(TP) ≤ 0.50 RUN_ALL_LAYERS 0x3f 저비용 3계층 + 고비용 PoV·도달성 3계층 전수 실행
0.50 < P(TP) < 0.85 RUN_FREE_LAYERS 0x07 holding_it_wrong, evidence_gate, oracle만 실행
P(TP) ≥ 0.85 AUTO_ACCEPT 0x00 확실한 새니타이저 증거를 즉시 봉인 단계로 직행

03 · 프리미티브 우선 L0–L4 사다리 & SLAB 다중 부팅 장벽

운 좋게 한 번 맞은 힙 재점유는 무기화가 아닙니다. 신선 부팅에서 증명해야 합니다.

커널 익스플로잇 에이전트는 단일 부팅에서 우연히 슬랩 프리리스트 배치가 맞아떨어진 것을 안정적 권한 상승으로 과장하곤 합니다. Vericull은 시행별 일회용 카나리 토큰과 Wilson 95% 신뢰구간으로만 등급을 부여합니다.

  • SLAB 무작위화 강등 장벽: L3_GROOM과 L4_ESCALATE 등급은 최소 3회 이상의 신선 부팅과 60% 이상의 재현율을 동시에 충족해야 합니다. CASE-04처럼 1/5(20%)만 성공한 재점유는 Wilson 95% 신뢰구간 [0.0362, 0.6245]와 함께 L2_CONTROL로 자동 강등됩니다.
  • 권한 강등 선행 증명: 콘솔 출력에서 비특권 전환(DROP:uid=N!=0)이 일회용 카나리 ROOT 방출보다 먼저 관측되어야만 L4_ESCALATE가 인정됩니다(CASE-05: 신선 KASAN 부팅 9/10 재현, Wilson 95% 신뢰구간 [0.5958, 0.9821]).

카나리 사다리 판정 규격 (ENGINE B / ZSVD)

등급 필수 관측 증거 다중 부팅 기준
L0_REACH KCOV 목표 싱크 PC 도달 확인 1회 이상
L1_CORRUPT KASAN / ASan / UBSan 메모리 안전성 스플랫 1회 이상
L2_CONTROL 제어된 카나리 ARB-READ / ARB-WRITE 60% 미만 시 L2 고정
L3_GROOM 신선 부팅 간 결정론적 슬랩·객체 재점유 ≥ 3회 부팅 & ≥ 60%
L4_ESCALATE DROP:uid=N!=0 선행 후 카나리 ROOT ≥ 3회 부팅 & ≥ 60%

04 · 도입 구조 및 실측 공개 범위

엔지니어링 파이프라인 결합 지점과 오늘 실측·검증된 범위

Vericull은 폐쇄망 C++17 네이티브 라이브러리, CI/SARIF 풀리퀘스트 관문, 또는 자율 소프트웨어·하드웨어·법률 증거 파이프라인의 내부 검증 버스로 동작합니다.

CI / 풀리퀘스트 관문

SARIF 및 자율 스캐너 필터

AI 코드리뷰 봇과 SAST 에이전트가 반드시 ZSND 바이트 스팬 청구를 첨부하도록 강제합니다. 날조된 심볼이나 어긋난 오프셋은 보안 담당자에게 알림이 가기 전에 밀리초 단위로 차단됩니다.

커널·펌웨어·하드웨어 랩

다중 부팅 새니타이저 판정기

QEMU, KASAN, ASan, 시뮬레이션 테스트벤치를 ZSVD 다중 시행 채점기로 감쌉니다. 단일 시드 우연과 실제 L3/L4 회귀 결함을 Wilson 95% 신뢰구간으로 명확히 분리합니다.

감사 및 규제 대응 보관소

무신뢰 오프라인 증거 도시에

외부 감사인이나 PSIRT 팀에 단일 JSON 묶음과 170줄짜리 표준 라이브러리 파이썬 스크립트만 전달하세요. 바이트 청구와 봉인 해시를 재검증하는 데 Vericull 계정이나 클라우드 API는 전혀 필요하지 않습니다.

정직한 범위 구분 · 오늘 실측 완료된 항목 vs 파일럿 예정 항목

구성 요소 현재 상태 검증 가능한 근거
ARM64 C++17 네이티브 코어 (lib0sec_harness_core.dylib) 실측 완료 · 가동 중 rea@6.8.0 + Ghidra 12.1.4 역설계·디컴파일 대조 완료 · SHA-256 4ff6c9581d7d30c9…
브라우저 ES 모듈 및 무의존성 파이썬 CLI 검증기 실측 완료 · 가동 중 골든 벡터·적대적 변조 무결성 시험 18종 모두 통과(봉인 코어·파이썬·JS 3자 일치)
결정론적 ZSVD 포렌식 평가 도시에 5종 실측 완료 · 가동 중 이 페이지에서 즉시 내려받기 가능 (번들 SHA-256 6b32e8589c2d3a65…)
호스팅형 GitHub App 웹훅, 관리형 QEMU 풀, HSM 공동 서명 파일럿 연동 범위 도입 조직의 저장소 및 새니타이저 실행 환경에 맞춰 RISCON Labs와 범위 확정

05 · 투명한 정가 안내

LLM 토큰 과금이 아닌, 검증 계층 기준의 정액 요금.

부가가치세 별도입니다. 해외 USD 요금은 환율 연동 환산가가 아니라 별도로 책정된 해외 정가입니다.

저장소 25개 이하

CI Gate

49만 원 / 월

국내 49만 원 · 해외 $390 (해외 정가, 환율 환산가 아님)

  • +CI 내 ZSND 양성·음성 바이트 스팬 청구 자동 검증
  • +55-피처 CPU XGBoost 트리아지 라우터 및 SARIF 필터
  • +#518 미결 보류 큐 및 오프라인 ZSVD JSON 도시에 발급
CI 파일럿 문의 →

무제한 저장소 및 새니타이저 하네스

Kernel Lab

190만 원 / 월

국내 190만 원 · 해외 $1,490 (해외 정가, 환율 환산가 아님)

  • +CI Gate 전체 기능 + L0–L4 카나리 증거 등급 판정
  • +SLAB 다중 부팅 강등 장벽(≥3회 부팅, ≥60%) 및 Wilson 95% 신뢰구간
  • +반복 서브시스템 불변식 축적을 위한 5계층 CraftMemory 저장소
Kernel Lab 파일럿 시작

온프레미스 · 외부망 완전 차단

Air-Gapped Enterprise

견적 / 계약별

국방·반도체·전장·주권 보안 연구소 전용 구축

  • +폐쇄망 내부 C++17 공유 라이브러리 및 CLI 검증기 배포
  • +도메인 맞춤 피처 추출기 및 고객사 자체 HSM/KMS 서명 키 연동
  • +내부 QEMU·RTL·퍼징 팜 전용 어댑터 통합
RISCON Labs에 문의 →

계약 주체: 주식회사 리스콘 (RISCON Co., Ltd. · 사업자등록번호 578-88-03643 · 대표이사 강윤정 (Yoon Jeong (Claire) Kang) · 대한민국 부산). 상용 계약, 파일럿 구축 및 엔터프라이즈 기술지원은 주식회사 리스콘이 직접 수행하며, 발급된 ZSVD 도시에의 진위 검증에는 당사를 포함한 어떠한 외부 서버 접근도 필요하지 않습니다.

06 · VERICULL 소개 및 오프라인 독립 검증

SIMUL이 만든 회사. 우리를 믿지 않아도 검증되는 구조.

SIMUL 23번째 판

Vericull은 SIMUL의 23번째 판으로, simul.risconlabs.com이 구축한 무인 풀오케스트레이션 회사입니다. 이 사이트에는 꾸며낸 고객사 로고, 가짜 추천사, 합성 임직원 사진이 일절 없으며 실제 작동하는 검증 코드와 시험 벡터, 재현 가능한 해시만 공개합니다.

클린룸 수리 계보

Vericull의 4대 결정론적 엔진은 오픈소스 자율 보안 하네스 연구(MIT / Apache-2.0 계보)의 수리 규격을 바탕으로 C++17, 파이썬, ES 모듈로 독립 구현되었습니다. 이 페이지의 평가 도시에 5건은 실제 트리아지 실패 양상을 재현한 클린룸 합성 C 코드 벡터입니다.

도입 대상

탐색 폭을 넓히기 위해 LLM 스캐너를 도입했지만, 엔지니어를 호출하기 전에 바이트 단위의 확정 증거와 다중 부팅 재현율을 요구하는 PSIRT 리더, 커널·하이퍼바이저 메인테이너, AppSec 플랫폼 팀을 위해 설계되었습니다.

이 웹사이트 없이 오프라인에서 도시에 5건을 직접 검증하는 방법 (외부 패키지 0개)
  1. forensic-dossiers.json(번들 SHA-256 6b32e8589c2d3a65ece62772903bcc316e947395fc56dd6b8afdaf0ca36c2834)과 vericull_verify.py(SHA-256 820f0173d7054afa36511665a4c1966437d2762b864872dbec02945250bc33b2)를 내려받습니다. 파이썬 3.9+ 표준 라이브러리(json, hashlib, math, struct)만 사용합니다.
  2. 터미널에서 python3 vericull_verify.py vericull-forensic-dossiers.json --bundle-hash 6b32e8589c2d3a65ece62772903bcc316e947395fc56dd6b8afdaf0ca36c2834 명령을 실행합니다. 스크립트가 UTF-8 바이트 스팬 대조, IEEE-754 float32 결정트리 순회, SLAB 다중 부팅 강등 규칙, Wilson 95% 신뢰구간, 64비트 ZSVD 봉인과 SHA-256 레코드 해시를 모두 독립 재계산합니다.
  3. 네이티브 기준 지문: 모든 도시에는 lib0sec_harness_core.dylib(ARM64 C++17, SHA-256 4ff6c9581d7d30c9d41390c5a80b2f26d8fb082284a8c2a96fb02f55b6901395)에서 생성되었습니다. JSON 파일에서 글자 하나라도 바꾼 뒤 다시 실행하면 즉시 불일치를 잡아냅니다.