알고랜드의 설립자인 실비오 미칼리가 비트코인 백서에서 간접적으로 여러 번 언급된다는 사실을 알고 계셨나요? 그의 기초 작업은 확률적 암호화 및 대화형 증명 시스템(영지식 증명)을 포함한 현대 암호화 전반에 걸쳐 사용됩니다.

Bitcoin 백서를 읽지 않았다면 이해하지 못하더라도 적극 권장합니다. 직접 소스에서 읽는 것이 유익하며 놀라울 정도로 짧습니다.

https://bitcoin.org/bitcoin.pdf

참고 문헌 2와 참고 문헌 4는 둘 다 세 번째를 참조합니다.

[2] H. Massias, XS Avila 및 J.-J. Quisquater, "최소의 신뢰 요구 사항으로 보안 타임스탬프 서비스 설계", 1999년 5월 베네룩스에서 열린 정보 이론에 관한 20차 심포지엄.

[4] D. Bayer, S. Haber, WS Stornetta, "디지털 타임스탬프의 효율성 및 안정성 개선", 시퀀스 II: 통신, 보안 및 컴퓨터 과학의 방법, 329-334페이지, 1993년.

Bitcoin 백서 세 번째 참조는 다음과 같습니다.

[3] S. Haber, WS Stornetta, "디지털 문서에 타임스탬프를 찍는 방법", 암호학 저널, 3권, 2호, 99-111페이지, 1991년.

종이 링크: https://link.springer.com/content/pdf/10.1007/3-540-38424-3_32.pdf

이것은 Micali의 작업을 참조합니다.

[2] IT. Blum 및 S. Xiicali. 의사 난수 비트의 강력한 암호 시퀀스를 생성하는 방법. SIAM Journal on Computing, 13(4):850-864, 1984년 11월.

[9] S. Goldwasser 및 S. Micali. 확률적 암호화. JCSS, 28:270-299, 1984년 4월.

[lo] S. Goldwasser, S. Micali 및 R. Rivest. 보안 디지털 서명 체계. 컴퓨팅에 관한 SIAM 저널, 17(2):281-308, 1988.

확률적 암호화 및 대화형 증명 시스템에서 Micalis의 기초 작업이 없었다면 비트코인과 이더리움은 불가능했을 것입니다.

확률적 암호화 및 대화형 증명 시스템 요약:

확률적 암호화

Shafi Goldwasser와 Silvio Micali는 1983년 대학원생 시절 "비밀이란 무엇인가?" 그들의 기준은 매우 높았습니다. 적(제3자)은 비밀에 대한 부분적인 정보를 얻을 수 없어야 했습니다. 적과 관련된 "게임"으로 암호화 보안에 대한 정의는 현대 암호화의 상표가 되었습니다. 시뮬레이션 패러다임으로 알려진 그들의 접근 방식은 보안의 정의를 표시하는 원하는 속성의 전통적인 열거를 우회하고 보안 암호화 체계의 구성으로 이어졌습니다.

이 방법은 이러한 체계를 규정된 기능에서 벗어나게 하려는 악의적인 시도에 대한 강력한 방어를 제공했습니다. 그들은 암호화 보안의 두 가지 개념, 즉 의미론적 보안과 암호화된 메시지의 구별 불가능성을 도입하여 주제의 중요한 측면을 포착했습니다. 그들은 광범위한 암호화 응용 프로그램에서 보안을 제공하는 체계에 대해 이러한 조치를 충족해야 한다고 주장했습니다. 현장의 일반적인 경향과 대조적으로, 그들은 보안 정의를 충족시키기 위해 암호화 체계가 각 메시지에 해당하는 많은 가능한 암호화 텍스트를 사용하여 결정적이기보다는 무작위화되어야 한다는 것을 관찰했습니다. 이 발전은 암호학 연구에 혁명을 일으켰고 1980년대 대부분을 통해 개발된 암호 보안 이론의 토대를 마련했습니다.

대화형 증거 시스템

Goldwasser와 Micali의 가장 중요한 공헌 중 하나는 "The Knowledge Complexity of Interactive Proof Systems"라는 제목의 Charles Rackoff의 1985년 논문입니다. 그것은 적에게 정보를 숨기는 것을 다루는 개념인 지식 복잡성을 도입했으며 얼마나 많은 "유용한 정보"가 추출될 수 있는지를 정량화할 수 있습니다. 이 논문은 상호작용(증명자와 검증자가 서로 메시지를 주고받을 수 있는 능력)과 확률론(어떤 메시지를 보낼지 결정하기 위해 동전을 던지는 능력)이 설립을 가능하게 하는 "영지식" 증명의 아이디어를 시작했습니다. 왜 그것이 사실인지에 대한 추가 정보를 제공하지 않고 통계적 논증을 통해 사실을 알립니다.

영지식 증명은 지식의 누출을 제어하여 암호화 프로토콜의 보안에 대해 말할 수 있는 필수 언어를 제공하는 놀랍고 새로운 철학적 아이디어였습니다. Oded Goldreich, Micali 및 Avi Wigderson과 Michael Ben-Or, Goldwasser 및 Wigderson의 후속 작업에서는 모든 다자간 계산이 안전하게 수행될 수 있으며 원하는 결과에 의해 규정된 것보다 더 많은 지식이 플레이어에게 공개되지 않음을 보여주었습니다. 이 논문들은 영지식 프로토콜의 힘과 유용성을 보여주었고, 그들의 편재적이고 전능한 특성을 보여주었습니다.

이 논문은 정보 교환의 정확성을 검증하는 새로운 방법으로 대화형 증명을 확인했습니다. 암호화를 넘어 대화식 증명은 기존 증명보다 훨씬 빠르게 검증할 수 있으며 실제로 다양한 응용 프로그램에서 정확성을 보장하는 데 사용할 수 있습니다.

TL;DR: 실비오 미칼리는 현대 암호학의 아버지이며 사토시 나카모토도 그의 기초 작업을 사용했습니다.