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!
#BitIDE
Inquisition is live, setup a clean local testnet + block explorer and IDE with
#OP_CAT
enabled in one command:
docker run -p 1337:1337 -it --rm qedprotocol/bitide-inquisition:latest
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
New features added to
#BitIDE
v0.8.6:
- Wallet Manager for Bitcoin/Liquid/Testnet/Regtest
- OP_CHECKSIG/Script Signature Verification
- Revamped Project Explorer
- Bug Fixes and UX Improvements
Checkout the scripts used in the video in our forum thread:
QED is dedicated to building core infrastructure for the $DOGE open source ecosystem.
Check some of the projects we've been working on:
Block Explorer:
Free Electrs API (CORS Enabled):
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++
🍊Current comprehensive map of
#Bitcoin
L2s Landscape .
📙 The map is composed of 52 protocols across three key categories (not including State Channels):
• Client-side Validation
• Rollups
• Sidechain
We've led the $6M Seed round of
@QEDProtocol
QED is a Bitcoin scaling protocol that focuses on zero-knowledge proof verification technology.
More on our thesis. ↓
@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)
#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
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) %💻 = ❤️
How to protect your packages from supply chain attacks and not end up like
#Ledger
:
- Ensure that your npm account is setup with
#2FA
required for authorization AND PUBLISHING
- Do not give engineers publish access to customer facing packages (use CICD + manual 2FA instead)
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
!
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
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
🔥🔥🔥
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. 🤯
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
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
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.
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 ⛓️
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
!
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 🎉
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
#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.
@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
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.
@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⏳
🏠 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
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...
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~
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.