Carter Feldman
@cmpeq
Followers
1,272
Following
608
Media
298
Statuses
1,645
Explore trending content on Musk Viewer
Google
• 1095311 Tweets
LINGORM TSOU EP6
• 1004420 Tweets
Caracas
• 932660 Tweets
Petare
• 360385 Tweets
Supreme Court
• 328712 Tweets
Term
• 289596 Tweets
Southport
• 263323 Tweets
CONGRATULATIONS JIMIN
• 246446 Tweets
Miraflores
• 228596 Tweets
Japão
• 164196 Tweets
Medina
• 144495 Tweets
JIMIN NO1 BILLBOARD GLOBAL 200
• 75959 Tweets
Alan Cleland
• 73017 Tweets
SCOTUS
• 69587 Tweets
体操団体
• 41271 Tweets
堀米くん
• 38031 Tweets
#Giochiolimpici
• 36512 Tweets
体操男子団体
• 28019 Tweets
Mimii
• 27079 Tweets
Cardiff
• 19988 Tweets
Tatjana Smith
• 17322 Tweets
Pham
• 16930 Tweets
堀米選手
• 15097 Tweets
#loveIsand
• 14160 Tweets
Chumbinho
• 11473 Tweets
Edman
• 11258 Tweets
Fedde
• 10023 Tweets
In our next post in our Medium series The Hackers Guide to Layer 2: Building a
#zkVM
from Scratch, we will build a trustless proof of math cross-chain bridge to transfer assets/data trustlessly between L1 and L2.
No Multisigs, No PoS, just trustless, unhackable,
#ProofOfMath
!
0
4
41
The Hackers Guide to Layer 2: Building a zkVM from Scratch continues tomorrow as we wrap up merkle trees:
✅ ZMTs (similar to Sparse Merkle Trees, except good)
🕸️ Spiderman Proofs
⏭️ Append only Merkle Trees
🔗 Chained Delta Merkle Proofs
Next week: arithmetic circuits+plonky2🔥
3
6
30
If someone is "auditing" a smart contract and panics when they see 2**256-1, they probably shouldn't be auditing smart contracts lol
If you are auditing and stumble across this:
`0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff`
Don't panic, its pretty simple. This is the hexadecimal version of uint256 maximum value. The same as type(uint256).max.
This is a little cleaner than using the
5
3
81
4
1
24
if anyone is using TEE for anything, you should use an Xbox One
- Only TEE that has never been hacked
- Tons of researchers have tried and failed over the years
1
1
16
@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⏳
2
1
15
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:
1
3
15
Preview of
#Chonker
for BitIDE
⇛ Automagically split any arbitrarily large Bitcoin Script into covenant chunks using p2wkh (pay to
@weikengchen
hash)
⇛ Execute on Bitcoin Inquisition
⇛ profit
5
5
16
Highly recommended FRI-day reading from
@nethermindeth
,
@PratyushRT
,
@SuccinctJT
and the other contributors!
0
0
15
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:
2
8
13
How to make a withdrawals covenant on dogecoin with
#ZKP
Output Introspection -> ensure that a spender has certain outputs according to the logic of the circuit
(ex. only withdraw up to your balance from a rollup)
Stay tuned for our next vid where we build a trustless rollup!
2
4
15
Introducing doge-sdk🐶:
- Fully featured doge SDK written from scratch in pure TypeScript
- Only 18kb gzipped, works in browser + node
- Only 1 (4kb) dependency which has been audited
- Supports both P2SH + P2PKH
- BASM Compiler, RPC/Electrs Client + more!
0
6
13
Tonight during our talk hosted by
@Antalpha_Labs
, we will unveil
#Dapen
, a compiler which can compile any ES6 JavaScript function to an arithmetic circuit for
#ZKP
.
We will also demo DapenIDE, a web IDE for the
#QEDProtocol
with built-in JS-ZK contract compiler & visual debugger
1
2
12
WebGPU Miden is here~
1.5x speed up for proving polygon miden with RPO on Desktop
11x speed up for proving polygon miden with RPO on the web
=D
4
2
12
Congrats to the Chinese, US and Korean teams for taking the top spots at IMO 2023!
0
3
12
Check out our post describing a generic protocol using
#zkSNARK
for trustless Layer2's on
@ethereum
@OASNetwork
👀
1
2
8
Fork of the legendary zkRepl by
@PrivacyScaling
with BLS12-381 support if anyone wants a fast way to generate proofs for debugging:
0
1
11
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
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
0
8
The first installment of our tutorial series "A Hackers Guide to Layer 2: Building a
#zkVM
from Scratch" is now out:
In the post, we re-invent Merkle Trees from first principles and implement a
#MerkleTree
database in
#JavaScript
from scratch as we learn.
0
3
10
The latest installment of The Hackers Guide to Layer 2: Building a zkVM from Scratch is out!
Follow along as we implement:
✅ ZMTs - Zero Merkle Trees with quadrillions of leaves
⏭️ Append-Only Merkle Trees
🔗 Delta Merkle Proof Chains
Next week: plonky2
2
3
7
Anyone know anyone from the Chrome/Safari/Edge/Firefox teams?
After 8 years, webcrypto still does not support secp256k1.
If you find that this would be beneficial to the security of your users, please make your voice heard to make w3c aware.
0
4
9
QED Mobile SDK for Local Proving on iOS
Metal still has a lot of room for optimization, but 15ms for a token transfer on 2 year old phone ain't too shabby ;D
1
4
9
@tjstebbing
check out , might be helpful if your trying to minimize dependencies (it only has one, which is 4kb and has been audited)
2
6
9
Added
#BitIDE
support for
@Blockstream
's
@Liquid_BTC
L2!
Test out the latest elements OP codes and spinup a new elements testnet:
docker run -p 1337:1337 -it --rm qedprotocol/bitide-liquid:latest
1
1
8
Recursive verification of a 320 kb plonky3 proof
Reduction in proof size to 127 kb (60% smaller)
All in less than 6 seconds on my 3 yr old MacBook Pro!
1
1
7
Big update for BitIDE coming tomorrow
- Paste ./run.sh to get a clean local bitcoin testnet with block explorer, automining and funded wallets
- Code, deploy and unlock TapScript UTXOs in seconds
- Full Debugger, metascripting, virtual op codes
Happy Birthday
#Bitcoin
🎉
1
2
7
Asked ChatGPT to write a song about Layer 2s:
(Verse 1)
Uh, yeah, I'm talkin' 'bout the chains, they ain't the same
Speedin' up the game, but yo, what's the claim?
Optimistic rollups, they be the new tech trend
But hold up, wait a minute, let's comprehend
Insecurity's creepin'
0
0
7
Hopefully we will soon be able to verify merkle proofs on Bitcoin thanks to the amazing work of
@Ethan_Heilman
getting the
#OP_CAT
BIP out!
3
3
7
Just finished a new version of CCJS, the worlds first c compiler written in Javascript!
http://t.co/B5r57u5MRj
3
6
7
@QEDProtocol
Whitepaper Prediction: Transaction Cost ≈ 1.3 * cost of recursively verifying a proof on an AWS server That puts QED at around $0.00015 per transaction.
1
2
6
Check out the latest post on the QED blog where we design a horizontally scalable blockchain from scratch:
It's an epic deep dive, so get your popcorn ready 🍿!
0
2
7
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
Recently got asked by a few investors how we make our visualizations.
Our internal tool QED Viz]can generates procedural animations directly from unit tests:
- define contracts, # of users and test transactions
- annotate state reads/writes in the code
Will open source soon 💯
2
1
5
qed viz fun:
how to draw a binary tree of arbitrary height without any loops using signed distance fields
0
1
6
OP_CAT so OP
looks like OP_CAT finally got a bip number. love to see it!
28
23
200
0
0
6
Nice! You guys should join WebGPU gang gang as well!
Introducing merkle-tree, a rust crate
Now we can build a Poseidion Merkle tree with 65536 leaves in under 250ms thanks to Rust and multi-threading.
Built on
@arkworks_rs
8
14
134
0
2
5
10 years ago I built the first worm for video game consoles
Today proud to be reformed and promoting hacker proof solutions powered by ZK!
ZK ❤️ Gaming
QED ❤️ Unity
1
0
5
Highly recommended read from Alex Ozdemir, Kremer (
@CertoraInc
), Tinelli, and Barrett for anyone working on optimizers/building zk compilers:
Satisfiability Modulo Finite Fields
Time to benchmark⏱️
dapen-opt-z3-smt2 vs. dapen-opt-cvc5
0
2
4
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
Curious if anyone is still working on EIP-5988 [Poseidon Hash Precompile], would love to help/contribute dev resources if so!
( - Marked as stale 😔)
@dimahledba
@EliBenSasson
1
0
5
Disappointingly, the majority of voters in Palestine voted for Hamas instead of Fatah in 2006.
Hamas then wasted no time brainwashing a generation to believe that violence was the only answer to their problems.
Those voters now pay the consequences for their decision.
1
0
4
@KolkataPolice
@FBI
Why don't you shut down MET Technologies, Ansh Info Solutions and VRM Business Solutions? They are proven scam call ceners and are defrauding Americans of $70,000 per day.
0
0
5
QED WebGPU accelerated browser proving goes brrr
Proving a QED contract transaction that reads and writes 1kb to contract state at random locations
Used to take 1.67s, now 400 milliseconds
WebGPU iFFT Compute Shader for Quotient Polynomials coming soon
1
1
5
How many concurrent users does QED need to hit in order to reach 100,000 TPS?
Read along as we derive a formula together in our latest blog post!
0
2
5
<3
6th Workshop -
@QEDProtocol
:
We had the honor to have the founder of
@QEDProtocol
,
@cmpeq
to give us a refreshing lecture about Bitcoin Layer 2 ecosystem and their innovative solution L2Ordinals
@L2Ordinals
and current stage of
@QEDProtocol
!
3
0
2
0
0
4
I have had several venture companies in the past, and I can confidently say that no VC has come close to the amazing support we have had from
@Sparkle_VC
and
@JulienPageaud
!
Ft.
@GoldmanSachs
,
@animocabrands
1
0
4
been on the road for so long, finally able to meet a few new hires in person.
feels good to be home~
0
0
4
TapScript Release:
255 bit bigint multiplication in Mainnet compatible Bitcoin Core TapScript (no OP_MUL/OP_CAT/etc.)
Should we release bn254 miller loop? 🤫
1
0
4
Would you believe that this procedural 3D animation was generated using less than 300 bytes of
#javascript
code?
Play around with the code for our 3D bounce demo, or make your own
#demo
in the sandbox at !
Hint: CTRL/⌘+S saves and runs your code~
#fofpx
0
8
4