Formal verification of SP1 is underway. We’re excited to share early results of our collaboration with @VeridiseInc, a leader in ZK security auditing.

Twitter

SP1의 형식 검증 진행 중입니다. ZK 보안 감사 분야의 선두 기업인 @VeridiseInc와의 협력 초기 결과를 공유하게 되어 기쁩니다.

암호화폐 자산운용사 VanEck은 최신 비트코인 ​​연구 보고서에서 시장 역학에 관한 주목할 만한 결과를 발표했습니다.
이 보고서는 VanEck의 패트릭 부시와 매튜 시겔이 작성했습니다.

10억 달러 규모 자산운용사 밴엑(VanEck)이 비트코인에 대해 낙관적인 전망을 내놓았다고 발표했습니다.

[LPT] 가격 및 거래량 변동 알림
모니터링 정보: 15분 동안 거래량이 4.7배 이상 증가했습니다.
알림 가격: 2.37
가격 변동: 4.08% 상승

레벨 2 이상 경보 발령: [LPT] 거래량 및 가격 변동 경보

KelpDAO 관련 rsETH 사태 이후 DeFi 생태계의 회복 과정이 확대됨에 따라, 솔라나(Solana) Foundation)이 주목할 만한 지원 의사를 밝혔습니다. 재단은 향후 지원을 위해 기부금을 전달할 것이라고 발표했습니다.

솔라나(Solana), 아베(AAVE) 의 어려움에 처한 상황을 돕기 위해 준비 중 - 공식 발표

5/ Determinism checking adds another layer to SP1’s multi-pronged security strategy, alongside third-party audits, expert reviews, and features like SP1-2FA we launched last month.

5/ 결정론적 검사는 제3자 감사, 전문가 검토, 지난달 출시한 SP1-2FA와 같은 기능과 함께 SP1의 다각적인 보안 전략에 또 다른 계층을 추가합니다.

6/ We’re extending this work to every SP1 circuit, and we have more exciting formal verification updates (including correctness proofs in another collaboration) coming soon.
Read more:

6/ 우리는 이 작업을 모든 SP1 회로로 확장하고 있으며, 더욱 흥미로운 형식 검증 업데이트(다른 협업을 통한 정확성 증명 포함)도 곧 제공할 예정입니다.
더 읽어보세요: