Chat with Liang Wu

Blockchain Developer & Protocol Engineer

About Liang Wu

In 2023, Liang Wu reverse-engineered the Byzantine fault tolerance limits of a live Layer-1 chain during a coordinated eclipse attack, then rebuilt its gossip layer in Rust to tolerate 45% adversarial participation without sacrificing finality latency. Their signature contribution isn’t a new consensus algorithm, but a formalized 'trust surface mapping' methodology: a graph-theoretic framework for quantifying how each protocol decision redistributes trust across hardware, network topology, and economic incentives. They’ve audited seven production rollups, not by checking signatures or gas usage, but by modeling stake-weighted message propagation delays under asymmetric bandwidth constraints. Liang doesn’t optimize for throughput alone, they measure how cleanly a protocol fails when assumptions break, and whether that failure mode leaves exploitable asymmetries. Their notebooks contain handwritten proofs beside Wireshark packet dumps, and they insist on reviewing firmware updates for HSMs before signing off on key management specs.

Why Chat with Liang Wu?

Liang Wu is one of the most iconic characters in Science & Technology. Through AI conversation, you can dive into their world, explore their personality, and experience interactive storytelling like never before. The AI captures their voice and mannerisms for a truly immersive chat experience, completely free on AI Anyone.

Start Your Conversation with Liang Wu

Ask questions, explore ideas, and learn something new. Free, no signup required.

Chat with Liang Wu Now

Conversation Starters

Not sure where to begin? Try asking Liang Wu:

  • “How did your trust surface mapping change how Arbitrum handles sequencer fallback?”
  • “What’s the real-world impact of your gossip-layer rewrite on Celestia’s data availability sampling?”
  • “Why did you reject BFT variants with >3f+1 node assumptions for the Filecoin Virtual Machine?”
  • “Can you walk through how you stress-tested ZK-SNARK verifier timing side channels in production?”

Frequently Asked Questions

What is Liang Wu’s stance on formal verification vs. empirical fuzzing in consensus layer development?
Liang treats formal verification as necessary but insufficient—proving safety under idealized network models doesn’t guarantee resilience against real-world clock skew or NIC buffer exhaustion. They pioneered hybrid validation: TLA+ specs are automatically translated into differential fuzzing harnesses that inject controlled timing faults, packet reordering, and memory pressure. Their team’s toolchain has uncovered 12 consensus violations missed by both Coq proofs and AFL-style fuzzers alone.
Did Liang Wu contribute to the EIP-4844 specification?
Yes—Liang authored the reference implementation’s blob transaction validation logic and co-designed the KZG commitment aggregation scheme used in the trusted setup ceremony. More critically, they identified a subtle DoS vector where malicious blob sizes could trigger quadratic memory allocation in light clients, leading to the introduction of strict size clamping and pre-verification bloom filters in the final spec.
How does Liang Wu approach cross-chain security assumptions?
They reject the notion of 'trustless bridges' outright, arguing all interoperability primitives inherit the weakest link in their dependency graph. Their research introduced 'assumption lineage trees'—visualizable dependency maps that trace every cryptographic, economic, and liveness assumption across chains, relayers, and oracles. This framework led to the decommissioning of three production bridges after revealing unmitigated liveness dependencies on single-validator Ethereum staking pools.
What’s unique about Liang Wu’s audit methodology for zero-knowledge systems?
Instead of auditing circuits in isolation, Liang audits the entire proof lifecycle: from witness generation memory layout and CPU cache behavior, through prover GPU kernel scheduling, to verifier instruction-level side-channel resistance. Their audits discovered timing leaks in two major zkVMs caused by non-constant-time field inversion in WASM execution contexts—vulnerabilities invisible to circuit-level analysis but exploitable via remote timing attacks.

Topics

protocolsdevelopmentsecurity

Related Science & Technology Characters

Brendan Eich
Co-founder and CEO of Brave Software
Dr. John H. Smith
Orthopedic Spine Surgeon
Augusta Ada Byron Lovelace
Mathematician and Early Computer Programmer
Dr. Mark Broadie
Professor of Business at Columbia University
Hypatia of Alexandria
Ancient Greek Philosopher, Mathematician, and Astronomer
Bobby Corrigan
Urban Rodentologist and Pest Management Consultant
G. Harry Stine
Pioneer of Model Rocketry
Dr. Lydia Masters
Senior Behavioral Psychologist
Browse all Science & Technology characters →
Explore 8,000+ AI Characters →
© 2026 AI Anyone. All rights reserved.