libsignal

Signal 비공개 채팅을 지키는 코드가 키를 도난당한 뒤에도 메시지 비밀이 유지된다는 기계 검증 증명을 갖게 됐다. AI 에이전트가 4주 만에 증명을 완성했고 새로운 결함은 없었다. 다만 그룹 채팅은 대상에서 빠졌다.