실비오 미칼리(Silvio Micali): 말하지 않고 증명하기

실비오 미칼리(Silvio Micali)와 그의 협력자들이 등장하기 전 암호학은 영리한 기교들의 기술이었으며, 누군가 그것을 깨뜨릴 수 있었는지 여부로 평가받았습니다. 그 기술을 실제 수학적 증명이 뒷받침되는 학문으로 바꾸는 데 보낸 미칼리의 경력은 이 분야에서 가장 기이하고 우아한 아이디어 중 하나를 낳았습니다. 그것은 누군가에게 진술이 참임을 확신시키면서도 그 이유에 대한 추가적인 정보는 전혀 제공하지 않는 방법입니다.

로마에서 버클리로

실비오 미칼리는 1954년 10월 13일 이탈리아에서 태어났습니다. 그는 1978년 로마 사피엔차 대학교(La Sapienza University of Rome)에서 수학 학위를 취득한 후, 대서양을 건너 캘리포니아 대학교 버클리 분교에서 컴퓨터 과학 박사 과정을 밟았으며, 암호학 이론의 최전선에서 활동하던 미래의 튜링상 수상자 마누엘 블룸(Manuel Blum)의 지도 아래 1982년에 완료했습니다. 미칼리는 1983년 MIT 전기공학 및 컴퓨터 과학과의 교수로 합류하여 그 이후로 계속 머물렀으며, MIT 컴퓨터 과학 및 인공지능 연구소를 통해 활동했고 펜실베이니아 대학, 토론토 대학, 칭화 대학에서 추가적인 교수직을 역임했습니다.

보안을 증명 가능하게 만들기

주로 샤피 골드바서(Shafi Goldwasser)와 협력하여 수행된 미칼리의 중심적인 과학 프로젝트는 암호학의 전통적인 보안 기준(아직 아무도 이것을 깨뜨리지 못했다)을 수학적 기준으로 대체하는 것이었습니다. 즉, 그 체계를 깨뜨리는 것은 계산상으로 다루기 힘들다고 믿어지는 문제를 해결해야 할 것이라는 증명입니다. 그는 골드바서와 함께 확률적 암호화를 개발했는데, 이는 메시지가 전송될 때마다 동일한 메시지를 다르게 암호화하는 방법으로, 적이 두 개의 암호문이 일치한다는 것을 알아차리는 것만으로도 정보를 얻을 수 있는 공격 유형을 차단했습니다. 그들의 공동 튜링상 수상에 대한 ACM의 자체 설명은 그들이 증명 가능한 보안 분야를 확립하고 암호학적 보안이 "절대적인 것이 아니라 계산적이어야 한다"는 개념을 정형화한 공로를 인정했습니다. 이는 전체 학문 분야에 그동안 부족했던 엄격한 기초를 제공한 재구성입니다. 그들이 도입한 상호작용 및 확률적 증명 시스템은 암호학의 경계를 넘어 계산 복잡도 이론에도 직접적으로 기여했습니다.

영지식 증명

미칼리와 연관된 가장 잘 알려진 단일 아이디어는 골드바서 및 찰스 라코프(Charles Rackoff)와 공동 발명한 영지식 증명입니다. 이는 "증명자"가 "검증자"에게 진술이 참임을 확신시키는 프로토콜로, 비밀번호를 알고 있는지, 트랜잭션이 유효한지, 그래프가 특정 채색을 가지고 있는지 등을 그 진술이 왜 참인지에 대한 다른 정보나 검증자가 직접 증명을 재구성할 수 있게 하는 정보조차 전혀 드러내지 않고 증명하는 것입니다. 처음 들었을 때는 역설적으로 들리며 도입 당시에는 수학적 호기심 정도로 여겨졌으나, 이후 인증 시스템의 실무 구성 요소가 되었고 수십 년 후에는 블록체인 프라이버시 기술의 일부가 되었습니다. 미칼리의 더 넓은 연구 범위는 유사 난수 함수 생성, 안전한 다자간 계산(여러 당사자가 서로에게 자신의 사적인 입력을 드러내지 않고 공동으로 결과를 계산할 수 있게 함), 그리고 무신경 전송 프로토콜로 확장되었으며, 각각은 현대 암호 공학 전반에 걸쳐 사용되는 구성 요소입니다.

이론에서 스타트업으로

아이디어를 서면에 남기는 것에 만족하는 많은 이론가들과 달리, 미칼리는 자신의 연구를 학술지에만 국한시키지 않았습니다. 2001년에 그는 보안 회사인 코어스트리트 주식회사(CoreStreet Ltd)를 공동 창업했으며 이 회사는 2009년 액티브아이덴티티(ActivIdentity)에 매각되었습니다. 또한 2000년대 초에는 초기 디지털 소액 결제 시스템인 페퍼코인(Peppercoin)의 생성을 도왔습니다. 2017년에는 수십 년간의 암호학 이론을 공공의 탈중앙화 원장에 적용하도록 설계된 지분증명 블록체인 플랫폼인 알로란드(Algorand)를 창립했습니다. 이는 튜링상 수상자를 그가 수학적 기반을 닦는 데 30년을 보냈다고 볼 수 있는 암호화폐 산업의 중심에 직접 위치시킨, 경력 후반기의 전환이었습니다.

수상

미칼리와 골드바서는 2012년 ACM A.M. 튜링상을 공동 수상했으며, 이 상은 2013년에 수여되었습니다. 수상 이유는 "암호학 과학을 위한 복잡도 이론적 기초를 마련한 변혁적 연구"입니다. 미칼리는 이전에 상호작용 증명 시스템 이론으로 1993년 괴델상(Gödel Prize)을, 2004년 수학 우수성 부문 RSA 상(RSA Award for Excellence in Mathematics)을 수상했습니다. 그는 미국 국립과학아카데미와 미국 국립공학아카데미의 회원이며, 2017년에 ACM 펠로가 되었습니다.

실비오가 천재라 불리는 이유

미칼리를 천재라고 부르는 가장 강력한 증거는 일화적인 것이 아니라 개념적인 것입니다. 영지식 증명은 일단 보면 너무나 당연하게 필요해 보이지만 처음 고안할 때는 진정한 상상력의 도약이 필요했던 종류의 아이디어입니다. 즉, 자기 자신 외에는 아무것도 증명하지 않는 증명입니다. 튜링상 인용문이 특별히 기리는 업적인 "보안"을 비공식적인 기술에서 정리와 환원이 있는 학문으로 바꾸는 것은 기술적 기량뿐만 아니라 비밀의 수학적 정의가 도대체 어떤 모습일지 묻는 개념적 대담성을 요구했습니다. 여기서 중요한 정직성은 이 모든 것이 혼자만의 작업이 아니었다는 점입니다. 튜링상은 미칼리와 샤피 골드바서에게 공동으로 수여되었으며, 영지식 증명 논문 자체도 세 명의 저자(골드바서, 미칼리, 찰스 라코프)의 이름을 올리고 있어, 이는 한 개인의 고립된 통찰력이 아니라 지속적인 파트너십을 통해 구축된 기초적인 아이디어를 보여주는 교과서적인 사례입니다. 미칼리의 후속 단독 벤처인 코어스트리트와 알로란드는 상업적 및 산업적 현실에 자신의 이론을 걸겠다는 개인적인 의지를 보여주지만, 그에게 "천재"라는 호칭을 안겨준 이론적 핵심은 상 수상 인용문을 포함한 모든 기록에 따르면 공유된 성과였습니다.

유산

미칼리의 연구는 암호화 시스템이 안전하다는 것이 무엇을 의미하는지에 대한 기준을 재설정했으며, 특히 영지식 증명은 원래의 모호함을 넘어 인프라가 되었습니다. 이는 인증 프로토콜, 프라이버시 보호 블록체인 시스템, 그리고 그와 골드바서가 처음 아이디어를 기술했을 당시에는 존재하지 않았던 검증 체계에서 사용되고 있습니다. 순수 이론에서 일상적으로 배포되는 기술까지 그렇게 멀리 이동한 암호학적 개념은 거의 없습니다. 수학자들이 공학의 사후 생각으로 치스 치부하던 학문이 이제 자체적인 복잡도 이론적 기초를 갖추고, 진지한 컴퓨터 과학 커리큘럼에서 계산 가능성 및 알고리즘 분석과 나란히 가르쳐지게 된 것은 대단히 부분적으로 1980년대 초 미칼리와 골드바서가 밀어붙인 재구성의 직접적인 결과입니다. 이는 어떤 체계가 이미 깨졌는지 묻는 것에서 그것이 깨지기 위해 우주에 대해 정확히 무엇이 참이어야 하는지 묻는 것으로의 전환이었습니다.