이더리움 공동 창립자 비탈릭 부테린은 암호학에서 구별 불가명성 난독(iO)의 현 상태와 미래 가능성을 깊이 탐구한 포괄적인 새로운 기술 에세이를 발표했습니다. 상세한 연구는 20년간의 연구 진행 상황을 검토하고, 합리적인 가정 하에서 강력한 난독화를 가능하게 하는 최근 이론적 돌파구를 기념하며, 실제 사용 장애인 막대한 성능 격차를 솔직하게 다룹니다. 부테린은 iO를 이 분야에서 고안된 가장 강력한 원시 개념 중 하나로 위치시키며, 암호화학을 신뢰받지 않는 제3자의 오랜 이상에 훨씬 가까이 끌어올릴 수 있다고 본다. 블록체인 기술과 결합되면, 신뢰할 수 있는 위원회 없이도 고도로 안전하고 사적인 투표 시스템과 같은 혁신적인 애플리케이션을 실현할 수 있습니다.
여러 출판물이 사설 온체인 투표를 헤드라인으로 내세웠지만, 부테린의 더 넓은 메시지는 난독화가 암호학을 컴퓨터 과학자 닉 사보가 한때 ‘신뢰할 수 없는 제3자’라고 표현한 상황을 만드는 데 그 어느 때보다 가까워질 수 있다는 점이다. 간단히 말해, 소프트웨어는 내부 작동 방식을 공개하지 않고, 사용자가 중앙 집중식 운영자를 신뢰하지 않고도 민감한 작업을 수행할 수 있습니다.
이 비전은 첨단 암호 기술을 통한 소프트웨어 보안 강화에 대한 부테린의 광범위한 관심과도 일치합니다. 그는 최근 별도의 에세이에서 AI 지원 형식 검증이 보안 소프트웨어 개발의 최종 단계가 되어 개발자가 소프트웨어 배포 전에 취약점을 제거하는 데 도움을 줄 수 있는 방법을 탐구했습니다.
수십 년간 만들어진 돌파구였다
20년 넘게 연구자들은 수학적으로 안전한 구별 불가명 난독화 형태를 구축하려고 시도했습니다. 초기 제안들은 나중에 깨진 가정에 의존하거나 비현실적인 수학적 모델을 요구했습니다. 부테린에 따르면, 최근의 발전이 그 상황을 바꾸었습니다. 연구자들은 이전 접근법보다 훨씬 신뢰할 만한 보안 가정을 사용하여 iO를 구성하는 방법을 알고 있습니다.
이 성취는 개념이 단순한 가설이 아니라 이론적으로 달성 가능하다는 점을 보여주기 때문에 중요합니다. 하지만 부테린은 에세이 전반에 걸쳐 똑같이 중요한 점을 지적합니다. 이론을 해결하는 것이 공학적 문제를 해결하는 것을 의미하지 않습니다.
왜 오늘날 이 기술이 사용되지 않는가
가장 큰 장애물은 계산 효율성입니다. 현재 iO 구조는 완전 동형 암호화, 기능적 암호화, 무작위 인코딩 등 여러 첨단 암호학 시스템을 단일 계층 프레임워크로 결합합니다. 각 계층은 계산 비용을 크게 증가시킵니다.
그 결과 수학적으로는 우아하지만 실질적으로 사용할 수 없는 시스템이 탄생했습니다. 부테린은 오늘날의 런타임 요구사항을 “은하계”라고 표현하며, 보안 구현의 예상 실행 시간이 현실적인 컴퓨팅 시간보다 훨씬 길다고 지적합니다. 알고리즘이 기술적으로는 다항식 시간 내에 실행되지만, 실제 배포에는 여전히 계산 비용이 너무 많이 듭니다.
블록체인이 중요한 이유
에세이에서 가장 흥미로운 부분 중 하나는 블록체인이 그 자체의 해결책으로 제시되지 않는다는 것입니다. 대신 부테린은 블록체인이 난독화된 프로그램들이 스스로 극복할 수 없는 한 가지 한계를 해결한다고 주장합니다. 난독화된 프로그램은 변화하는 상태를 안전하게 유지할 수 없어 디지털 화폐와 같은 응용 분야가 어렵습니다. 블록체인 네트워크는 이미 안전한 상태 관리를 제공하여 iO와 같은 암호 기술이 대신 계산 보호에 집중할 수 있게 합니다.
이 두 기술은 함께 중앙집중식 운영자에 대한 신뢰가 거의 필요 없는 애플리케이션도 지원할 수 있을 것입니다. 잠재적 예로는 민간 투표 시스템, 기밀 경매, 분산형 거버넌스 및 민감한 논리는 숨겨져 있고 결과는 공개적으로 검증 가능한 기타 프라이버시 보호 애플리케이션이 있습니다.
독자들이 iO에 대해 알아야 할 점
구별 불가능한 난독화 뒤에 숨겨진 수학은 매우 복잡하지만, 핵심 아이디어는 비교적 직관적입니다.
- 누구나 사용할 수 있는 컴퓨터 프로그램을 공유하면서도 내부가 어떻게 작동하는지 아무도 확인할 수 없다고 상상해 보세요.
- 사용자는 프로그램의 논리가 숨겨져 있는 동안 올바른 출력을 받게 됩니다.
- 이 기능은 민감한 알고리즘을 보호하고, 더 강력한 프라이버시 보장을 제공하며, 다양한 디지털 서비스에서 신뢰할 수 있는 중개자에 대한 의존도를 줄일 수 있습니다.
- 이 기술은 아직 실험 단계이지만, 연구자들은 이를 암호학의 가장 강력한 장기적 구성 요소 중 하나로 보고 있습니다. 왜냐하면 많은 다른 고급 암호 시스템도 이 기술로 구성할 수 있기 때문입니다.
이 연구에 반영된 장기적 관점은 부테린이 다른 신기술에 대해 취한 접근법과도 일치합니다. 이더리움 개발 외에도 그는 AI 안전 이니셔티브를 지지했으며, 혁신적인 기술이 신중한 연구와 책임 있는 거버넌스에 의해 이끌어져야 한다고 주장했습니다. 단지 빠른 배포만으로는 안 됩니다.
다음 계획
부테린의 에세이는 완성된 해답을 제시하기보다는 연구자들이 난독화를 실용적으로 만들기 위해 추구할 수 있는 여러 방향을 제시한다. 여기에는 기존 구조의 효율성 향상, 대체 보안 가정 탐색, 그리고 오늘날의 일부 계산 병목 현상을 피하는 완전히 새로운 수학적 접근법 개발이 포함됩니다. 그때까지 연구는 주로 이론적이다.
블록체인 개발자들과 더 넓은 암호화폐 산업에 이 에세이는 이 분야의 가장 큰 혁신들이 실제 제품이 되기 훨씬 전에 기초 수학의 진보에서 시작된다는 점을 상기시켜 줍니다.
에세이는 또한 부테린이 대중의 관심이 때때로 그의 개인 ETH 거래로 옮겨가면서도 이더리움의 장기적인 기술적 방향에 집중하고 있음을 강조합니다. 그의 ETH 매매를 둘러싼 초기 논의에서 많은 이체가 이더리움에 대한 장기적 전망의 변화보다는 생태계 자금 조달과 자선 활동과 연결되어 있음을 보여주었습니다.
제로 지식 증명과 같은 프라이버시 기술이 이미 널리 채택되고 있지만, 부테린은 구별 불가명확 난독화가 결국 또 다른 기초 원시 기술이 될 수 있다고 제안합니다. 차이점은 이 돌파구가 학술 연구에서 일상적인 블록체인 응용으로 넘어가기 전에 아직 극복해야 할 큰 장애물이 하나 있다는 점입니다.