Comprehensive Formal Verification of Scallop Lend (@Scallop_io)
We proved strong correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Coverage spans all balance sheet operations, from position safety to liquidation exchange

Twitter

Scallop Lend(@Scallop_io)에 대한 포괄적인 형식 검증
핵심 회계, 청산 계산, 접근 제어 및 고정 소수점 연산 전반에 걸쳐 강력한 정확성 속성을 입증했습니다. 적용 범위는 포지션 안전성부터 청산 환전까지 모든 대차대조표 관련 업무를 포괄합니다.

전 세계에서 가장 눈에 띄는 비트코인 ​​구매자들이 거의 기록적인 속도로 매수하고 있지만, 그것만으로는 충분하지 않습니다.
CryptoQuant의 주간 보고서에 따르면 3월 말 기준 전체 30일 명목 수요는 마이너스 63,000을 기록했습니다.

다섯 개의 데이터 소스가 비트코인 ​​시장에 대해 동일한 의견을 제시합니다. 내부에서부터 유동성이 감소하고 있다는 것입니다.

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

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

금융 서비스 대기업 찰스 슈왑(Charles Schwab)은 6월 말 이전에 비트코인과 이더리움의 직접 거래를 시작할 계획입니다.
이는 암호화폐 전문 거래소의 지배력을 뒤흔들 수 있는 움직임입니다.