XRP 원장 보호 : 불변성 검사

출처：Protecting the Ledger: Invariant Checking

원장 보호 : 불변성 검사

Rome Reginelli

Nik Bougalis, 엔지니어링 관리자

리플은 지금까지 정보를 빠르고 효율적으로 가치를 창출할 수 있는 차세대 금융인프라를 개발해 왔습니다.

그러나 우리는, 안전은 물론 신뢰할 수 있는 가치 이동의 필요성을 잘 알고 있으므로, 견고하고 안전하며 알찬 코드를 작성하는데 중점을 둡니다. 코드 품질에 대한 우리의 유일한 관심은, 리플 네트워크가 2016년까지, 또는 2017년 현재까지 서비스 중단을 경험하지 못한 이유에 있습니다.

Rippled 0.70.0의 출시와 함께, 신뢰할 수 있고 오류가 없고, XRP 원장에 대한 오래 지속된 약속의 일환으로, 우리는 이전보다 더욱 발전하고 있습니다. 각 트랜잭션이 완료된 후 자동으로 실시간으로 실행되는 코드를 추가하고, 결과가 원장에 승인되기 전에 변경된 사항을 검사합니다.

이것은 최근에 활성화된 불변성 강화 개정안의 배경으로, 시스템의 주요 속성을 위반하지 않았음을 확인할 수 있습니다. XRP 원장의 무결성을 ― 아직 발견되지 않았거나 생성되지 않은 버그로부터 보호하는 데 도움이 되는 ― 확인하는 새로운 절차가 있습니다.

또한 투명하고 공개된 프로세스입니다. 문제가 있는 트랜잭션은 tecINVARIANT_FAILED 결과 코드로 표시되며 원장에 포함됩니다. 과거의 트랜잭션을 실행하는 Ripple의 강력한 기능과 결합된, 이 광범위한 노출로 인해 코드의 모든 로직 결함을 신속하게 식별하고 수정할 수 있습니다.

불변 검사 함수의 핵심 속성 중 하나는 간단하다는 것입니다. 각 검사는 하나의 작업만 수행하며 읽고 이해하기 쉽습니다. 즉, 검사로 구현의 정확성을 확인하는 것은 보안상의 중요한 코드에서 중요한 고려 사항입니다.

우리의 기존 소프트웨어 개발 및 품질 보증 프로세스는 정확성과 보안에 중점을 둡니다. 지난 5년 동안 우리는 전체 소프트웨어 개발 라이프 사이클을 포괄하는 이 프로세스를 연마했습니다. 우리가 배치한 시스템에는 다음과 같은 것이 있습니다.

광범위한 단위 테스트, 새로운 코드를 병합하기 위한 요구사항 테스트
코드베이스의 품질을 객관적으로 평가하기 위한 도구를 정기적으로 사용
리플의 세계적 수준의 개발자 팀 및 타사 기고가의 엄격한 공개 검토 프로세스
crypto, fintech 및 C ++ 커뮤니티의 주제 전문가가 정기적으로 보안 감사를 실시합니다.

새로운 불변 검사는 장기간의 건강과 보안을 보장하기 위해 XRP 원장으로 실시간 보호를 확장하여 기존 프로세스를 개선하고 기존 프로세스를 향상시킵니다.

새로운 기능을 추가하고 성능을 향상시킴으로써 XRP Ledger를 지속적으로 개선하면서, 우리는 미래의 금융 인프라가 빠르고 강력하면서도 안전할 수 있도록 프로세스를 개선하기 위해 노력할 것입니다.