Key Takeaways 검증은 인간의 본능이라고 할 수 있지만, 디지털 연산 환경의 복잡도가 증가하며 사용자가 직접 검증할 수 없는 영역이 확대되고 있다. 이에 학계와 산업계에서는 꾸준히 “검증 가능한 연산”에 대한 연구를 진행해오고 있었다. 아이겐클라우드와 바운드리스는 현재 “검증 가능한 연산”이라는 모토를 선두에 내세우고 있는 대표적인 프로젝트이다. 두 프로젝트는 언뜻 공통된 목표로 인해 충돌되는 프로젝트라는 오해를 불러일으킬 수 […]

Key Takeaways 검증은 인간의 본능이라고 할 수 있지만, 디지털 연산 환경의 복잡도가 증가하며 사용자가 직접 검증할 수 없는 영역이 확대되고 있다. 이에 학계와 산업계에서는 꾸준히 “검증 가능한 연산”에 대한 연구를 진행해오고 있었다. 아이겐클라우드와 바운드리스는 현재 “검증 가능한 연산”이라는 모토를 선두에 내세우고 있는 대표적인 프로젝트이다. 두 프로젝트는 언뜻 공통된 목표로 인해 충돌되는 프로젝트라는 오해를 불러일으킬 수 […]