@PetarMax が率いる @NethermindSec Formal Verification チームは、@SuccinctLabs と連携し、@ethereumfndn からの寛大なサポートを受けて、@leanprover 年に SP1 HyperCube RISC-V zkVM のすべてのコア RV-64 チップの正確性を正式に検証したことを発表できることを嬉しく思います。 1/

Optimism のシーズン 8 監査助成金プログラムが公開されました。 450,000+ OPは、スーパーチェーン上に構築されているチームで引き続き利用できます。 私たちのチームに連絡してください。監査助成金のプロセスを案内し、助成金評議会への申請書の提出をお手伝いします。 🧵

ノイズを下げます。信号を上げます。🔥 AuditAgentは、6月以降、誤検知を2倍に削減し、すべての真陽性をそのまま維持しました(さらにわずかに改善されました)。