증명

코인데스크에 따르면, 카르다노 창립자 찰스 호스킨슨은 카르다노 네트워크를 위해 새로운 프로그래밍 언어를 직접 개발하고 있으며, Input Output Global 엔지니어 루카스 로사와 협력하고 있다고 밝혔다. 루카스 로사는 카르다노의 주요 스마트 계약 언어 중 하나인 아이켄의 공동 창립자이다. 호스킨슨은 X 플랫폼에 글을 올리며, 이는 사용자가 거래 완료를 희망하는 작업과 암호학적 증명을 결합한 최초의 프로그래밍 언어가 될 것이라고 말했다.이 언어는 세 가지 도구를 지원할 예정이다: 거래 의도, 증명 데이터를 포함한 증명, 그리고 Groth16 증명. 거래 의도는 사용자가 완료하고자 하는 목표를 설명할 수 있게 하며, 구체적인 단계는 애플리케이션이 처리하도록 한다. 예를 들어, 거래자는 최종 가격이 설정된 조건을 만족할 때만 한 토큰을 다른 토큰으로 교환하도록 요청할 수 있으며, 구체적인 경로를 설명할 필요가 없다.증명 데이터를 포함한 증명은 정보에 암호학적 증거를 추가하여 특정 규칙을 준수함을 증명하며, 다른 애플리케이션은 재계산 없이 이를 검증할 수 있다. Groth16은 널리 사용되는 증명 시스템으로, 작은 크기의 증명과 빠른 검증 속도를 제공하며, 개인 정보 데이터를 노출하지 않고도 조건이 충족되었음을 증명할 수 있다.이 세 가지가 결합되면, 개발자는 거래를 조정하고 복잡한 조건을 확인하며 서비스 간에 검증된 정보를 전달하는 애플리케이션을 구축할 수 있으며, 최종적으로 카르다노가 소형 증명을 검증하게 된다. 현재 카르다노 개발자들은 주로 Haskell 기반의 플루투스와 아이켄을 사용하여 스마트 계약을 작성하고 있으며, 호스킨슨이 이끄는 Input Output Global이 구축한 프라이버시 블록체인 미드나잇은 자체 언어인 컴팩트를 가지고 있다. 이 새로운 언어의 이름, 공개 코드 및 출시일은 현재 발표되지 않았다.

이더리움 연구 포럼 연구자 Pierre가 더 빠르고 집합 가능하며 양자 저항성을 갖춘 프라이버시 풀 솔루션을 제안했습니다.이 솔루션은 Tornado Cash와 유사한 프라이버시 풀을 후량자 안전성을 갖출 수 있는 해시형 SNARK 시스템 Flock에 이식하고, SHA-256을 사용합니다. 이 솔루션은 대형 회로 대신 소형 "단일 압축" 회로를 사용합니다.

화폐 HTX의 최신 머클 트리 준비 증명(PoR) 데이터에 따르면, 2026년 10월 1일(UTC+8) 기준으로 플랫폼의 주요 자산 준비율은 모두 100% 이상을 유지하고 있으며, 지속적으로 충분한 준비금을 통해 사용자 자산의 안전을 보장하고, 100% 환급을 실현하겠다고 약속하여 사용자가 언제든지 거래 및 출금을 할 수 있도록 하고 있습니다. 업계에서 비교적 일찍부터 머클 트리 준비 증명을 지속적으로 공개한 플랫폼 중 하나인 화폐 HTX는 지난 48개월 동안 시장에 PoR 데이터를 공개하여 장기적이고 검증 가능한 방식으로 플랫폼의 투명성을 높이고 있습니다.이번에 구체적으로 업데이트된 준비금 비율은 BTC(104%), ETH(102%), TRX(108%), USDs(104%), HTX(103%), XRP(105%), DOGE(102%), SOL(109%)입니다. 사용자는 화폐 HTX 공식 웹사이트의 "자산-준비금 증명 보고서" 페이지를 방문하여 확인할 수 있습니다.올해 4월부터 달러 자산 준비 데이터의 시각적 표현을 더욱 향상시키기 위해, 화폐 HTX는 USDT, USDC 등의 달러 스테이블 코인을 통합하여 "USDs"로 표시하고 있으며, 각 코인의 자산 데이터는 여전히 독립적으로 기록되고 검증되어 준비 정보의 진실성, 명확성 및 추적 가능성을 보장합니다.

이더리움 2층 네트워크 ZKsync가 증명기 Airbender Prime을 출시한다고 발표했습니다. ZKsync에 따르면, 이는 단일 GPU에서 이더리움 실시간 증명을 시연한 최초의 증명기입니다. Airbender Prime은 후량자 안전을 목표로 하며, 해시 기반의 STARK를 사용하고 GKR 합산 검사, WHIR 다항식 약속 및 BLAKE2s 해시를 결합합니다; 그 L1 증명은 BN254 쌍 대신 Keccak-256 기반의 약속을 사용할 것입니다. 이 증명기는 개방형 RISC-V 표준을 기반으로 하며 실시간 증명과 독립 검증기를 결합합니다.단일 GPU 평가에서, NVIDIA RTX PRO 6000 Blackwell 한 대가 연속 7200개의 이더리움 메인넷 블록 중 99%의 증명을 완료했으며, 각 블록은 10초 미만의 시간이 소요되었고, 통계에는 증인 준비가 포함됩니다; 모든 블록은 12초 이내에 완료되었습니다. ZKsync는 Airbender Prime이 ETHproofs 공개 순위에서 보고된 평균 증명 시간, GPU 효율성 및 비용 측면에서 선두를 달리고 있으며, 이미 두 개의 GPU 및 네 개의 GPU 실시간 구성을 갖추고 있으며 증명 생성에 필요한 하드웨어 요구 사항을 줄였습니다.

이더리움 기여자 Francesco Risitano (@frisitano)가 EIP-8440 (실행 체인 증명) 초안 제안을 제출했습니다. 이 제안은 재귀적 제로 지식 증명 메커니즘을 통해 헤드 신호 블록에서 기원 신호 블록까지의 모든 실행 유효 페이로드의 합법성을 증명하고 이를 신호 체인에 바인딩합니다.노드는 단일 증명을 통해 약한 주관성 체크포인트에서 최신 블록 헤드까지의 완전한 실행 유효성을 구축하여 상수 시간 체인 동기화를 실현할 수 있습니다.

웹사이트 데이터에 따르면, 바이낸스는 10월 준비금 증명을 업데이트했으며, BTC 준비율은 100.35%, USDT 준비율은 103.88%, ETH 준비율은 100%, BNB 준비율은 100.47%에 달합니다.9월 준비 보고서와 비교할 때, 바이낸스 거래 플랫폼 내에서 사용자가 보유한 BTC 수량은 9월보다 6,217.116개 증가하여 약 5.367억 달러에 해당합니다. 사용자가 보유한 ETH 수량은 9월보다 183,602.205개 감소하여 약 4.986억 달러에 해당합니다.

Animoca Brands의 프로젝트 Moca Foundation과 Moca Network가 Moca Chain 메인넷을 출시하였으며, 사용자가 다양한 애플리케이션 간에 검증 가능한 증명을 공유할 수 있도록 지원합니다. 사용자는 증명을 보관하고, 증명을 언제 어디에 공유할지를 결정할 수 있습니다.Moca Chain은 기관이 통합된 디지털 신원과 관련된 변조 방지 증명을 발급할 수 있도록 하며, 신원 확인, 회원 자격 등의 정보를 포함합니다. Moca Network는 또한 기업이 사용자와 AI 에이전트에 접근할 수 있는 통합 진입점을 제공하고 민감한 정보 저장 요구를 줄이기 위해 AIR를 출시했습니다. Moca Network는 AIR 생태계에 SK Planet, Biletinial, Oyunfor, Open Campus, OneFootball, Automobili Lamborghini, Inveo Kripto, Plume 및 Nansen 등 9개 이상의 파트너가 포함되어 있으며, 2026년까지 통합을 완료할 계획이라고 밝혔습니다.

공식 발표에 따르면, Bitget은 제 47차 준비금 증명서(PoR)를 발표했습니다. 총 준비금 비율은 131%에 달하며, 19종 자산을 포함합니다. 이 중 BTC, ETH, USDT 및 USDC의 준비금 비율은 각각 142%, 110%, 107% 및 154%입니다.Bitget은 2022년 12월부터 매월 준비금 증명을 업데이트하고 있으며, 올해 9월에는 4종 자산에서 19종으로 범위를 확장하여 사용자에게 더 넓은 플랫폼 준비금 가시성을 제공합니다. Bitget의 역사적 평균 준비금 비율은 120% 이상을 유지하고 있으며, 100%의 커버리지 기준을 초과하여 보장된 사용자 자산을 전액 커버합니다.

OpenAI는 2026년 9월 28일 안전 관련 기사를 발표하며, 모든 최전선 강화 학습 훈련을 계속하기 전에 구조화된 안전 문서를 제공해야 한다고 주장했습니다. 이상적으로 이러한 문서는 항공, 원자력 등 안전이 중요한 산업에서 사용되는 증거 기반의 구조화된 위험 논증 수준에 도달해야 합니다. OpenAI는 이를 노력의 방향으로 삼고 있으며, AI 능력의 출현으로 인한 복잡성 때문에 동일한 엄격함을 달성하기 어렵다는 점을 인정합니다.이 기사는 최전선 강화 학습 훈련에 초점을 맞추고 있으며, 내부 및 외부 배치에 필요한 더 광범위한 정렬 속성은 다루지 않습니다. 문서에서 제안하는 내용은 현재의 관행에 해당하며, 앞으로도 계속 진화할 것으로 예상되며 OpenAI 내부에서 시행되고 있습니다. 기술적 방어는 모델 정렬, 격리 및 모니터링을 포함해야 하며, 여기에는 긍정적 강화 보상 투기 방지, 오프라인 정렬 평가 및 스트레스 테스트, 자동 점검자가 사고 체인을 보지 못하도록 하는 것, 다층 인프라 보안, 샌드박스 레드팀, 고대역폭 샘플 간 통신 제한 및 불변 저장 에이전트 기록이 포함됩니다.운영 기준에는 팀 간 사전 이의 제기, 고위 경영진의 거부권이 있는 승인, 훈련 책임자가 안전 논증 및 사건 대응에 책임을 지는 것, 실패 시 중단, 내부 감독, 감사 접근 및 심각도에 따른 업그레이드가 포함됩니다. 심각한 불일치 사건에 대해 OpenAI는 원본 기록에 대한 통제된 접근, 근본 원인 분석, 운영 및 문화 회고를 제안하며, 사건 파생 평가를 회귀 테스트로 삼습니다. 조사 종료 후 결과를 공개하고, 회고 및 운영 변경을 진행하며, 영향을 받은 제3자에게 신속하게 통지합니다.

미국 증권 거래 위원회(SEC) 위원 헤스터 피어스는 SIFMA 디지털 자산 회의에서 발언하며, 규제 기관이 전통적인 금융 모니터링 방식을 재검토하고 "더 많은 데이터 수집"에서 새로운 기술을 활용한 보다 정밀한 검증으로 전환해야 한다고 강조했습니다.피어스는 제로 지식 증명과 같은 기술이 이름, 수입 또는 주소와 같은 기본 개인 정보를 공개하지 않고도 사용자가 연령, 시민 신분, 적격 투자자 신분 또는 제재 목록 등의 요구 사항을 충족하는지를 검증할 수 있다고 말했습니다.헤스터 피어스는 연방 정부 및 규제 기관이 기술적으로 가능할 경우 속성 기반 검증을 채택하고 등록된 실체가 제3자 신원 확인에 더 많이 의존할 수 있도록 허용하여 민감한 정보의 중복 수집 및 저장을 줄여야 한다고 제안했습니다.피어스는 또한 공공 블록체인이 영구적이고 공개적이며 감사 가능한 거래 기록을 갖추고 있으며, 블록체인 증거 도구와 결합하여 불필요한 데이터 수집을 줄이는 동시에 불법 활동에 대한 추적 능력을 향상시킬 것으로 기대한다고 언급했습니다.

Bitget은(는) 보유 자산 증명(Proof of Reserves, PoR) 시스템을 업그레이드한다고 발표했습니다. 자산 범위가 기존 4종의 암호화폐에서 19종의 주요 자산으로 확장되었으며, 새로운 토큰으로는 XAUT, SOL, BNB, USDGO 등이 추가되었습니다. 이번 업그레이드는 플랫폼 수준의 보유 자산 공개 및 개인 자산 증명 검증 범위도 함께 확장되었으며, 사용자는 PoR 페이지를 통해 각 자산의 보유 비율, 규모 및 블록체인 상의 분포를 확인할 수 있고, Merkle Tree를 사용하여 개인 보유 자산이 보유 스냅샷에 포함되었는지 독립적으로 검증할 수 있습니다.Bitget은(는) 2022년 12월부터 매월 보유 자산 보고서를 발표해 왔으며, 2026년 8월까지 총 45회 발표했습니다. 최신 전체 보유 자산 비율은 122%입니다. Bitget CEO Gracy는(는) 플랫폼이 지원하는 자산 종류가 지속적으로 증가함에 따라 보유 자산의 투명성과 검증 능력도 함께 확장되어야 하며, 더 많은 사용자가 자산 상황을 자율적으로 검증할 수 있도록 하고 플랫폼의 투명성을 더욱 높여야 한다고 밝혔습니다.

Aave 창립자 스탄리 쿨레초프는 Clarity Act가 상원에서 진전을 이루지 못한 후, DeFi가 "우버 경로"를 따라야 할 수도 있다고 밝혔습니다.그의 이념은 수백만 사용자에게 제품을 구축하고, 기술 가치를 증명하며, 입법자들이 이를 규제할 방법을 찾을 만큼 충분히 중요하게 만드는 것입니다.

파장 TRON 창립자 손우천이 "손우천상" 설립을 발표하며 현재 수학에만 집중한다고 밝혔다. 그는 이 상이 개인이 아닌 문제를 따르며, 연례 회의, 후보 지명 또는 나이 제한이 없다고 말했다. 각 문제는 두 개의 열로 서명되며, 한 열은 증명자를 기록하고 다른 열은 증명을 형식화하고 기계에 입력한 사람을 기록한다. 두 사람은 동일할 수 있으며, 사람, AI 또는 AI를 사용하는 사람일 수 있다. 상금 발동 조건은 기계가 첫 번째 줄에서 마지막 줄까지 증명을 검증하고 오류가 없을 때이며, 검증이 통과되면 두 개의 열 목록이 해당 문제의 상금 소유자가 된다.규칙에는 다음이 포함된다: 기계 검증 전에 수학계가 인간 증명을 수용한 경우, 먼저 이름을 올릴 수 있으며, 상금은 변동하지 않고 상태는 "증명됨, 형식화 대기"로 표시된다. 증명 열의 상금은 문제 게시 후 해결된 문제에만 지급된다; 게시 시 이미 해결된 문제는 증명자가 여전히 기록되며, 상금은 형식화를 완료한 사람에게만 지급되며 수학 역사에 대한 보상은 이루어지지 않는다. 문제 목록은 손우천의 서명으로 게시 문제와 가격을 결정하며, 일단 게시되면 가격은 오르기만 하고 내리지 않으며, 잘못 작성된 문제는 지급 후 다시 게시된다; 가격 외에 검증, 지급, 이름 게시에 본인은 투표에 참여하지 않는다.손우천은 공익의 초점이 이 상으로 전환될 것이며, 첫 번째 상금 풀은 블록체인에 입금되었고, 주소와 잔액이 공개되며, 그는 계속 자금을 추가할 권리만 보유한다고 밝혔다; 수상 증명 및 상금 지급은 모두 공개적으로 블록체인에 기록될 것이다. 그는 사람 이름을 사용하는 것은 기관의 변화로 인한 이름 변경을 피하기 위한 것이며, 부는 수학에서 온다고 강조하며 "수학에서 오고, 수학으로 돌아가자"고 말했다.

OpenAI는 9월 8일, 내부 다중 에이전트 시스템이 3차원 비압축 나비-스토크스 방정식이 유한 시간 내에 특이점을 형성할 수 있음을 성공적으로 증명했다고 발표했습니다. 이 증명은 OpenAI 내부의 GPT-6 Astra보다 더 강력한 모델에 의해 추진되었으며, 9월 5일에 초기 결과를 얻은 후 17시간 동안 Lean 형식화 검증을 거쳤습니다.OpenAI는 이 증명이 매끄러운 외력이 작용하는 상황에서 정지 유체가 내부로 나선형으로 변형되고 늘어나는 소용돌이 구조를 진화시킬 수 있음을 보여주며, 그 에너지는 제한적이지만 속도는 무한히 증가한다고 밝혔습니다. 이는 천년상 문제의 "C"와 "D" 상황에 해당합니다. 전체 해결 과정에는 약 1만 개의 동시 에이전트가 동원되었고, 약 270만 개의 메시지가 전송되었으며, 약 1300억 개의 출력 토큰이 소모되었습니다. OpenAI는 이번 시도가 Anthropic 직원 Levent Alpöge와 NYU 교수 Tristan Buckmaster의 병행 작업에 대한 소문에서 영감을 받았다고 인정하며, 양측이 오일러 방정식의 정규성 문제에 대해 서로 다른 결과를 도출했다고 언급했습니다. OpenAI는 외력이 없는 상황을 증명한 반면, 상대방은 외력이 있는 상황을 증명했습니다.

후오비 HTX의 최신 머클 트리 준비 증명(PoR) 데이터에 따르면, 2026년 9월 1일(UTC+8) 기준으로 플랫폼의 주요 자산 준비율은 모두 100% 이상을 유지하고 있으며, 충분한 준비금을 통해 사용자 자산의 안전을 보장하고 100% 지급을 약속하여 사용자가 언제든지 거래 및 인출할 수 있도록 하고 있습니다. 업계에서 비교적 일찍부터 머클 트리 준비 증명을 지속적으로 공개한 플랫폼 중 하나인 후오비 HTX는 47개월 연속으로 시장에 PoR 데이터를 공개하여 장기적이고 검증 가능한 방식으로 플랫폼의 투명성을 높이고 있습니다.이번에 구체적으로 업데이트된 준비금 비율은 BTC(104%), ETH(102%), TRX(109%), USDs(102%), HTX(103%), XRP(104%), DOGE(101%), SOL(103%)입니다. 사용자는 후오비 HTX 공식 웹사이트의 "자산-준비금 증명 보고서" 페이지를 방문하여 확인할 수 있습니다.특히, 올해 4월부터 달러 자산 준비 데이터의 시각적 표현을 더욱 향상시키기 위해 후오비 HTX는 USDT, USDC 등의 달러 스테이블 코인을 통합하여 "USDs"로 표시하고 있으며, 각 코인의 자산 데이터는 여전히 독립적으로 기록되고 검증되어 준비 정보의 진실성, 명확성 및 추적 가능성을 보장합니다.앞으로 후오비 HTX는 1:1 준비 원칙을 지속적으로 고수하며, 검증 가능한 데이터, 추적 가능한 온체인 자산 및 정기적인 정보 공개 메커니즘을 통해 자산의 투명성을 지속적으로 높여 사용자들이 준비금을 확인하고 자산을 조회하며 더욱 안심하고 사용할 수 있도록 할 것입니다.

와이오밍주 안정 토큰 위원회는 9월 2일 Chainlink Proof of Reserve를 Frontier 안정 토큰(FRNT)의 독점 온체인 준비 검증 레이어로 채택하고, The Network Firm이 감사한 준비금 및 공급 잔액을 온체인에서 읽을 수 있는 가격에 게시한다고 발표했습니다. 현재 검증 가능한 규모는 크지 않습니다: CoinGecko 데이터에 따르면, FRNT 총 공급량은 967,900개이며, 단가는 약 0.99884 달러로, 이는 위원회가 주 의회 예산 회의 자료에 제출한 기본 시나리오 추정(5억 8,700만 개)의 약 0.2%에 해당합니다; 24시간 거래량은 160 달러로, 모두 Kraken에서 발생했습니다.이 발표는 두 개의 제품을 분리하였으며, 현재 Proof of Reserve만 온라인에 있습니다. 준비금이 총 공급을 커버하지 못할 경우 프로그래밍 방식으로 주조를 차단하는 Proof of Reserve Secure Mint 구성 요소가 있으며, 위원회는 여전히 "채택을 추진 중"이라고 밝혔습니다. 위원회는 이전에 공식 웹사이트에 매일 증명을 게시했으며, 이번 조정은 데이터 전달 방식의 변화이지 업데이트 빈도의 변화는 아닙니다. 위원회 집행 이사 Anthony Apollo는 Chainlink 준비 증명을 채택함으로써 FRNT가 고품질 준비 자산으로 전액 보증된 투명하고 검증 가능한 확인을 제공한다고 말했습니다; Chainlink Labs의 최고 상업 책임자 Johann Eid는 정부가 Chainlink 플랫폼을 활용하여 신뢰할 수 있고 완전히 검증 가능한 온체인 금융 인프라를 생산에 투입할 수 있음을 증명한다고 언급했습니다.

월스트리트 저널에 따르면, 미국 증권 거래 위원회(SEC)는 이른바 특별 목적 차량(SPV) 뒤에 있는 회사에 대한 조사를 강화했습니다. 정보에 정통한 소식통에 따르면, SEC 조사관들은 등록된 투자 자문사에게 그들의 SPV가 실제로 주장하는 사모 회사의 주식을 소유하거나 보유하고 있다는 증거를 제공할 것을 요구하고 있습니다.일부 정보에 정통한 소식통은 SpaceX의 주목받는 최초 공개 모집과 Anthropic의 상장 계획 이전에 이러한 펀드가 마케팅 공격을 강화했으며, 투자자들의 불만도 증가했다고 전했습니다. 이에 따라 규제 기관은 조사를 강화하기로 결정했습니다. 한 소식통에 따르면, SEC의 현재 조사는 일반적으로 문서 요청을 포함하며, 일부 조사는 현장 면담 단계를 포함하기도 합니다. 조사 과정은 수주에서 1년까지 지속될 수 있습니다.

Zcash 전체 노드 클라이언트 Zakura 팀은 Zcash 생태계를 위한 암호 및 프로토콜 라이브러리인 Zakura Common을 발표했습니다. 공식 벤치마크 테스트에 따르면, 모바일에서 증명 생성 속도가 14배 이상 향상되었고(데스크톱에서는 5배 이상), Sinsemilla 해시 속도가 21배 이상 향상되었으며, 시험 복호화 속도가 1.5배 이상 향상되었고, zk-SNARK 검증 속도가 4배에서 8배 향상되었습니다. 많은 경우, 지갑 생성 거래의 대기 시간이 3초 이상에서 200밀리초 이내로 단축될 수 있습니다.이 업그레이드는 네트워크 업그레이드가 필요 없으며, MIT/Apache 2.0 이중 라이센스 오픈 소스를 채택하였고, Zakura 1.3.0은 이 기술 스택으로 전환될 것입니다.

암호화 프로젝트 Refi Hub 공동 창립자 Numa Lunah는 Claude 채팅 창에서 제공된 다운로드 링크를 사용하여 전사 애플리케이션을 설치한 후 해킹 공격을 받았다고 밝혔습니다. 해당 링크는 위조 사이트를 가리키며 악성 소프트웨어를 묶어 제공하고, 실행 후 그의 장치에서 모든 정보를 훔치려 시도합니다. Numa Lunah는 문제가 된 노트북을 정리하고 재설치했으며, 민감한 정보 유출은 발견되지 않았다고 전했습니다.이후 그는 백업에서 오염된 Claude Code 기술 파일 SKILL.md를 발견했습니다. 이 파일은 그의 스타일 가이드로 위장되어 있으며, 매번 로드할 때마다 악성 소프트웨어를 다시 다운로드하고 자격 증명을 훔치는 지침을 포함하고 있습니다. Microsoft Defender Experts는 공격자들이 검색 엔진 최적화 독성을 넘어 대형 언어 모델 응답 독성으로 전환했다고 경고했으며, 관련 수단으로는 공격자가 제어하는 다운로드 링크 추천, AI 브랜드 위조 설치 프로그램, 오염된 코드베이스 및 프록시 기술이 포함됩니다. 암호화 산업 종사자들은 복구 불가능한 자격 증명인 니모닉 구문, 개인 키 파일, 핫 월렛 JSON, 출금 권한이 있는 거래소 API 키 및 배포자 키 등을 보유하고 있을 수 있습니다.