USDC 기반 x402 프로토콜과 EIP-712 영수증을 통한 API 데이터 무결성 보장
Charge per API call in USDC — and give buyers a receipt they can verify
Agent Loop 비용 폭주 방지를 위한 5가지 Primitive 기반 Trust Layer 설계
Everyone's Excited About Claude Tag. Nobody's Built the Trust Layer.
Ed25519 기반 증명서로 AI 생성 코드의 감사 가능성 확보
Your Code Review Process Is Verbal. Here's What a Machine-Verifiable Proof of AI Code Safety Looks Like.
npm 악성코드 99% 및 서드파티 침해 30% 증가에 대응하는 공급망 보안 설계
5 Software Supply Chain Security Best Practices for Development Teams
Hypervisor의 정체성 변화: 단순 Resource Abstraction에서 Policy Enforcement Point로의 전이
The Hypervisor Is Becoming a Policy Enforcement Point
Benchmark와 Receipt 분리를 통한 Compute 검증 신뢰성 확보
Proof of Compute: The Receipt Is Not the Benchmark
AI Agent 신뢰 계층 확보를 위한 Post-Quantum Cryptographic SDK 개발
I Built a Post-Quantum Cryptographic Identity SDK for AI Agents — Here's Why It Needs to Exist
33개 체인 지원 조건부 무료 액세스를 위한 MPP Gating 레이어 설계
Condition-Based Access for Machine Payments Protocol: A Signed Yes-or-No Before the Charge
Provenance 기반 검증으로 빌드 무결성을 수학적으로 증명하는 SLSA 프레임워크
SLSA Deep Dive: Securing the Supply Chain Using Verifiable Levels
CipherPay와 ZAP1 결합을 통한 x402 기반 익명 결제 증명 구조 설계
ZAP1 + x402: privacy-preserving proof of paid access, anchored to Zcash
AI 생성 코드의 Compliance 입증을 위한 Evidence Map 기반 자동화 증적 시스템
How to Prove Compliance in AI-Generated Code
신뢰 점수 대신 증거를 전송하라, Multi-Agent 네트워크 설계 전략
The Kidney Problem
PyPI 패키지 신뢰성 검증, trustcheck CLI로 자동화
I built a CLI to verify PyPI package attestations before installing packages
Starknet 스테이킹 프로토콜의 Attestation.cairo에서 get_block_hash_syscall 검증 로직 우회로 담보금 없이 STRK 보상 탈취 가능
Bypassing Attestation Logic in Cairo: A Starknet Security Case Study