nserser/lr-webpkiLR+ 사후 양자 인증의 WebPKI CA 컨텍스트 기반 참조 구현으로, 재현 가능한 연구를 위한 코퍼스 파이프라인, 재구성, 평가 및 출처 매니페스트를 포함합니다.
이 패키지는 최종 확정된 LR+ 참조 구현, 프로덕션 재구성 래퍼, 테스트, 그리고 WebPKI CA 컨텍스트에 대한 컨텍스트 폐쇄형 양자 후 인증을 위한 생성된 평가 출력물을 포함합니다.
이 패키지는 의도적으로 연구 로그 스냅샷이 아닌 제출 아티팩트로 작성되었습니다. 대상 이름, 파일 이름, 모듈 이름, 보고서는 안정적인 구현 용어를 사용합니다.
src/lrplus/ LR+ 참조 모듈
scripts/ 코퍼스 다운로드, 빌드, 재구성, 평가, 검증 스크립트
config/ 고정된 재구성 및 다운로드 구성
results/ 논문에서 사용된 생성된 프로덕션 출력물
audit/ 출처 보고서 및 출력 해시 매니페스트
backups/ 재빌드 전 입력 코퍼스 백업 매니페스트
data/ccadb_full/ CCADB 다운로드 매니페스트 및 파일 해시
working_corpus/ 컴팩트 번들용 코퍼스 재빌드 매니페스트
tests/ 프로토콜 및 아티팩트 일관성 테스트
컴팩트 번들에는 매니페스트와 생성된 결과물이 포함되어 있습니다. 완전히 새로운 재생성에는 인터넷 접근과 scripts/normalize_ccadb.py 및 scripts/build_graph.py를 제공하는 기존 WebPKI 코퍼스 파이프라인에 대한 접근이 필요합니다.
Python 3.9 이상을 사용하세요. 일반적인 설정은 다음과 같습니다:
python -m venv .venv
source .venv/bin/activate
python -m pip install --upgrade pip
python -m pip install -e .
ML-DSA-44 어댑터는 pqcrypto==0.4.0을 사용합니다. 해당 백엔드를 사용할 수 없는 경우 실제 ML-DSA 테스트는 건너뛰고 나머지 참조 테스트는 계속 실행됩니다. 프로덕션 검증 게이트의 경우 pyproject.toml에서 모든 의존성을 설치하세요.
CCADB 래퍼는 정규화 및 그래프 구성을 기존 WebPKI 코퍼스 파이프라인에 위임합니다. 전체 빌드를 실행하기 전에 다음 중 하나를 설정하세요:
export WEBPKI_PIPELINE_ROOT=/path/to/existing_webpki_pipeline
또는 Make를 통해 경로를 전달하세요:
make verify PIPELINE_ROOT=/path/to/existing_webpki_pipeline
파이프라인 루트에는 다음이 포함되어야 합니다:
scripts/normalize_ccadb.py
scripts/build_graph.py
단일 명령은 다음과 같습니다:
make verify PIPELINE_ROOT=/path/to/existing_webpki_pipeline
다음 단계를 순서대로 수행합니다.
make backup-corpus
현재 working_corpus/{raw,normalized,graph,outputs_scc_repaired} 하위 디렉터리가 있는 경우 이를 backups/input_corpus_<timestamp>/에 복사하고 manifest.json, file_inventory.csv, SHA256SUMS를 작성합니다.
make download-ccadb
config/ccadb_download.yaml을 사용하여 다음을 작성합니다:
data/ccadb_full/download_manifest.json
data/ccadb_full/SHA256SUMS
매니페스트는 선택된 crtsh/ccadb_data 태그, 커밋, V5 인증서 레코드 해시, 연도별 PEM 파일 범위, 루트 신뢰 입력 해시를 기록합니다.
make build-corpus PIPELINE_ROOT=/path/to/existing_webpki_pipeline
래퍼는 다운로드된 CCADB 파일을 working_corpus/raw/ 아래에 준비한 후 기존 파이프라인의 정규화기와 그래프 빌더를 호출합니다. 다음을 작성합니다:
working_corpus/rebuild_manifest.json
working_corpus/normalized/certificates.parquet
working_corpus/normalized/records.parquet
working_corpus/outputs_scc_repaired/graph.json
make test
테스트 스위트는 정규 식별자, 웜 와이어 파싱, 현재 터미널 바인딩, 타입드 스트림 정규화, 협상, 범위 캐치업 델타, 인증된 상태 직렬화, 재구성 출력 스키마, 그리고 백엔드가 설치된 경우 ML-DSA 통합을 다룹니다.
make reconstruct
config/reconstruction.yaml을 읽고 선택된 각 경로/뷰 컨텍스트에 대해 행 하나를 출력합니다:
results/path_view_trace.csv
results/typed_dependency_records.csv
results/view_root_sets.csv
results/reconstruction_gate.json
각 경로 행은 뷰, 구체적 인증서 ID, 선택된 계보, 경로 ID, 타입드 의존성 참조, 의존성 유형, 웜 바이트, 기준 바이트, 터미널 바인딩 다이제스트를 기록합니다.
make evaluate
다음을 계산합니다:
results/global_summary.json
results/per_view_summary.csv
results/per_view_dependency_records.csv
results/catalog_summary.csv
results/lifecycle_per_view.csv
results/byte_accounting.json
바이트 회계 공식은 다음과 같습니다:
LR+ warm profile-hint: 8 + 48*m
SPB: 2588 + 209*m
Profile S: 3569 + 904*m
Full per-dependency PQ: m*(2420 + 209)
Range catch-up delta: 2584 + 264*k_total
Consecutive deltas: r*(2584 + 264*k_per_epoch)
make check
필수 출력물, 고정된 소스 매니페스트, 행별 바이트 공식, 경로 ID, 터미널 다이제스트, 의존성 레코드 범위, 구성된 뷰, 뷰별 상태 직렬화, 카탈로그 가용성을 검증합니다. 다음을 작성합니다:
results/check_results.json
상태는 PASS여야 합니다.
make freeze
다음을 작성합니다:
audit/implementation_manifest.json
매니페스트는 플랫폼 정보, 고정된 소스 메타데이터, 코퍼스 빌드 메타데이터, 생성된 모든 결과 파일의 SHA-256 해시를 기록합니다.
코퍼스가 이미 빌드된 후 다음을 실행하세요:
make verify-fast
백업, 다운로드, 코퍼스 빌드 단계를 건너뛰고 현재 로컬 코퍼스에서 테스트, 재구성, 평가, 검증, 매니페스트 고정을 다시 실행합니다.
번들된 생성 출력물은 다음을 보고합니다:
path/view 컨텍스트: 44,912
고유 물리적 CA 계보: 16,858
타입드 의존성 레코드: 72,020
전역 m50 / m95 / mmax: 6 / 16 / 18
LR+ warm profile-hint: 296 / 776 / 872 바이트
SPB: 3,842 / 5,932 / 6,350 바이트
Profile S: 8,993 / 18,033 / 19,841 바이트
전체 의존성별 PQ: 15,774 / 42,064 / 47,322 바이트
유지 상태: 16,150,580 바이트
서명된 체크포인트: 16,160,724 바이트
뷰별 요약은 results/per_view_summary.csv에 있습니다.
구현은 소스 파일, 스크립트, 대상, 구성, 보고서에 최종 확정된 LR+ 이름을 사용합니다. 암호화 출력은 안정적인 텍스트 메타데이터 외에는 수동으로 편집되지 않습니다. 16진수 인증서 지문, 레코드 참조, 다이제스트는 자연스럽게 임의의 하위 문자열을 포함할 수 있습니다. 이는 데이터이지 프로세스 용어가 아닙니다.