GRUNDNORM · 무엇이 실재이고 무엇이 발판인가
한계를 여러분이 발견하기 전에 기록해 둡니다.
검증 제품에서 한계는 작은 글씨의 단서 조항이 아니라 주장 그 자체입니다. 아래의 모든 내용은 공개된 SDK를 실행하여 확인할 수 있습니다. 다만 한 가지 항목은 우리의 진술에 의존한다고 표시되어 있습니다. 여러분이 그것을 검증할 수 없기 때문이며, 우리는 그냥 넘어가기보다 그 사실을 밝히기로 했습니다.
여기의 모든 내용은 고정된 버전이 반환하는 그대로의 데모 시스템을 가리킵니다. grundnorm==0.5.0 기준입니다. 이후 릴리스는 필드를 추가하거나 이름을 변경합니다.
공개 코퍼스는 데모 시스템이며, 기관 배포가 아닙니다.
하나의 규정에 속한 다섯 개 조문을 봉인합니다. 시스템은 이를 각주가 아니라 서명된 응답 안에서 스스로 선언합니다. 범위는 corpus demo, demoRecordsOnly true, sealedRecordCount 5로 표시됩니다. 이 중 어떤 것도 기관을 위한 배포가 아니며, 어떤 기관도 이를 뒷받침하지 않습니다.
세 서명자는 서로 독립적이지 않습니다.
데모 시스템의 봉인된 레코드는 세 개의 유효한 서명을 담고 있습니다. 주권적 서명자로서 유럽의회와 EU 이사회, 그리고 전문가로서 법률 검토자입니다. 이들 각각의 이름은 DEMO이고, 각각은 고정된 키이며, 정족수는 충족됩니다. 정족수가 측정하는 것은 세 개의 유효한 서명이 존재한다는 사실이며, 실제로 존재합니다. 정족수가 측정하지 않는 것은 세 당사자가 그 서명을 생성했는지 여부입니다.
여러분이 확인할 수 없으므로 우리의 진술에 의존하는 사항입니다. 세 개의 키는 하나의 시드에서 파생됩니다. 암호학적으로 데모 시스템의 봉인된 레코드는 세 기관의 합의가 아니라 한 당사자가 세 번 서명한 것입니다. 여러분이 확인할 수 있는 것은 그 결과입니다. 증명은 independence를 verified_multi가 아니라 attested_multi로, key_provenance를 pinned_demo로, demo_keys를 true로 표시하며, 판정은 스스로를 권위 있는 것으로 부르기를 거부합니다.
증명은 자신의 custody를 선언하며, 그 상태는 좋지 않습니다.
custody unverified. ledger unanchored. classification not_present. 이 세 필드는 모든 응답에 함께 전달됩니다. 어디까지 신뢰될 수 있는지를 알리는 것이 첫 번째 임무인 검증 계층은 이를 기꺼이 말해야 하며, 아무도 읽지 않는 페이지가 아니라 페이로드 안에서 말해야 합니다.
부재 증명은 실재하며, 그 범위는 한정되어 있습니다.
데모 시스템이 보유하지 않은 식별자를 요청하면 응답은 암호학적 비포함 증명을 담습니다. absence proven으로 표시됩니다. 이는 해당 조문이 EU 법에 존재하지 않음을 증명하지 않습니다. 선언되고 서명된 범위 안에 그것이 없음을 증명하며, 그래서 해당 필드의 이름이 proves attributable_scope_statement입니다.
이 둘은 의도적으로 분리된 두 개의 축입니다. 증명이 유효하면서도 그 진술은 여전히 권위 있지 않을 수 있으며, SDK는 이 둘을 결코 하나의 필드로 합치지 않습니다. 단일한 ok를 보고하는 시스템은 두 사실 중 어느 쪽을 숨길지 선택해야 할 것입니다.
여기서 재현할 수 없는 속성이 하나 있으며, 우리는 그것을 꾸며내지 않습니다.
데모 시스템은 다섯 개의 조문과 여섯 개의 규범 원자를 보유하며, 그 모두가 fixed 상태에 있습니다. needs_review나 for_the_court 상태에 있는 것은 없습니다. 따라서 우리가 가장 중요하게 여기는 속성, 즉 권한 있는 해석들 사이의 진정한 불일치가 기계에 의해 해소되지 않고 기록되어 법원에 넘겨진다는 속성은, 공개된 것만으로는 재현할 수 없습니다.
불일치하는 레코드를 의도적으로 봉인하는 것은 엔진이 발견한 적 없는 이견을 지어내는 일이며, 이는 이 제품이 막기 위해 존재하는 바로 그 실패입니다. 파이프라인을 보여주기 위해 선택된 다섯 개 조문은 실제 불일치를 만들어내지 않으며, 우리는 거짓으로 논증을 입증하기보다 입증하지 않은 채로 두는 편을 택합니다.
epoch가 닫는 것, 그리고 닫지 못하는 세 가지.
비포함 증명은 어떤 식별자가 커밋된 집합에 없음을 보여줍니다. 보여주는 것은 그것이 전부입니다. 최신성은 증명하지 않습니다. 레코드가 대체되었을 수 있으나 epoch는 그 사실을 알려주지 않습니다. 삭제된 서명도 탐지하지 않습니다. 그리고 한 서명자가 서로 다른 두 독자 앞에서 서로 다른 두 집합을 커밋하는 이중 약정(equivocation)도 닫지 못합니다. 이를 닫으려면 독립적인 증인들이 헤드를 공동 서명해야 하며, 이 버전은 그렇게 하지 않습니다. 이러한 한계는 응답 안에 함께 전달됩니다.
같은 숫자처럼 보이는 두 개의 숫자.
sealedRecordCount는 여러분이 질의한 범위 안의 봉인된 레코드 수를 셉니다. epoch.treeSize는 epoch에 커밋된 식별자 수를 셉니다. 현재 두 값 모두 5로 표시되지만, 이는 규칙이 아니라 이 코퍼스의 우연입니다. epoch를 다시 공개하지 않은 채 여섯 번째 레코드를 봉인하면 두 값은 달라집니다. 어느 쪽이든 인용해도 되지만, 두 값을 하나의 수치로 제시하지는 마십시오.
정확도 수치는 없으며, 앞으로도 없을 것입니다.
이는 아직 아무도 손대지 못한 과제가 아니라 하나의 입장입니다. 하나의 규범 체계에서, 하나의 언어로, 하나의 법 전통 아래에서 측정된 수치는 다른 체계에 대해 아무것도 말해주지 않으며, 여러 체계를 평균 내면 지시 대상이 없는 수치가 나옵니다. 정확성은 프로젝트마다, 해당 조직 자체의 코퍼스를 대상으로, 그 조직의 법률가에 의해 확립됩니다. 어떤 단일 정확도 수치든 의심을 가지고 대하십시오. 우리의 수치를 보게 되더라도 마찬가지입니다.
이 페이지가 존재하는 이유
정직함을 다루는 페이지는 겸손한 방향으로라도 틀려서는 안 됩니다. 이 페이지의 이전 초안은 데모 시스템이 우리가 공개하는 키로 서명되었다고 적었습니다. 그렇지 않으며, 우리는 공개 전에 이를 바로잡았습니다. 거짓을 고백하는 것은 진실을 숨기는 것만큼이나 부정확하고, 여기서는 더 나쁘기 때문입니다. 확인해 본 독자는 우리가 우리 자신의 약점을 과장했음을 발견하게 되고, 그러면 나머지를 믿을 이유가 사라집니다.
Grundnorm으로 돌아가기