연구 랩 · 픽스처
실제로 무엇이 일어났는가
거래 시스템의 동작을 재현하고 비교합니다. 이 워크벤치는 경로를 고르거나 승인을 내리지 않습니다.
재현 가능한 데모
| 번호 | 사건 | 결과 |
|---|
| demo-01 | Canonical Replay Synthetic ETH transfer. Fixture backend is SUPPORTED. Not a live archive replay. | MATCH |
| demo-02 | Client Differential Same input, REVM-shaped fixture vs RPC-shaped fixture. Gas mismatch is classified D4. | MISMATCH |
| demo-03 | Reorg Included on fork A-B-C-D, orphaned after A-B-C'-D'. BlockCore records objective lifecycle only. Assurance interpretation is Rethium. | MISMATCH |
| demo-04 | Mainnet ETH transfer Mainnet tx 0x4ef15de6… in block 25969069. Prestate is parent-block snapshot from publicnode. REVM 40.0.3 is EXPERIMENTAL; fixture backend records the canonical receipt. | MATCH |
| demo-05 | Contract COMPLETE gate (synthetic) Synthetic STOP bytecode with one recorded storage slot. Proves COMPLETE-only contract path. Gas calibrated to REVM 40.0.3 (21160). Not a mainnet ERC20. | MATCH |
| demo-06 | ERC20 COMPLETE gate (synthetic) Synthetic token RETURN-true on transfer(address,uint256) calldata with COMPLETE storage. Not a mainnet ERC20. Not a real balance mutation. | MATCH |
지금 쓸 수 있는 범위
| 연구 랩 | 픽스처 여섯 개. Demo 04·05·06은 CI MATCH. Demo 06은 ERC20-shaped 합성이지 메인넷 토큰이 아닙니다. |
|---|
| 쐐기 | 엔진·포크·클라이언트 호환은 방향이지 현재 용량이 아닙니다. 클라이언트는 REVM 하나, 코퍼스는 6건입니다. |
|---|
| 아직 안 되는 일 | 임의 tx 해시 제출, 메인넷 ERC20 MATCH, Reth/Geth 이중 비교, 고객 코퍼스 업로드는 없습니다. |
|---|
| 핀 | Reth v2.5.2 · REVM 40.0.3 · 6 fixtures · 4 MATCH · 2 MISMATCH |
|---|
쐐기
| BlockCore | 실행 사실 · 무엇이 참인가 이 워크벤치 |
|---|
| Areth | 실행 지능 · 무엇이 더 낫거나 견고한가 별도 저장소 |
|---|
| Rethium | 실행 보증 · 허용된 결과인가 별도 저장소 |
|---|
호스팅 프로브
연결 상태는 재현 정확도가 아닙니다. 정확도는 Replay, Compare, Evidence와 CI 산출물입니다.