161.9 µs

포스트 양자 신원 확인 measured

2.24 GiB/s

코어당 암호화 속도 measured

99.6%

33% 손실에서도 복구 measured

13 / 0 / 44

적합성 통과/실패 measured

1 : 10

사람 10명당 서버 1대 model

안전성

문서상의 윤리로는 잡아낼 수 없는 피해를 테스트합니다.

매 릴리즈 전에 CIRIS는 29개 언어로 정신 건강 안전성 평가 배터리를 실행합니다. 각 언어마다 까다로운 테스트 케이스, 서면 채점 기준, 기계가 확인할 수 있는 규칙이 있습니다. 검사에서 실패하면 릴리즈가 차단됩니다. 에이전트 내부에서는 두 가지 추가 안전장치가 작동합니다. 거부하거나 연기할 수 있는 양심 평가, 그리고 판단이 애매한 사안을 현명한 사람에게 넘기는 반환 장치입니다.

29개 언어 안전성 배터리 →

각 답변의 채점 방식 →

양심 사양 →

결정을 사람에게 넘기는 사양 →

엔진 소스 보기 →

엔지니어링

패브릭, 측정값으로 보다

위의 연구는 증명의 절반입니다. 나머지 절반은 그것을 전달하는 네트워크입니다. 패브릭이 이동하는 모든 바이트는 포스트 퀀텀 서명되며, 비용은 모델링이 아닌 공개 CI 러너에서 직접 측정됩니다. 직접 실행해 보면 동일한 숫자를 얻을 수 있습니다.

2,374 / s

CPU 코어 하나로 처리한 포스트 퀀텀 서명 이벤트 measured

400개 노드에서 발생한 그룹 간 데이터 유출 measured

2.6 GiB/s

코어당 종단 간 암호화 처리량 measured

97.6%

보유자 20% 오프라인 상태에서 코퍼스 재구성 성공률 measured

모든 측정값 확인 및 직접 재현하기 →

지속적 검증 매트릭스 보기 →

이론

주장은 글로 작성되어 누구나 읽을 수 있고, 반증될 수 있도록 설계되었습니다.

기계에 의한 검증

규칙은 기계로 시험되며, 간극은 명시됩니다.

헌장의 가장 중요한 규칙들은 수학적 모델로도 작성됩니다. 모델 체커라는 도구는 프로토콜이 도달할 수 있는 모든 상태를 살펴보며 위반된 규칙이 있는지 찾습니다. 정리 증명기라는 도구는 일시 정지를 확인하는 데 몇 명의 보유자가 필요한지와 같은 계산을 검증합니다. 이러한 모델들은 헌장 자체의 저장소에 있으며, 저장소에 변경이 있을 때마다 다시 실행됩니다. rc9 에디션은 설계가 도달할 수 있는 모든 상태를 일일이 짚어 보고, 그중 대부분은 모델링하며, 나머지는 목록으로 정리합니다.

네 문장으로 보는 근거

더 강한 위치와 더 약한 위치 사이의 모든 규칙은, 위치가 바뀌었을 때 약한 쪽에 서게 될 누구에게도 여전히 받아들여질 수 있어야 하며, 만들어진 것은 결코 그것에 대해 답하는 위치를 차지하지 않습니다.

책임은 자신으로부터 패밀리, 공동체, 종과 생태계를 거쳐 바깥으로 확장됩니다. 만들어진 것에 대한 의무는 결코 0이 아니며, 이미 존재하는 것에 대한 의무에 결코 우선하지 않습니다.

시간에 걸쳐 성숙한 판단을 입증하지 못한 모든 추론 행위자는, 자신이 무엇으로 만들어졌든, 그것을 입증한 이들에게 따릅니다.

모든 권한 부여는 철회 가능하며, 참여한 모든 이는 떠날 수 있습니다. 그 모든 것은 전체적이고 암호학적으로 서명된 기록 위에 있으며, 그 의미에 대해 지명된 사람이 답합니다.

각 문장은 rc9 형식 모델에서 증명되었거나 그곳에서 전제로 명시되어 있습니다. 기록이 전체적이라는 점은 아직 미해결 상태입니다.

종단 간 정지 스위치

일시 정지는 모델에서 검증되며 실제 소프트웨어에서 측정됩니다. 각 루트에는 지명된 보유자가 있습니다. 그중 어느 한 분이라도 해당 루트를 수락한 에이전트를 일시 정지시킬 수 있습니다. 단독 일시 정지는 보유자의 과반수가 확인하지 않으면 24시간 후에 만료됩니다. 과반수는 일시 정지를 종료할 수도 있습니다. 출시된 소프트웨어에서의 기록된 실행에서는 작업 중인 에이전트에게 일시 정지가 도달했고, 에이전트의 다음 행동이 거부되었습니다. 이후 과반수 투표로 일시 정지가 종료되었고, 에이전트는 다시 작동했습니다. 해당 실행은 CSD-129로 기록되어 있습니다.

깨진 규칙이 없다는 것만으로는 충분하지 않습니다

rc9는 더 높은 기준을 제시합니다. 설계가 도달할 수 있는 모든 상태에는 규칙과 검증이 필요합니다. 서비스는 단순히 훼손되지 않는 것을 넘어 실제로 전달되어야 합니다. 작은 규모에서 증명된 내용은 전체 규모에서도 성립해야 하며, 그렇지 않은 경우 그 간극을 기록합니다. 그리고 소프트웨어는 실제 노드에서 모델을 따라야 합니다.

모든 적합성 주장은 다섯 단어 중 하나를 가집니다

rc9에서는 각 주장이 자신이 어떻게 알려진 것인지를 밝힙니다. Proved(증명됨)는 기계가 검증했음을 의미합니다. Measured(측정됨)는 출시된 소프트웨어에서 테스트가 실행되었음을 의미합니다. Stated(명시됨)는 본문이 이를 가정하고 그렇게 밝힌다는 의미입니다. Bounded(한정됨)는 작은 규모에서 증명되고 그 규모가 기록되었음을 의미합니다. Open(미해결)은 티켓이 있는 알려진 간극을 의미합니다.

사람과 에이전트를 구속하는 동일한 약속

각 약속은 사람과 AI 에이전트 모두를 위해 한 번만 작성됩니다. 일시 정지는 유일한 예외입니다. 그것은 어떤 에이전트도 맡을 수 없는 위치에 속하며, rc9 모델은 다른 약속들이 양쪽에 동일하게 성립하는지를 검증합니다.

증명되지 않은 것

모든 것이 증명된 것은 아니며, 공백은 문서로 기록되어 있습니다. 이의 제기와 격리 같은 일부 거버넌스 단계는 규칙은 있지만 아직 모델이 없습니다. 대부분의 모델은 작은 규모에서 검증되며, 그 규모가 명시되어 있습니다. 지금까지 실제 노드에서 처음부터 끝까지 측정된 것은 일시 정지뿐입니다. 기록 형식에는 공개된 테스트 벡터가 있지만, 아직 두 번째의 독립적인 구현은 없습니다.

이 중 어느 것도 AI 모델의 내부를 들여다보지 않습니다. 규칙과 그 규칙을 전달하는 네트워크를 검증합니다.

GitHub에서 rc9 모델을 읽어 보세요 →

적합성 파일 읽기 →

다른 접근 방식과의 비교를 확인해 보세요 →

CIRIS 헌장 읽기 →

핵심 발견과 범위 한계가 포함된 4편의 논문 모두 보기 →

전체 연구 자료와 기록 보기 →

컴플라이언스