사실과 의견들
다른 관심사는 사실이 끝나고 의견이 시작되는 지점에서 나옵니다. 수백 가지 프로그래밍 언어, 수십 가지 개발 패러다임, 그리고 프로젝트 관리에 대한 하나 이상의 철학이 있습니다. 학문적 세계에는 비즈니스 관심사부터 실용성에 이르는 영역에서 가지를 뻗은 자체 도전 과제로 가득합니다.
우리는 카르다노 프로젝트에서 보편적으로 인정되고, 공학적 관점에서 유용할 수 있는 확실한 결함을 포착하고자 했습니다. 예를 들어, 암호화 및 분산 시스템은 무심코 끔찍한 실수를 저지를 수 있는 방법에 관한 사례가 너무도 많은, 놀랄만큼 얽혀 있는 주제입니다. 그러므로, 이런 도메인에 관한 통찰력을 필요로 하는 모든 프로토콜들은 인정된 전문가에 의해 설계되어야 하고, 다른 전문가들에게 검증받도록 제출되어야 합니다.
우로보로스는 이 영역에서 첫 번째 사례 연구입니다. 우로보로스는 크고 다양하며 공개적으로 검증 가능한 출판 이력을 가지고 있는 암호학자 팀에 의해 설계되었습니다. 우로보로스는 적대적 모델과 증명, 보안 가정 그리고 표준 암호화 프로세스에 따라 설계되었습니다.이 증명들은 학회의 제출20 그리고 캠브리지 대학의 팀21 이 작성한 독립적인 컴퓨터 증명을 통해 확인되어졌습니다.
그러나 이러한 작업들이 유용성을 보장해 주진 못합니다 - 단지 몇가지 가정들에 대한 보안 모델을 엄격히 체크한 것입니다. 유용성을 위해선, 실제로 프로토콜을 구현하고 테스트하는 것이 필요합니다. 우리 개발자들은 하스켈과 러스트에서 모두 구현하고 테스트하였습니다. 이 작업은 우리가 Ouroboros Praos의 생성으로 이어지는 동기화 모델에 집중해야 할 필요가 있음을 보여주었습니다.
반복의 기술이란, 각각의 단계에서 새로운 교훈과, 이전 스텝22 의 정확성을 재검증하기 위한 요구사항을 얻어내어 위대한 프로토콜을 만들어 내는 것입니다. 이러한 반복은 비용이 많이 들고, 시간이 많이 걸리고, 때로는 참으로 지루한 일이지만, 프로토콜이 정확하게 설계되었다는 것을 보장하기 위해 필요합니다.
프로토콜은 - 특히 수십억의 사람들에게 사용되어지는 - 쉬이 사라지지 않고, 빠르게 진화합니다. 오히려 수 년에서 수십 년동안 프로토콜을 따라야 합니다. 우리 모두가 앞으로 다음 100년을 함께 할 새로운 금융 시스템을 세상에 짐 지우기 전에, 시스템의 디자이너에게 엄격함과 지루함을 요구하는 것은 지극히 당연한 것입니다.
Footnotes
20: IACR’s Annual Crypto Conference in California 의 승인된 논문 71
21: Professor Lawrence Paulson 지도 , Kawin Worrasangasilpa 작성
22: 흥미로 접선을 따라가 보려는 분은 Halmos 교수의 discussion about how to write a math textbook을 보십시오.