Was really a pleasure working with @intmaxIO, particularly @HiokiLeona, Erik and @missbitcoin_mai!
Also, appreciate my team's hard work (@_ddiaconescu_ and others)! Great protocol that can process massive volumes of payments and truly cares about correctness.
We'll be releasing

It's been a pleasure collaborating with @intmaxIO on formally verifying key security properties of the INTMAX2 protocol using @leanprover. Blog post and source coming out shortly.
Formal verification is crucial for ensuring security and correctness of blockchain protocols like

Nethermind Security

Twitter

@intmaxIO, 특히 @HiokiLeona, Erik, @missbitcoin_mai와 함께 일하게 되어 정말 기뻤습니다!
또한 저희 팀(@_ddiaconescu_ 등)의 노고에 감사드립니다! 엄청난 양의 결제를 처리할 수 있고 정확성을 진정으로 중시하는 훌륭한 프로토콜입니다.
출시할 예정입니다.

이더리움(이더리움(ETH)) 창시자 비탈릭 부테린은 자신의 지갑으로 전송된 거래량이 적은 알트코인을 계속해서 매도하고 있다.
지난 이틀 동안 비테린은 카이버(KNC) 114,500개, STRAYDOG 3,057만 개, 그리고 10억 5천만 개를 판매했습니다.

이더리움 창시자 비탈릭 부테린, 알트코인 3종 매도 (온체인 데이터 기준)

끈기를 갖고 자신의 강점을 찾아낸다면, 분명 보상을 받을 것입니다.
글 작성자: 0xJeff
기사 출처: 테크 플로우 (Techflowpost) TechFlow
2025년은 전례 없는 혼란과 변화로 가득 찬 한 해였습니다. 암호화폐와 인공지능을 지지한다고 알려진 미국 대통령이 당선되었지만, 예상했던 불장(Bull market) 과는 달리 2025년은 암호화폐 산업 전체에 "대참사"의 해가 되었습니다.
대부분의 알트코인은 2025년에 80%~99% 폭락을 경험했습니다.
비트코인의 시총 점유비율 2019-2020년 수준(6% 이상)으로 돌아왔습니다.

2026년에 반드시 알아야 할 암호화폐 트렌드 7가지

비트코인이 9만 달러 선 아래에서 부진한 흐름을 보이자, 크립토퀀트 분석가들은 비트코인(BTC) 약세장에 진입했다고 예측하고 있습니다.