요즘들어 앱스트랙트를 제외하고 제 트위터 피드에 가장 많이 뜨는 프로젝트 두개를 꼽으라면 아이겐클라우드(전 아이겐레이어)와 리스크제로의 바운드리스인 것 같습니다.

공교롭게도 두 프로젝트 모두 간판에 "Verifiable" 이라는 단어를 달고 있는데, 둘 다 어떤 연산이나 결정 과정을 검증 가능하도록 만드는 데에 초점을 맞추고 있기 때문입니다.

그렇다면 이 두 프로젝트는 서로 경쟁관계에 있는 프로젝트일까요? 아니라면 서로가 목표로 하는 "검증 가능성"은 어떤 면에서 다를까요?

개인적으로 두 프로젝트를 모두 좋아하는데, 이 둘을 비교하는 글이 아직 없어서 짧은 글을 하나 써봤습니다.

트위터에는 간소화된 글이 올라가있지만, 이번주 포필러스 홈페이지에 더 자세한 버전과 함께 국문 글을 올릴 예정입니다👀