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

요약

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

핵심 포인트

• 다자간 객체 조정의 여섯 가지 구조적 속성(인증된 출처, 불투명한 캡슐화 등)을 통합적으로 다루는 최소 커널 아키텍처를 제시함.
• 커널은 s-표현식 기반의 균일한 'send' 인터페이스와 트랜잭션, 그리고 객체의 일시적/지속적 상태 구분을 핵심 원리로 사용함.
• 이 설계는 커널 충실 신뢰 하에서 여섯 가지 속성 모두를 커널 수준에서 보장하며, 운영자 적대적 환경에서도 높은 보안성을 유지할 수 있음.
• 운영자 적대적 배포는 암호화 컴파일러를 통해 구현 가능하여 시스템의 무결성을 강화함.