Carter Feldman
@cmpeq
Followers
2K
Following
7K
Media
385
Statuses
2K
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
3
41
@Cointelegraph Strange that you failed to mention this has already been fixed in a security release TWO WEEKS AGO.
0
0
38
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
29
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.
4
1
22
This weekend playing around with TPMs + QED~. Memory Hole is a demo we will be open sourcing that leverages TPMs + zkTLS to archive what was said by politicians (no interpretation / direct quotes only) so voters can view an unbiased timeline of the people running our government.
2
7
23
actually it could not have taken down the entire network, as many nodes were running 1.14.9.
🚨 BREAKING: Hacker exploits $DOGE flaw, crashing 69% of nodes and exposing a vulnerability that could have taken down the entire network.
3
5
18
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
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
17
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
@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
14
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
14
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
3
14
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
4
12
Happy 11th Birthday Dogecoin!! 🎉.Someone was impersonating you in our office, but we know who the real one is 💯
1
9
14
What is possible with ZKP on Doge?. Imagine the internet, but it's dogs all the way down.
2
1
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
11
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
@aejkohl @TobiasRuck nice work, 1337 h4x0r. using 14day old public exploits to DoS hobbyist doge nodes and cause FUD is super cool and you are aw3some. EPIC PWN!. As is visible in your screenshot, Elon Musk and Billy M2k should be in awe of your amazing feats of hacking.
0
0
12
This is big because bitcoinjs-lib cannot parse dogecoin blocks~. checkout for a side by side comparison
Introducing doge-sdk v0.4.3～. In version v0.4.3, doge-sdk became the first JavaScript SDK capable of parsing merge mined dogecoin blocks, on top of updates to its existing wallet, rpc, and electrs APIs. Have fun building on Doge!.
0
2
13
Congrats to the Chinese, US and Korean teams for taking the top spots at IMO 2023!
0
2
11
Proud to have been a part of the NIP Group IPO, ft. my brother, the youngest Asian Chairman in NASDAQ history. $NIPG
1
1
12
Just open sourced - Modular, Composable framework for writing and consuming ordinal/transaction indexers.- Built-in fork-tolerant KV store (you don't have to worry about forks, just your indexer logic).- Easy to use api service builder, also modular.
0
5
12
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
Check out our post describing a generic protocol using #zkSNARK for trustless Layer2's on @ethereum .@OASNetwork 👀.
1
2
7
bloomberg:.Elon Musk and Mark Cuban Agree on One Thing: Dogecoin Is No Longer a Joke. doge pplz:.nononono doge is just the best joke, and 𝘀𝘂𝗰𝗵 𝗺𝗲𝗺𝗲𝘀 make for 𝘃𝗲𝗿𝘆 𝗴𝗼𝗼𝗱 𝗺𝗼𝗻𝗲𝘆.
0
2
10
Looking forward to celebrating the 11th birthday of the most fun currency tomorrow with @ViaBTC @patricklodder @VoskCoin and @wbweng !.
🎉 From Meme to Miner Celebrating @dogecoin's 11th Anniversary 🪙. ⏰ Set your reminder: Ask the best questions in the comments to share $300 USDT!🎁. We’re thrilled to celebrate the $DOGE anniversary with a special AMA! 🎂 Join us to discuss the future
0
6
11
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
9
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
QED has just donated 6,969,420.69696969 Doge to our testnet faucet!. Time to get buildling, claim your TESTDOGE now:.
2
4
11
Stack your $DOGE, it’s time rollups got a little more city-er.
1
1
10
New, modern devtools for Doge and CityRollup on the way. Script data/user flows in the browser and automate flows 🌊
1
3
9
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
@tjstebbing check out might be helpful if your trying to minimize dependencies (it only has one, which is 4kb and has been audited).
2
5
8
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
@dotkrueger We will protect crypto!.we just don't like privacy, encryption, censorship resistance or self custody.
3
0
5
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
3
9
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 would not have been possible without @dlubarov's open source projects. Thanks for making fast client side ZK open and accessible for the community!
I'm biased, but I don't think that anyone has contributed more to the progress of applied ZK over the last three years than @dlubarov and the Polygon Zero team. - Plonky3, the proving system for SP1, Valida, and others. - The initial design and implementation for Valida.- The.
1
1
8
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 🎉
0
1
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
Just finished a new version of CCJS, the worlds first c compiler written in Javascript!. http://t.co/B5r57u5MRj.
3
6
7
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
Make America D.O.G.E Again!. Less government is good government, and this is the first time a mainstream presidential candidate has promised to significantly downsize the federal bureaucracy.
1
0
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
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
qed viz fun:.how to draw a binary tree of arbitrary height without any loops using signed distance fields.
0
0
6
OP_CAT so OP
looks like OP_CAT finally got a bip number. love to see it!.
0
0
6
see everyone at @PowSummit!.
Looking forward to seeing all of our Bitcoin and Dogecoin frens at the #POWSummit in Frankfurt 🇩🇪. Make sure to stop by for our talk on CityRollup～
0
3
6
Time to join together and say ¡AFUERA! to Big Government!.
.@realDonaldTrump congratulations on your formidable electoral victory. Now, Make America Great Again. You know that You can count on Argentina to carry out your task. Success and blessings. Best regards,.Javier Milei ( @JMilei )
2
0
7
According to the @MinneapolisFed and @ErzoLuttmer, Bitcoin is both a "useless piece of paper" and must be taxed to allow permanent gov't deficit spending. If Bitcoin forces governments to spend responsibly, isn't it the most useful tool ever devised to control gov't spending?
1
1
6
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
