Psy (Formerly QED)

QED is Now @PsyProtocol

[Psy (Formerly QED) @QEDProtocol]

Big things are happening. 🧠

QED has evolved—and it's now Psy Protocol.

Same mission: build a fair, decentralized internet powered by PoW 2.0 (Proof of Useful Work).
🕸️ Web: https://t.co/9h4VULGkVz
🐦 X: @PsyProtocol
💬 Discord: https://t.co/i0d7IQ83H4

[Litecoin Foundation ⚡️ @LTCFoundation]

Litecoin Summit 2025: @cmpeq explains 'The Coming PoW Renaissance'

[Carter Feldman @cmpeq]

CZ is talking about zk, pump eeeet

[Carter Feldman @cmpeq]

Want to get started developing on #Bitcoin?

Checkout this 5 minute tutorial which walks you through:
- Deploying a Local Test + Block Explorer
- Writing a TapScript Locking Script
- Deploying a TapScript UTXO
- Funding and unlocking your P2TR UTXO

https://t.co/TWk7NWa6kY

[Psy Protocol @PsyProtocol]

30 Days at QED
- Added support for recursive verification of Miden-VM and Winterfell proofs
- TypeScript compiler for Miden-VM
- 20x speed up for browser proving using WebGPU
- Formal verification for QED Smart Contracts in Dapen IDE w/cvc5
- Non-refutable encrypted global state

[Psy (Formerly QED) @QEDProtocol]

TLDR for @QEDProtocol's latest Open Source Release:

WebGPU acceleration for the poseidon2 hash function

- Fast hashing is important: its 74% of proving time
- 74% of proving work just got 27x faster in the browser
- near parity with native multithreaded CPU hashing🏃

[Carter Feldman @cmpeq]

Just open sourced QED's WebGPU accelerated poseidon2 merkle hashing library for the browser.

It's over 27x faster than CPU 🎉

Code + Live Benchmark Link:
https://t.co/OG4b0g7Epr

[Psy (Formerly QED) @QEDProtocol]

Such matmul, very zkVM

[Psy Protocol @PsyProtocol]

We are happy to announce that Dapen IDE now supports compiling #TypeScript Smart Contracts to Miden VM assembly 🎉

Dapen is the first high level language compiler to support @0xPolygonMiden, and we hope to see more projects take advantage of the STARK prover from the Miden team!

[Psy (Formerly QED) @QEDProtocol]

> developer onboarding go ding ding 🔔🔔

[Psy Protocol @PsyProtocol]

QED's team is hard at work optimizing our winterfell verifier, and is excited to start on our verifier for @StarkWareLtd Stone proofs + state integration with Cairo via #Dapen!

Done:
-✅ JavaScript/TypeScript
-✅ Python
-✅ Miden VM

Roadmap:
-⌛️Solidity
-⌛️Cairo
-⌛️Rust
-⌛️C++

[Psy (Formerly QED) @QEDProtocol]

Skeptical about infinitely scalable blockchains?
Checkout our latest post on the #QED blog where we explain how to design a stateful, horizontally scalable blockchain with the help of zero knowledge proofs!

https://t.co/WQX1uvEwyd

[Psy (Formerly QED) @QEDProtocol]

If only making the 32 diagrams and animations was as fast as a QED block... 😂

[Carter Feldman @cmpeq]

Check out the latest post on the QED blog where we design a horizontally scalable blockchain from scratch:
https://t.co/2PV04huWvX

It's an epic deep dive, so get your popcorn ready 🍿!

[Carter Feldman @cmpeq]

Visualizing 2 blocks of a token contract on QED

Notice that the proofs generated by the users are proved locally, and block time is O(log(n)) where n is the number of users who submit transactions in the block.

QED => Global State + Horizontal Scalability 🎉

[Carter Feldman @cmpeq]

Look Ma, I Made a DEX Order on QED:
const cov = tokenB
.covenant(DEX_BOT)
.burnTo({to: this.userId, amount: 2000})

tokenA.burnWithCovenant(
{ actor: DEX_BOT, amount: 1000, covenant: cov }
);

[Psy (Formerly QED) @QEDProtocol]

Some have asked why @QEDProtocol is called QED, or what the logo means.

The inspiration for QED came after one of our designers was on vacation and stumbled upon an ancient temple...

[Psy (Formerly QED) @QEDProtocol]

Compile TypeScript -> Circom

[Psy Protocol @PsyProtocol]

Learn more about the scaling technology behind QED~

https://t.co/GvZ95FRnmn

[Carter Feldman @cmpeq]

Dapen ABI State Merkelizer~

[Psy Protocol @PsyProtocol]

\-/

[Psy (Formerly QED) @QEDProtocol]

@QEDProtocol

⏁⊑⟒ ⎎⎍⏁⎍⍀⟒ ⟟⌇ ⎅⟒☊⟒⋏
⏁⍀⏃⌰⟟⋉⟒⎅ ⏁⊑⟒ ⎎⎍⏁⎍⍀⟒ ⟟⌇ ⌿⍀⍜⍜⎎ ⍜⎎ ⋔⏃⏁⊑

⍾⟒⎅ ⟟⌇ ∀

[Psy Protocol @PsyProtocol]

Didn't make it to Paris for #EthCC this year?

Make sure to tune in on @CoinMarketCap tomorrow to get a run down on the highlights of the conference from the President of @Ethereum_France and QED Founder @cmpeq!

[Carter Feldman @cmpeq]

2k full time devs vs the 10 year uncontested CHAMP 👑