ZK · FVSHKWON · 01
SP1 Hypercube — what was actually proven
SP1 Hypercube 형식검증, 실제로 무엇이 증명됐나SP1 Hypercube formal verification — what was actually proven
집필 중Drafting
발표된 보안·ZK 주장을 트랜잭션과 회로 단위로 뜯어보는 기술 리서치. 핵심은 하나 — 무엇이 발표됐나가 아니라, 무엇이 실제로 증명됐나. Technical research that takes published security and ZK claims apart at the transaction and circuit level. One question only — not what was announced, but what was actually proven.