이 논문은 온체인 상태와 동기화되면서 별도 위치에서 실행되는 오프체인 컴포넌트를 포함한 블록체인 아키텍처용 스마트컨트랙트 언어 모델을 제시한다. 오프체인 컴포넌트는 주가·날씨 같은 외부 이벤트를 온체인에 알리거나 서로 다른 블록체인 간 브리지 역할도 할 수 있어 유연성을 높이지만 새로운 취약점도 만든다. 저자들은 이 모델을 이용해 정적 정보 흐름 제어 기법으로 온체인·오프체인 컴포넌트 간 데이터 무결성과 기밀성을 보장하는 문제를 검토했는데, 오프체인 컴포넌트가 별도 스레드로 동작하며 재귀 호출을 통해 블로킹 구조를 흉내낼 수 있어 루프 구문이 없어도 정적 정보 흐름 제어가 실패함을 보였다. 논문은 이 문제를 해결할 수 있는 방안에 대한 논의로 마무리된다.

• •온체인-오프체인 연동 스마트컨트랙트를 위한 형식 모델을 새로 제시
• •오프체인 컴포넌트는 외부 데이터 브리지 역할로 유연성을 높이지만 새로운 취약점을 유발
• •재귀 호출을 통한 블로킹 흉내로 루프 없이도 정적 정보 흐름 제어가 우회될 수 있음을 입증
• •문제 해결을 위한 향후 개선 방향을 논의로 제시