
Psy (Formerly QED) retweeted
Litecoin Summit 2025: @cmpeq explains 'The Coming PoW Renaissance'
Psy (Formerly QED) retweeted
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. 🙏
Psy (Formerly QED) retweeted
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…
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
Psy (Formerly QED) retweeted
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 🎉
Psy (Formerly QED) retweeted
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.
Psy (Formerly QED) retweeted
Learn more about the scaling technology behind QED~
upenn.zoom.us/j/94582900394?…
🏠 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
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!
Psy (Formerly QED) retweeted
.@QEDProtocol: A Zk-Native Blockchain Capable of Serving Millions of Concurrent Users
news.bitcoin.com/qed-a-zk-na…
Psy (Formerly QED) retweeted
Replying to @VitalikButerin
@VitalikButerin the singularity is here ;)
@QEDProtocol
Psy (Formerly QED) retweeted
Applications for the QED Private Beta are now live on qedprotocol.com 🙋🏻♀️
Psy (Formerly QED) retweeted
🙌🏼Meet @QEDProtocol Tech Talk Speakers at #zkDayParis!
Featuring @cmpeq Founder & CEO of @QEDProtocol
🗣 Topic: Smart Signatures and Software Defined Keys: A Programmable Account Abstraction
📅 7:05 PM - 7:50 PM
🚀Register today to join us on July 19th at #ETHCCParis
Psy (Formerly QED) retweeted
Happy to announce smart signatures on @QEDProtocol:
- Use any ECC curve/asymmetric crypto scheme
- Make native multi-sig user accounts
- Logic which depends on blockchain state
- Bot accounts
Public key is the hash of a zk-circuit's verifier data.
Paper:
publications.qedprotocol.com…



















