QED Protocol
@QEDProtocol
Followers
2,439
Following
21
Media
52
Statuses
164
QED Protocol is the world's first zk-Native Blockchain Protocol. Designed \forall (∀) the world's builders by @OASNetwork .
Hong Kong
Joined June 2023
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Knicks
• 136461 Tweets
Amethi
• 129509 Tweets
राहुल गांधी
• 116510 Tweets
Bucks
• 83154 Tweets
Sixers
• 69760 Tweets
Brunson
• 65115 Tweets
Pacers
• 61208 Tweets
Racing
• 60058 Tweets
憲法記念日
• 57017 Tweets
Embiid
• 54357 Tweets
Philly
• 54335 Tweets
Game 7
• 45958 Tweets
#Raebareli
• 44055 Tweets
#PONDSXTZUYU
• 38465 Tweets
憲法改正
• 36071 Tweets
Leafs
• 33494 Tweets
Dua Lipa
• 33469 Tweets
Maxey
• 30825 Tweets
Bruins
• 27106 Tweets
Rony
• 25243 Tweets
76ers
• 24771 Tweets
FREENBECKY IS OUR HOME
• 23114 Tweets
Estevão
• 21058 Tweets
Tobias Harris
• 20114 Tweets
連休初日
• 19996 Tweets
Josh Hart
• 18875 Tweets
ゴジラ-1.0
• 18475 Tweets
#FattuPappu
• 18425 Tweets
स्मृति ईरानी
• 17200 Tweets
Hield
• 16771 Tweets
Pachuca
• 15982 Tweets
Smriti Irani
• 15692 Tweets
チャレンジクルー
• 13908 Tweets
किशोरी लाल शर्मा
• 11563 Tweets
Ester
• 11498 Tweets
Hayırlı Cumalar
• 11278 Tweets
Pumas
• 10499 Tweets
In the latest post on the QED blog, we design a horizontally scalable blockchain from scratch:
0
6
116
QED is proud to announce the launch of the L20 Consortium
@L2Ordinals
in partnership with
@starkwareltd
,
@elibensasson
,
@zklink_official
,
@minafoundation
, and
@o1_labs
.
3
17
77
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
8
50
QED Researchers just released a proof of concept for verifying a plonky3 proof in plonky2!
Check out the code on Github:
3
8
31
Future of the Internet = Bitcoin + Proof of Math
@QEDProtocol
Excited to announce the launch of the L20 Consortium, in partnership with
@StarkWareLtd
@EliBenSasson
@zkLink_Official
@MinaFoundation
and
@o1_labs
with a commitment to Bitcoin native security, internet scale, and interoperability to applications and L2 solutions.
9
36
138
0
6
24
Who's ready for the EthCC
#ZKTakeover
?
Make sure to stop by our booth to grab some
#QED
swag🔥
6
3
16
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
0
6
14
QED Founder
@cmpeq
teaching a course in Applied ZKP at Shanghai University
Lesson 2: Generators
4
2
15
Support
@Ethan_Heilman
@Arminsdev
!
It's high time to
#EnableOP_CAT
on
#Bitcoin
core!
OP_CAT makes it easier to build secure UTXOs and levels up Bitcoin's scripting abilities.
6
0
4
4
4
11
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++
0
3
11
QED ❤️ Ola
🇭🇰🎊Thank you to everyone who joined us at
#BitcoinTechTalkHK2024
today! We hope you found the sessions insightful and enjoyed the discussions.
💚Special shoutout to our amazing speakers for your enlightening talks:
@0xShortVix
,
@ocean_xiaobai
,
@cmpeq
,
@hu_zhiwei
,
@crypcipher
,…
30
39
142
2
0
11
4
1
10
@L2Ordinals
@StarkWareLtd
@EliBenSasson
@zkLink_Official
@MinaFoundation
@o1_labs
The new L20 Consortium
@L2Ordinals
is the first Bitcoin consortium to bring Bitcoin’s native security, internet scale, and interoperability to applications and Layer 2 solutions, marking a major milestone in unlocking the full potential of Bitcoin.
0
1
8
#ProofOfMath
coming to BTC
@Bitcoin
, it didn't have to be like this, but you have left me no choice...
done:
✅ bn254 add/mul
#ZKonBitcoin
from QED❤️
todo:
- pairings
- transaction splitting
- work around for lack of OP_CAT (worst case scenario, run 51 txs, inscribe 5 bits per tx from an if/else LUT)
1
0
3
0
1
9
Did you know that
#Bitcoin
does n̶o̶t̶ support the mathematical operations required to verify Zero Knowledge proofs?
This means users have to rely on m̶u̶l̶t̶i̶s̶i̶g̶s̶ ̶a̶n̶d̶ ̶t̶r̶u̶s̶t̶e̶d̶ ̶s̶i̶d̶e̶ ̶c̶h̶a̶i̶n̶s̶ Proof of Math to transact efficiently
(QED + Bitcoin) %💻 = ❤️
0
2
7
Applications for the QED Private Beta are now live on 🙋🏻♀️
1
4
7
#Bitcoin
Core Testnet +
#Ordinals
+
#Runes
...in 1 line of bash
If you've ever been curious about Bitcoin development, give BitIDE a try, it only takes 30 seconds to get started!
docker run -p 1337:1337 -p 1333:1333 -it --rm qedprotocol/bitide-ord:latest
Introducing BitIDE Ordinals Edition:
1-line-script starts a clean environment with:
- Local Bitcoin Testnet
- Block Explorer + Electrs API
- Ordinal Explorer
- BitIDE Editor
- 1-line Ordinal Deploy API
docker run -p 1337:1337 -p 1333:1333 -it --rm qedprotocol/bitide-ord:latest
4
1
9
0
3
7
Get started with
#Bitcoin
Development from scratch in 5 minutes or less 👀
docker run -p 1337:1337 -it --rm qedprotocol/bitide:latest
0
1
6
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
6
for the memes!
🔥🔥🔥
Remember the days when people like
@VitalikButerin
and
@mcuban
were talking about adding ZK verification in Dogecoin for scaling?
@cmpeq
built a soft-forkable GROTH16 zk-SNARK verification: proof of maffs. 🤯
9
18
62
0
0
6
Great work by
@0xJ_C
to get this working, and of course thanks to
@dlubarov
and the
@0xPolygon
team for their great work on plonky2 and plonky3!
QED ❤️ Polygon
1
1
6
Sorry to all who tried to apply for our Private Beta and got a TypeForm error, we exceeded our response quota much faster than we expected!
The new form is now live on
2
1
4
Check out our latest post on the QED blog which explores the problems blockchain scaling has faced in the past + a sneak preview of our next post which explains how to fix them ⛓️
1
2
2
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.
0
1
4
QED switched a while ago to Poseidon2, but we decided to strip out our old Metal poseidon hasher for so others could use it a starting point for their own hardware acceleration
Drop in compatible with plonky2/starky, except with 50% faster proving on Mac
0
1
4
[WEBSITE] Launch Sequence Initiated...
1
0
2
As with all great branding, it was absolutely necessary for us to write an SDF in GLSL for the QED \forall symbol 🤪
1
1
1
The only proof I trust is Proof of Math (∀)
@donnoh_eth
@0xDinoEggs
@ryanberckmans
3. SNARKs on-chain, data off-chain is much better security-wise than fraud proofs on-chain, data off-chain; historically validiums meant only the former
4. "Rollups" != "L2s with full security" because the latter also includes plasma and channels
28
18
187
0
0
3
A new sample demonstrating the XChaCha20💃 Stream Cipher has been added to the growing list of
#DapenSamples
that will be released with our testnet 🎉
Encryption + Global State =
End to End Privacy with Non-Repudiation
0
2
3
Curious about ZK powered scaling?
Make sure to register for today's upcoming Webinar hosted by chain
@HEC
, featuring guests from
@Scroll_ZKP
,
@MinaProtocol
and QED founder
@cmpeq
!
0
3
3
PAY TRIBUTE TO THE KING
0
1
2
#DidYouKnowThat
QED has deep SDK integrations with
#Unity
and
#Unreal
?
With QED, developers can add programmable, dynamic NFTs to their game in seconds by installing the QED-OAS Dynamic NFT SDK.
1
0
3
A single succinct proof of ≥ n transactions in O(log(n)) time 🎉
Watch out for our deep dive blog post coming this week, and join us on our road to 1,000,000 TPS, proved end to end and secured by
#ProofOfMath
🔒
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 🎉
1
3
10
0
1
3
We our pleased to announce that we have replicated the work of Sukbae Lee, et al. (in GLSL)
0
1
2
happy holidays from QED
1
0
2
🙌
Shout out to speakers covering topics:
#MEV
@0xfuturistic
@ballsyalchemist
@MaxResnick1
@SkipProtocol
#ZK
@MantaNetwork
@ModulusLabs
@HyperOracle
@cysic_xyz
@QEDProtocol
#AA
@MetaMask
@AlchemyPlatform
@biconomy
#NewTrends
@Artela_Network
@0xcurio
@QiDaoProtocol
1
0
5
0
1
1
Translation: If you have a problem which is hard to compute using only multiplication and addition, but the inverse is easy to compute using multiplication and addition, then you should write a generator.
0
0
1
zk-Native means we support your favorite proving backend ❤️
@QEDProtocol
's Web IDE added support for compiling standard
#TypeScript
to
#Circom
🎉
- TypeScript to plonky2-compat (cli ✅, web ✅)
- TypeScript to ark-r1cs (cli ✅, web⏳)
- TypeScript to starky-vm (cli ✅,web⏳)
- TypeScript to circom (cli ✅, web ✅)
- TS to miden-vm⏳
1
1
14
0
1
1
First blog post on the QED official blog coming this week!
The team is working hard to make sure all of our blog posts come with interactive charts and code snippets so you can test your knowledge.
Let's talk about horizontal scalability~
0
2
1
The mystery revealed...
just kidding its because QED is \forall
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...
0
0
5
0
0
1
Learn more about the scaling technology behind QED~
🏠 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…
1
1
2
0
1
1
👀
The magic of recursive ZKP:
8.2 billion people prove 10 transactions locally and submit their end-cap proofs to QED, 25% mine tokens by proving 4-to-1 recursive proofs (400ms), sending proofs to other members of the network (225ms), building 1 proof of all 82 billion txs in <10s.
0
0
6
0
0
0
Best of luck to the players from QED's official Esports partner, NIP Group, who are competing️at this years
#AsianGames2023
💪
Take home the gold 🏅!
0
0
1
\-/
A panel discussion on the future of zero knowledge, with
@ergokhaner
@RiscZero
@AleoHQ
&
@QEDProtocol
1
0
2
0
0
0
QED ❤️ MSF
0
0
1
QED:
- ✅ Great platform for building your next killer dApp
- ✅ Scales with your app to millions of users
- ❌ Good design for an airfoil
0
0
1
Elon Musk has discovered the magic of recursive zero knowledge proofs ✨
0
0
1