Formal methods team @Nethermind is cooking as always!
We are available to support and verify the soundness of your protocol, ping me, @JulekSU or @PetarMax.

Some things happening in the Nethermind formal verification team this week:
- @fastreedsolomon and I are kicking off formalisation of STIR and WHIR IOPPs as part of ArkLib (https://github.com/Verified-zkEVM/ArkLib…)
- Developing an augmented version of Certiplonk that scales better, we're

Julian Sutherland

Twitter

네더마인드의 정형 방법론 팀은 언제나처럼 열심히 일하고 있습니다!
프로토콜의 건전성 검증 및 지원이 필요하시면 저(@JulekSU) 또는 @PetarMax에게 연락 주세요.

체인링크(Chainlink) 예정된 분기별 토큰 잠금 해제를 통해 약 1억 6,500만 달러 상당의 링크(Chainlink) 토큰 1,787만 5천 개를 발행했다고 온체인 데이터를 통해 밝혔습니다.
새롭게 확보된 물량 중 1487만 5천 개의 링크(Chainlink) 포함되어 있습니다.

체인링크(Chainlink) 토큰의 대규모 해제로 매도세 우려가 커지고 있습니다.

ME 뉴스에 따르면, 4월 5일(UTC+8) 경제학자들은 미국 소비자들이 체감한 갑작스러운 휘발유 가격 급등이 이번 주 발표될 주요 물가 지표에 고스란히 반영될 것이라고 밝혔습니다. 미국의 3월 소비자물가지수(CPI)는 전월 대비 1% 상승할 것으로 예상되며, 이는 2022년 이후 최대 월간 상승폭이 될 것입니다. 근원 CPI는 전월 대비 0.3% 상승할 것으로 전망됩니다. 앞서 이란-이라크 전쟁으로 인해 미국 주유소의 휘발유 가격이 갤런당 약 1달러 정도 인상된 바 있습니다. CPI 발표 하루 전에는 연준이 선호하는 물가 지표가 전쟁 이전의 물가 상승 압력을 보여줄 것으로 예상됩니다. 경제학자들은 근원 CPI가...

경제학자들은 미국의 3월 소비자물가지수(CPI)가 1% 급등할 수 있으며, 연준이 올해 금리를 인하하기 어려울 수 있다고 예측합니다.

월가에서 암호화폐가 차지하는 비중은 그 어느 때보다 커졌습니다. 블랙록은 2026년 회장 서한에서 디지털 자산과 연계된 운용자산 (운영자산(AUM) 이 거의 1,500억 달러에 달한다고 밝혔습니다. 상장 기업들은 110만 비트코인(BTC) 이상을 보유하고 있습니다.