Sebastien Guillemot

zk.golf zkGolf: golf zero-knowledge circuits, verified in Lean A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.

Ankita Singh Verified account @annkkitaaa · 8h

zkVMs are an interesting direction for cryptography.

instead of designing a custom circuit for every application, we can prove the execution of programs in a virtual machine.

general-purpose computation meets verifiable computation.

View quoted post on X

Sebastien Guillemot Verified account @SebastienGllmt · Oct 2

Reminder: contract composability & events are coming in v9 later this year!

Some basic apps are possible starting today, but for most builders, consider this a "setup" stage to lay the ground work & prepare to upgrade your contracts once v9 is live!

x.com/SebastienGllmt…

View quoted post on X

Binance @binance · Oct 30

Binance's initial investigation suggests that the security incident may involve a compromised DevOps engineer’s laptop, which allowed an attacker to gain access to a service container and submit unauthorized withdrawal transactions. We have found no evidence of any wallet private key leak. We will share a detailed technical post-mortem once the investigation is complete and the facts are fully verified.

The estimated total impact sits at around $6.3B. We have worked with blockchain partners to freeze affected assets, with ~$3 billion frozen on-chain so far.
Binance will cover all losses from the SAFU fund and the company’s funds. User funds are safe. We will also publish an updated Proof of Reserves once the remediation is complete.

As an immediate precaution, Binance has:

- temporarily suspended deposits and withdrawals while security checks are completed;
- revoked the affected address authorisation;
- engaged law enforcement and blockchain intelligence partners to trace and recover funds.

Our teams are working around the clock to resolve this issue safely and thoroughly. We are working closely with our law enforcement partners to confirm the identity of these criminals and bring them to justice.

Please rely only on official Binance channels for updates. Please feel free to contact Binance Customer Support if you have any further questions.

binance.com/en/support/ann…

View quoted post on X

Anthropic Verified account @AnthropicAI · Oct 22

New on our Frontier Red Team blog: using Claude to formally verify software at large scale.

Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).

With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.

Read our research in full here: anthropic.com/research/forma…

View quoted post on X