QED is Now @PsyProtocol

Joined March 2023
23 Photos and videos
Pinned Tweet
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: psy.xyz 🐦 X: @PsyProtocol 💬 Discord: discord.gg/psyprotocol
4
22
1,508
Psy (Formerly QED) retweeted
Litecoin Summit 2025: @cmpeq explains 'The Coming PoW Renaissance'
3
11
92
4,782
Psy (Formerly QED) retweeted
2 Jun 2025
CZ is talking about zk, pump eeeet
Given recent events, I think now might be a good time for someone to launch a dark pool perp DEX. I have always been puzzled with the fact that everyone can see your orders in real-time on a DEX. The problem is worse on a perp DEX where there are liquidations. Even with a CEX order book, where orders aren't linked to a specific individual, if you're looking to purchase $1 billion worth of a coin, you generally wouldn't want others to notice your order until it's completed. Otherwise, people might try to buy before you, effectively front-running you. In the case of a DEX, this can lead to MEV attacks. This results in increased slippage, worse prices, and higher costs for you. For this reason, the large traders in TradFi use dark pools, which are often 10 times bigger than the “lit pools" (ie, normal orderbooks). For perps (or futures), it is even more important to not let others know/see your orders. If others can see your liquidation point, they could try to push the market to liquidate you. Even if you got a billion dollars, others can gang up on you. This was possibly what we have seen recently. The counter argument I have seen is that being more transparent allows market makers to absorb your large orders. This is possibly true. I won’t get into an argument on which is right or wrong. Different traders may prefer different types of markets. Now might be a good opportunity for someone to launch an on-chain dark pool style DEX perps, either by not showing the orderbook, or even better not showing deposits into smart contracts at all, or until much later. This should be doable with ZK or similar encryptions. Just a Sunday idea. If you are building such a project, feel free to reach me on reachme.io/@cz_binance. No guarantees I will invest, or even reply. 🙏
1
7
903
Psy (Formerly QED) retweeted
6 Jan 2024
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 bitcointalk.org/index.php?to…
1
6
19
4,012
Psy (Formerly QED) retweeted
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
4
20
3,749
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🏃
11 Oct 2023
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: github.com/QEDProtocol/posei…
2
1
14
1,549
Such matmul, very zkVM
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!
3
929
> developer onboarding go ding ding 🔔🔔
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
1
1
667
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! qedprotocol.com/blog/posts/a…
1
8
811
If only making the 32 diagrams and animations was as fast as a QED block... 😂
12 Sep 2023
Check out the latest post on the QED blog where we design a horizontally scalable blockchain from scratch: qedprotocol.com/blog/posts/a… It's an epic deep dive, so get your popcorn ready 🍿!
4
541
Psy (Formerly QED) retweeted
31 Aug 2023
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 🎉
2
9
1,550
Psy (Formerly QED) retweeted
18 Aug 2023
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 } );
QED #WordOfTheDay: Covenant Covenants are used on QED for cross user interactions, token transfers, order books and more! With covenants, smart contracts can require that an additional transaction is executed before a transaction chain proof can be submitted to the network.
2
3
793
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...
4
964
Compile TypeScript -> Circom
3
366
Psy (Formerly QED) retweeted
Learn more about the scaling technology behind QED~ upenn.zoom.us/j/94582900394?…

10 Aug 2023
🏠 Day 10 @ W3BxSui Hackerhouse: Buckle up students! 🎓 Meet CEO and Founder Carter Jack Feldman @cmpeq , the brain behind @QEDProtocol . 🌟 Discover Local Proving & PARTH: Pioneering scalable blockchains for a trustless internet. 🌐 Join us in person or on Zoom for this insightful adventure! 🚀 #Hackerhouse #Web3 #QEDprotocol
1
7
693
Psy (Formerly QED) retweeted
10 Aug 2023
Dapen ABI State Merkelizer~
1
2
9
655
Psy (Formerly QED) retweeted
\-/
1
1
14
1,840
Psy (Formerly QED) retweeted
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!
1
4
12
767
Psy (Formerly QED) retweeted
30 Jul 2023
2k full time devs vs the 10 year uncontested CHAMP 👑
1
1
5
1,027
Psy (Formerly QED) retweeted
26 Jul 2023
Local Proving Horizontal Scaling on @QEDProtocol
3
9
803