문맥에 묶인 슈노르 비대화형 영지식 증명

NME 내장 zero_knowledge / 영지식 어댑터 0.0.2는 기존 대화형 슈노르 도구를 유지하면서 Fiat-Shamir 비대화형 증명을 추가합니다.

영지식 사용 최신
증명값은 비밀값과 문맥값으로 영지식 비대화 증명 만들기
검증값은 공개값과 증명값과 문맥값으로 영지식 비대화 검증

증명은 [약속값, 응답값]이라 일반 JSON으로 저장할 수 있습니다. 결정적 도전은 NME 전용 도메인 태그, Group 15 생성원, 약속값, 공개값, 길이를 붙인 UTF-8 문맥을 SHA-256으로 해시해 만듭니다. 슈노르 Fiat-Shamir의 전사록 순서(g, 약속 V, 공개값 A)를 따르며 명시적 문맥은 프로토콜·사용자·행동을 묶는 정보 역할을 합니다.

문맥이 달라지면 도전도 달라져 같은 증명은 실패합니다. 하지만 이것만으로 같은 문맥 안의 재전송까지 막지는 않습니다. 재전송 방지가 필요하면 요청 ID, 세션 nonce, 거래 식별자처럼 매번 달라지는 freshness 값을 문맥에 포함하세요.

도전 자체도 문장형으로 만들 수 있습니다.

도전값은 공개값과 약속값과 문맥값으로 영지식 비대화 도전 만들기

이 구현은 학습·기준 구현이며 부채널 방어까지 감사된 실서비스 암호 라이브러리를 대체하지 않습니다.