단일 동사 커널 내의 객체, 이력 및 트랜잭션 전송

본 논문은 객체-권한 시스템, 스마트 컨트랙트 플랫폼 등에서 요구되는 다자간 객체 조정의 여섯 가지 핵심 구조적 속성(인증된 출처, 불투명한 캡슐화, 원자적 커밋, 결정론적 재생, 불변 이력, 이력 유도 상태)을 공동으로 호환되게 만드는 최소한의 커널 아키텍처를 제안합니다. 이 커널은 s-표현식과 균일한 'send' 인터페이스, 트랜잭션, 그리고 객체의 일시적/지속적 구분이라는 세 가지 원시 개념에 기반을 둡니다. 핵심적으로, 이 설계는 커널 수준에서 여섯 가지 속성 모두를 보장하며, 운영자 적대적 환경에서도 높은 신뢰성을 유지할 수 있도록 합니다.