BTC $79,831.03 -0.80%
ETH $2,313.77 -1.46%
BNB $741.93 +0.12%
XRP $1.29 -0.53%
SOL $100.20 -1.49%
TRX $0.3298 -0.20%
DOGE $0.0771 -0.07%
ADA $0.2049 -0.29%
BCH $278.24 -0.41%
LINK $11.36 -1.06%
HYPE $77.89 +0.92%
AAVE $134.68 -2.17%
SUI $0.9104 -1.61%
XLM $0.1680 -0.51%
ZEC $1,223.72 +0.43%
AAPL $344.60 -0.70%
AMZN $249.48 +0.03%
GOOGL $317.79 -1.20%
MSFT $533.16 +1.83%
META $631.49 -1.91%
NVDA $216.51 +1.82%
TSLA $391.62 +4.88%
SNDK $1,259.96 -0.26%
INTC $90.94 +4.09%
SPCX $147.71 -1.09%
MU $906.64 +1.30%
AMD $532.44 +1.68%
BTC $79,831.03 -0.80%
ETH $2,313.77 -1.46%
BNB $741.93 +0.12%
XRP $1.29 -0.53%
SOL $100.20 -1.49%
TRX $0.3298 -0.20%
DOGE $0.0771 -0.07%
ADA $0.2049 -0.29%
BCH $278.24 -0.41%
LINK $11.36 -1.06%
HYPE $77.89 +0.92%
AAVE $134.68 -2.17%
SUI $0.9104 -1.61%
XLM $0.1680 -0.51%
ZEC $1,223.72 +0.43%
AAPL $344.60 -0.70%
AMZN $249.48 +0.03%
GOOGL $317.79 -1.20%
MSFT $533.16 +1.83%
META $631.49 -1.91%
NVDA $216.51 +1.82%
TSLA $391.62 +4.88%
SNDK $1,259.96 -0.26%
INTC $90.94 +4.09%
SPCX $147.71 -1.09%
MU $906.64 +1.30%
AMD $532.44 +1.68%

검증

전체
글
뉴스 플래시

first_img Anthropic: Claude는 대규모 형식 검증 오픈 소스 라이브러리입니다

인공지능 회사 Anthropic의 Frontier Red Team은 10월 22일 연구를 발표하며 대형 언어 모델이 더 큰 규모에서 자동으로 형식 증명을 작성할 수 있다고 밝혔습니다. 팀은 Theorem과 협력하여 Claude를 사용해 RISC-V 어셈블리 레벨에서 100개 이상의 실제 오픈 소스 라이브러리에 대한 안전 속성을 증명했으며, 이는 AI를 사용하여 어셈블리 레벨에서 생산 소프트웨어에 대해 대규모 형식 검증을 수행한 것으로 알려진 최초의 사례라고 합니다. 증명 작성 과정에서 수년간 발견되지 않았던 취약점도 발견되었습니다.실험은 Google OSS-Fuzz에 이미 존재하는 컴파일 가능한 퍼즈 테스트를 사양으로 변환했습니다: 단일 스레드 정적 바이너리, 고정 메모리 예산, RISC-V CPU 및 Linux 등의 가정 하에, 64MB 미만의 임의 입력에 대해 프로그램은 정상적으로 종료되어야 하며 메모리 안전 오류나 단언 실패를 유발하지 않아야 합니다. 몇 주 내에 Claude는 발견된 문제를 수정한 후 123개의 OSS-Fuzz 라이브러리 중 239개의 진입점에 대해 위의 속성을 증명했습니다. 증명은 컴파일된 RISC-V 명령어를 대상으로 하며, 약 1.8억 줄의 Rocq로 이루어져 있으며 Rocq 커널에 의해 검증됩니다. 페이지는 이것이 이러한 라이브러리에 취약점이 없다는 것을 의미하지 않으며, 남은 문제는 신뢰할 수 있는 구성 요소나 증명 범위 밖에 있을 수 있다고 언급했습니다.페이지는 또한 팀이 Claude에게 RFC 1950을 형식화하도록 하였고, x86 바이너리 레벨에서 Linux 커널의 zlib 구현이 해당 사양을 준수함을 증명했다고 밝혔습니다; Rust로 작성된 Python의 대규모 하위 집합을 커버하는 인터프리터는 170만 개 이상의 무작위 생성 프로그램과 CPython 행동이 일치하는 비율이 99.95%였습니다. 36개의 소규모 검증 작업에서 Opus 5.5는 필요한 토큰의 절반이 Opus 5보다 약 40% 적다고 증명했습니다. 팀은 또한 증명이 단일 스레드, 정적 링크된 RISC-V 바이너리를 대상으로 하며, 증명 검증기가 사양이 현실에 부합하는지 판단할 수 없다고 지적했습니다.

first_img Circular 창립자: Axiom이 Lunar를 통해 수취한 검증자 뇌물은 약 1%만이 체인 상 인센티브로 추적 가능하다

솔라나 기반 서비스 분석 플랫폼 Circular의 창립자 벤은 거래 단말기 Axiom이 오해를 불러일으키는 "검증자 뇌물"을 통해 거래자에게 수수료를 부과하고 관련 자금을 HelloMoon 소속의 서비스 Lunar로 라우팅한다고 주장했다. 벤은 4월 이후 Axiom 거래자가 Lunar에 지급한 뇌물이 약 5,570만 달러에 달하지만, 최근 30일 분석에 따르면 그 중 약 1%만이 추가적인 체인 상 검증자 인센티브로 추적 가능하다고 밝혔다. 그는 Axiom이 이 팁 수익에서 분배를 받는지 여부를 질문했다.Circular는 체인 상 지불 흐름을 기반으로 2026년 4월 26일부터 10월 19일까지 Lunar와 Axiom 관련 활동을 재구성했다고 밝혔다: 이 기간 동안 Lunar는 530,166 SOL의 뇌물을 받았으며, 그 가치는 인용된 105 달러/SOL 기준으로 약 5,567만 달러에 해당하며, 이는 1.89억 건의 성공적인 Axiom 거래에 대한 Lunar 뇌물에 해당한다. 최근 30일 동안 4,500만 건의 Axiom 거래가 Lunar에 지불했으며, 이는 성공적인 Axiom 거래의 80.6%를 차지한다; Lunar는 138,964 SOL을 수취했으며, 이는 약 1,459만 달러에 해당하고, 그 중 약 1,579 SOL이 추가 체인 상 검증자 인센티브로 귀속되며, 비율은 1.14%이다.벤은 9월 26일과 10월 7일의 체인 상 사례를 나열하며, Axiom 인터페이스의 제안에 따라 뇌물을 지급한 후 인식 가능한 추가 우선 수수료가 Lunar에 지급된 금액의 약 1% 증가했다고 밝혔다. 그는 Axiom이 거래 라우팅과 수수료 추천을 제어하고 있으며, GitHub에 관련된 Lunar 주소를 공개하여 검증할 수 있도록 했다고 말했다. 위 내용은 Circular 측의 체인 상 통계 및 개인 판단이며, 게시물은 관련 비율이 다른 서비스 비용이나 오프체인 지불을 배제하지 않으며, 플랫폼 분배 비율에 대한 추정이 Axiom에 대한 지불을 추적한 것이 아님을 명시하고 있다.

first_img Celestia가 Fibre를 활성화하여 Rollup 데이터가 검증자에게 직접 전송될 수 있습니다

The Defiant에 따르면, 모듈화 데이터 가용성 네트워크 Celestia가 Fibre 서비스를 활성화하여 Rollup이 검증자에게 직접 데이터를 업로드할 수 있는 경로를 열었다고 발표했다. Fibre는 Celestia가 출시한 데이터 게시 프로토콜로, 클라이언트가 blob 데이터를 조각으로 나누어 검증자가 운영하는 Fibre 서버에 업로드하고, 이러한 서버에서 데이터를 다운로드하여 전통적인 중계 전송 경로를 우회할 수 있게 한다.Celestia 문서에 따르면, Fibre는 각 blob에 대해 오류 정정 코드를 인코딩하여 읽는 사람이 일부 인코딩된 행에서 전체 데이터를 복원할 수 있도록 한다. 합의 계층은 지불 정보와 blob 약속만 기록하며, 데이터 페이로드는 클라이언트와 Fibre 서버 간에 직접 전송된다. 각 서버의 저장 예산은 해당 검증자의 스테이킹 양에 의해 결정되며, 애플리케이션 버전 10부터는 각 바인딩된 검증자가 하나의 Fibre 서버를 운영할 것으로 기대된다.Celestia는 데이터와 약속을 분리하는 설계로 인해 체인 상에서 약속과 검증자 서명만 처리하면 되며, 데이터 자체를 보유할 필요가 없어 더 높은 처리 능력을 지원한다고 밝혔다. 120명의 검증자를 대상으로 한 종단 간 벤치마크 테스트에서 Fibre는 3.07 Tb/s의 처리량을 달성했다. 이 기능은 Celestia 위에 구축된 Rollup에 더 효율적인 데이터 게시 경로를 제공한다.

first_img 기관 결제 네트워크 Lynq가 TBMC와 몇 분 안에 결제 검증을 완료했습니다

디지털 자산 시장을 위한 기관 결제 네트워크 Lynq와 스테이블코인 청산소 The Better Money Company(TBMC)는 실시간 개념 검증을 완료했다고 발표했습니다. 이 검증은 양측 협력의 첫 번째 단계에 해당하며, Lynq에서 스테이블코인 결제를 완료하기 위해 사전 자금 프로세스를 사용합니다.개념 검증에서 TBMC는 고객이 Lynq에 보관한 자산을 RLUSD로 변환하고, 결제는 몇 분 이내에 완료됩니다. 검증은 실제 생산 계좌와 실제 기관 상대방을 사용하며, 결제 과정은 전통적인 은행 창구를 우회합니다. 자산은 결제 보유 기간 동안 이자가 계속 발생하며, 계산은 Tassat의 Yield in Transit 기능을 사용하여 자산 보유 기간에 따라 발생 이자를 결정합니다.TBMC의 창립자이자 CEO인 Sam Broner는 스테이블코인이 의미 있는 기관 인프라가 되기 위해서는 실제 결제 프로세스에 들어가야 한다고 말했습니다. 이 검증은 온체인 담보 이전을 통해 스테이블코인 분산 처리가 가능하다는 것을 보여주며, 신용 및 전통적인 은행 결제에 의존하지 않고 연결할 수 있음을 나타냅니다. Lynq의 CEO인 Jerald David는 기관이 자본이 부족한 것이 아니라, 필요할 때 올바른 형태로 자금을 올바른 장소로 이동하는 것이 부족하다고 말했습니다. 이 검증은 규모를 의도적으로 작게 설정했지만, 디지털 달러가 기관 간에 몇 분 이내에 결제될 수 있으며, 신용 편의를 속도로 대체하지 않는다는 것을 보여줍니다. Lynq는 플랫폼의 원주율 스테이블코인 지원 목표가 현재 2026년 말이라고 밝혔습니다.

first_img 이더리움 스테이킹 탈퇴 대기열이 767,000 ETH로 감소하였고, MetaMask 검증자의 탈퇴 영향이 약해졌다

이더리움 스테이킹 탈퇴 대기열이 지난주 정점에서 하락했습니다. MetaMask가 검증자 철회를 시작한 후, 탈퇴 대기열은 한때 약 851,000 ETH에 달했으나 현재 약 767,000 ETH로 감소했습니다. 이전인 9월 29일에는 해당 대기열이 약 166,000 ETH에 불과했으며, 불과 며칠 만에 5배 이상 증가하여 전체 네트워크에서 약 4360만 개의 스테이킹 ETH의 약 2%에 도달했습니다.MetaMask는 9월 30일 일부 인프라에 영향을 미치는 보안 사건을 공개하고 예방 조치로 영향을 받은 검증자를 오프라인 상태로 전환했습니다. 10월 1일 업데이트에서는 조사 결과 지갑이나 고객 자금에 영향을 미친 징후가 발견되지 않았다고 밝혔습니다. MetaMask는 지갑 사업 외에도 스테이킹 서비스 제공업체 Lido를 위해 검증자를 운영하고 있습니다. 이더리움 보안 연구원 Kaden은 이번 예방적 탈퇴가 약 17,000명의 검증자와 약 523,000 ETH에 관련되어 있다고 추정했으며, MetaMask는 이 데이터를 확인하지 않았습니다.Lido는 영향을 받은 검증자가 탈퇴하고 잔액이 인출됨에 따라 이 ETH가 점진적으로 재스테이킹될 것으로 예상하며, 이 과정은 약 45일이 걸릴 수 있다고 밝혔습니다. 영향을 받은 검증자는 다운타임 동안 보상을 놓치게 되며, Lido는 stETH 보유자가 아무런 조치를 취할 필요가 없다고 전했습니다. 한편, 스테이킹 대기열에 들어가는 수요는 다소 감소하여 약 150만 개의 ETH가 대기 중이며, 예상 대기 시간은 약 25일입니다.

first_img Osmosis 유지 모드를 종료하고 인플레이션을 낮추며 검증자 수를 30으로 줄일 계획입니다

Cosmos 생태계 탈중앙화 거래 프로토콜 Osmosis는 지난 몇 달간의 유지 모드가 곧 종료되며, 적극적인 개발이 재개될 것이라고 발표했습니다. 팀은 첫 번째 단계로 핵심 제품을 더 간소화할 것이라고 밝혔으며, 여기에는 토큰 경제의 단순화, 자금 풀에 집중, 그리고 네트워크가 필요할 때 더 빠르게 행동할 수 있도록 하는 것이 포함됩니다.Osmosis는 세 가지 OSMO 조정을 제안했으며, 모두 체인 상 거버넌스에 제출될 예정입니다. 첫 번째는 인플레이션을 더욱 낮추고 새로운 OSMO의 유통을 줄이며, 커뮤니티 풀에 새로운 OSMO를 주입하는 것을 중단하여 네트워크가 실제 수익에 더 의존하도록 하는 것입니다. 두 번째는 커뮤니티 풀이 보유하고 있는 대부분의 OSMO와 이전에 커뮤니티 풀에서 배분된 OSMO를 소각하는 것입니다. 세 번째는 자금 풀이 핵심 유동성 풀에만 유동성을 제공하며, 전체 목록은 변경이 발효되기 전에 발표될 것입니다.팀은 또한 활성 검증자 집합을 30개로 축소할 계획이며, 더 작은 집합이 보안 사건 대응 및 체인 업그레이드 조정에 도움이 되며, 낮은 인플레이션 모드와도 일치한다고 밝혔습니다. Osmosis는 프로토콜 간소화가 향후 확장을 준비하는 것이며, 여전히 IBC 자산 거래의 중심 장소로 남아 있으며, 다음 단계 구축 방향에 대한 커뮤니티의 의견을 요청하고 있습니다.

first_img MetaMask Staking은 인프라 조사로 인해 Lido 검증자가 퇴출되었습니다

유동성 스테이킹 프로토콜 Lido는 MetaMask Staking(이전 Consensys Staking)이 인프라 침해 사건을 조사한 후, 운영 중인 이더리움 검증자 관련 고객 자산을 보호하기 위한 예방 조치를 취했다고 발표했습니다. 관련 조치에는 Lido 프로토콜에서 이더리움 검증자를 탈퇴하는 것이 포함되며, 이로 인해 일부 보상을 잃을 수 있으며, 검증자가 최근에 다운되어 잠재적인 네트워크 벌금 위험을 줄이기 위해 다운될 경우 가동 중지 벌금이 발생할 수 있습니다.Lido는 관련 검증자가 탈퇴를 시작했으며, 마지막 배치는 2026년 10월 7일 이전에 탈퇴를 완료할 것으로 예상되지만, 그 시점에 완전히 인출되지 않을 것입니다. stETH 보유자는 아무런 조치를 취할 필요가 없습니다. MetaMask Staking 운영 검증자가 탈퇴한 ETH는 검증자가 탈퇴, 인출 및 재진입하는 주기 동안 점진적으로 프로토콜로 돌아올 것으로 예상되며, 대기 시간이 길어져 이 과정은 최대 약 45일이 소요될 것으로 추정됩니다.Lido는 스테이킹 운영이 비관리형이라는 점을 상기시키며, MetaMask는 고객의 인출 키를 관리하지 않습니다. Lido 프로토콜의 다양한 노드 운영자 및 기타 보안 메커니즘, 6,750 stETH 이상의 임시 준비금이 포함되어 있으며, 이는 프로토콜의 정상 운영에 대한 방해를 통제하고 완화하기 위한 것입니다. 전면적인 조사가 진행 중이며, 후속 업데이트는 별도로 발표될 것입니다.
app_icon
ChainCatcher Building the Web3 world with innovations.