tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›

1.8K posts

tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ› banner
tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›

tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›

@tip2663

๊ฐ€์ž…์ผ Kasฤฑm 2024
254 ํŒ”๋กœ์ž‰97 ํŒ”๋กœ์›Œ
tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›
Just recently talked about this at the workplace, excited to read this writeup thanks
Pu5chk1n, washed up Krawpooper pro@Pu5chk1n

After a short, health related hiatus, I just published a new post in my series #thedevfiles on @publish0x Im taking a look at the DAO hack 2016 and the ETH hard fork. Read it following this link: publish0x.com/pu5chk1n/the-dโ€ฆ #TheDAO #EthereumClassic #Ethereum

English
1
0
1
21
Pu5chk1n, washed up Krawpooper pro
The next release of "The Dev Files" is going to be a little delayed. I need to focus on some mediacal issues this week and dont have access to my laptop.
English
1
0
1
11
$0.02timmy
$0.02timmy@0x002timmyยท
โ€œ[Industry] is cooked. Claude just came out with this new feature. I just one-shotted this.โ€ The โ€œoneโ€-shot:
English
1
0
5
288
tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ› ๋ฆฌํŠธ์œ—ํ•จ
Demon
Demon@xdemon1510ยท
๐Ÿšจ Breaking, Rฤyฤn Vinklapor, Head of Media in Iran, was eliminated. #Iran #Israel #usa #airstrikes
Demon tweet media
Suomi
722
1.5K
24K
11.8M
Money Ape
Money Ape@TheMoneyApeยท
ETHEREUM IS GOING QUANTUM SAFE ๐Ÿšจ VITALIK UNVEILS A 4-YEAR ROADMAP TO MAKE ETH FULLY QUANTUM RESISTANT BY 2029. 4 KEY VULNERABILITIES IDENTIFIED. 7 NETWORK FORKS PLANNED. THE BUILDING BLOCKS ALREADY EXIST. ETHEREUM GETTING READY FOR A BIG RALLY. ๐Ÿš€
English
322
364
3K
377.5K
Jonathan
Jonathan@joni_vrbtยท
USA has ChatGPT USA has Grok USA has Claude USA has Gemini USA has Llama USA has Copilot China has DeepSeek China has Qwen China has Ernie China has GLM China has Kimi China has MiniMax Europe has?
Espaรฑol
11K
1.5K
20K
4.1M
vitalik.eth
vitalik.eth@VitalikButerinยท
Now, the quantum resistance roadmap. Today, four things in Ethereum are quantum-vulnerable: * consensus-layer BLS signatures * data availability (KZG commitments+proofs) * EOA signatures (ECDSA) * Application-layer ZK proofs (KZG or groth16) We can tackle these step by step: ## Consensus-layer signatures Lean consensus includes fully replacing BLS signatures with hash-based signatures (some variant of Winternitz), and using STARKs to do aggregation. Before lean finality, we stand a good chance of getting the Lean available chain. This also involves hash-based signatures, but there are much fewer signatures (eg. 256-1024 per slot), so we do not need STARKs for aggregation. One important thing upstream of this is choosing the hash function. This may be "Ethereum's last hash function", so it's important to choose wisely. Conventional hashes are too slow, and the most aggressive forms of Poseidon have taken hits on their security analysis recently. Likely options are: * Poseidon2 plus extra rounds, potentially non-arithmetic layers (eg. Monolith) mixed in * Poseidon1 (the older version of Poseidon, not vulnerable to any of the recent attacks on Poseidon2, but 2x slower) * BLAKE3 or similar (take the most efficient conventional hash we know) ## Data availability Today, we rely pretty heavily on KZG for erasure coding. We could move to STARKs, but this has two problems: 1. If we want to do 2D DAS, then our current setup for this relies on the "linearity" property of KZG commitments; with STARKs we don't have that. However, our current thinking is that it should be sufficient given our scale targets to just max out 1D DAS (ie. PeerDAS). Ethereum is taking a more conservative posture, it's not trying to be a high-scale data layer for the world. 2. We need proofs that erasure coded blobs are correctly constructed. KZG does this "for free". STARKs can substitute, but a STARK is ... bigger than a blob. So you need recursive starks (though there's also alternative techniques, that have their own tradeoffs). This is okay, but the logistics of this get harder if you want to support distributed blob selection. Summary: it's manageable, but there's a lot of engineering work to do. ## EOA signatures Here, the answer is clear: we add native AA (see eips.ethereum.org/EIPS/eip-8141 ), so that we get first-class accounts that can use any signature algorithm. However, to make this work, we also need quantum-resistant signature algorithms to actually be viable. ECDSA signature verification costs 3000 gas. Quantum-resistant signatures are ... much much larger and heavier to verify. We know of quantum-resistant hash-based signatures that are in the ~200k gas range to verify. We also know of lattice-based quantum-resistant signatures. Today, these are extremely inefficient to verify. However, there is work on vectorized math precompiles, that let you perform operations (+, *, %, dot product, also NTT / butterfly permutations) that are at the core of lattice math, and also STARKs. This could greatly reduce the gas cost of lattice-based signatures to a similar range, and potentially go even lower. The long-term fix is protocol-layer recursive signature and proof aggregation, which could reduce these gas overheads to near-zero. ## Proofs Today, a ZK-SNARK costs ~300-500k gas. A quantum-resistant STARK is more like 10m gas. The latter is unacceptable for privacy protocols, L2s, and other users of proofs. The solution again is protocol-layer recursive signature and proof aggregation. So let's talk about what this is. In EIP-8141, transactions have the ability to include a "validation frame", during which signature verifications and similar operations are supposed to happen. Validation frames cannot access the outside world, they can only look at their calldata and return a value, and nothing else can look at their calldata. This is designed so that it's possible to replace any validation frame (and its calldata) with a STARK that verifies it (potentially a single STARK for all the validation frames in a block). This way, a block could "contain" a thousand validation frames, each of which contains either a 3 kB signature or even a 256 kB proof, but that 3-256 MB (and the computation needed to verify it) would never come onchain. Instead, it would all get replaced by a proof verifying that the computation is correct. Potentially, this proving does not even need to be done by the block builder. Instead, I envision that it happens at mempool layer: every 500ms, each node could pass along the new valid transactions that it has seen, along with a proof verifying that they are all valid (including having validation frames that match their stated effects). The overhead is static: only one proof per 500ms. Here's a post where I talk about this: ethresear.ch/t/recursive-stโ€ฆ firefly.social/post/farcasterโ€ฆ
English
804
1K
5.7K
913.5K
Anonymous TV ๐Ÿ‡บ๐Ÿ‡ฆ
Anonymous TV ๐Ÿ‡บ๐Ÿ‡ฆ@YourAnonTVยท
๐Ÿšจโšก๏ธBREAKING: UN panel says Jeffrey Epstein files suggest existence of a "global criminal enterprise" committing crimes against humanity
English
20
279
1.8K
27.8K
MagellanQuest ๐Ÿ‡ช๐Ÿ‡บ/acc
MagellanQuest ๐Ÿ‡ช๐Ÿ‡บ/acc@MagellanQuestยท
Iโ€™m European. That means I can cross borders like theyโ€™re city limits. Schengen isnโ€™t a treaty. Itโ€™s a superpower: 29 countries, ~450M people, one seamless space. ๐Ÿ‡ช๐Ÿ‡บ๐Ÿ›‚โœจ Where was your first โ€˜Schengen momentโ€™?โ€
MagellanQuest ๐Ÿ‡ช๐Ÿ‡บ/acc tweet media
English
195
116
1K
102.1K
tip ๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ›๐Ÿฆโ€โฌ› ๋ฆฌํŠธ์œ—ํ•จ
Panda ๐ŸŸฆ
Panda ๐ŸŸฆ@SHPcryptoยท
Web3 gaming is not an if, itโ€™s a when. As in, โ€œwhen will I get my money back?โ€
English
3
1
9
114
SumitM
SumitM@SumitM_Xยท
As a developer , Have you ever thought that WHY a BIG file gets deleted instantly, but copying it takes time.
English
308
63
3.4K
417.9K