Liam

Co-founder @morphic_lab
Blockchain researcher. My research interests involve trustless system design, TEE, and cryptography.

[Liam @xliamren]

@chunxiangai 听起来是为了持续进化的过程中热拔插设计的

[Liam @xliamren]

6/ A verifier can be a compiler, test, schema, constraint, policy, database invariant, another model, external data, or human review.
Harness is one implementation.
Verification leverage is the principle.
Reliable AI is not one perfect generation.
It is many verified steps.

[Liam @xliamren]

1/ Scaling laws explained how we built intelligence.
Verification leverage may explain how we build reliable intelligence.
If scaling laws were one of reality's first gifts for building intelligence, verification leverage may be the next.

[Liam @xliamren]

5/ A difficult task is rarely one decision.
It is a long search through an enormous space of possible reasoning paths and actions.
Verification continuously narrows that space before errors compound.
Bad paths terminate early.
Good paths continue.
Recovery becomes cheap.

[Liam @xliamren]

Surprise! The day has finally arrived,

though a bit later than expected.

[Liam @xliamren]

There are always surprises using Antigravity.

[Liam @xliamren]

@SooparApe solana

[Liam @xliamren]

@_weidai The solution for chains at capacity could be better put as -> more chains. If a chain is architected as dynamically scaling by spawning/destroying new shards at capacity, The problem could be solved

[Liam @xliamren]

How do you show that your system is better than local AI guardrails (rate limits, gateway, oversight)?

[Andrew Miller @socrates1024]

vitalik quietly made 2 blog posts about how TEE can be a part of the eth roadmap, but afaict no one is talking about this

- TEEs as mostly-untrusted multiprover for scaling L2 https://t.co/JwakMtbCMH
- TEEs for privacy in RPCs https://t.co/YM8XrT9kIb

[Alvaro Cintas @dr_cintas]

What a crazy week in AI 🤯

- OpenAI’s Codex
- Google Coding Agent
- Windsurf SWE-1 models
- Notion’s new AI for work
- Tencent Multimodal Video
- ChatGPT 4.1 & PDF Exports
- Meta Collaborative Reasoner
- ElevenLabs Infinite Soundboard

Here’s EVERYTHING you need to know:

[Liam @xliamren]

“In roughly 75% of cases, it rediscovered state-of-the-art solutions... And in 20% of cases, AlphaEvolve improved the previously best known solutions.”

https://t.co/DmYQwkZ8lY

Just 6-7 years ago, dynamic analysis research of software engineering relied on hand-crafted test cases and mutation operators to iteratively fuzz code for finding bugs. Today, LLM-based agents are transforming the very goals and methods of research, actively driving breakthroughs in science itself.

[Liam @xliamren]

@_weidai Is there any add-up compared with Zether? A lower gas fee or better programmability?

[Wenfeng Wang @tolak_eth]

You may not the target audience of this post as an expert, but many others are.

Here is the anwser of "What's the difference between #TEE and #ZKP"

[Hang Yin @bgmshana]

One more TEE-pilled guy ❤️

tldr: TEE loves ZK
- TEE doesn't replace ZK
- TEE enables private ZK-proving outsourcing
- You get best security with ZK and privacy with TEE

[Liam @xliamren]

@stakeingermany @SecretNetwork yeah, and @OasisProtocol . Appreciate the years of exploration and adoption of TEE.

[Liam @xliamren]

In the next 5 years, TEE is the only path to making AI a public accessible good—not through compromise, but by enhancing its true power.

Transforming confidentiality and decentralization into tangible benefits like
- lower costs
- better security
- Abundant data and compute.

This is the promise of TEE, and the vision of us and peers. Shout out to pioneers @ilblackdragon @NEARProtocol @PhalaNetwork

[Illia (root.near) (🇺🇦, ⋈) @ilblackdragon]

Here are some comparisons of potential approaches we explored – we are working with TEE because it offers both verifiability and confidentiality properties with minimal overhead. (Shout out to @phalanetwork!)