Add EIP: LUCID encrypted mempool
(anderselowsson), merged at 21:12 after being submitted on March 4; the Magicians thread for EIP-8184 opened at 20:42.
Privacy and transactions: LUCID and encrypted frame transactions
Magicians thread for EIP-8184
Add EIP: LUCID encrypted mempool (anderselowsson), merged at 21:12 after being submitted on March 4; the Magicians thread for EIP-8184 opened at 20:42.
ethresear.ch: Encrypted frame transactions
(soispoke), 20:05: the builder commits to the full ordered transaction set before any decryption key is revealed, then executes that committed order in the same slot after reveal, so same slot encrypted execution works without splitting the block into encrypted and plaintext sections; the design reuses LUCID and EIP-8141; author thread, 20:08.
author thread
Ethresear.ch: Encrypted frame transactions (soispoke), 20:05: the builder commits to the full ordered transaction set before any decryption key is revealed, then executes that committed order in the same slot after reveal, so same slot encrypted execution works without splitting the block into encrypted and plaintext sections; the design reuses LUCID and EIP-8141; author thread, 20:08.
Gas: EIP-8037 and EIP-7928
EIP-8037: clarify regular gas must be charged before state gas
(spencer-tb), submitted: following the gas repricing call, when an opcode needs both regular and state gas the regular charge comes first, and if it runs out of gas no state gas is consumed, which keeps the parent's reservoir from inflating when a child frame fails.
EIP-7928: fix a contradicting claim about the fee recipient
(nerolation), submitted.
Consensus and post-quantum
VitalikButerin: a new fast confirmation rule gives a hard no revert guarantee after one slot (12 seconds)
07:37, assuming an honest supermajority and network latency under about 3 seconds, one step below economic finality; VitalikButerin: recommending a post on why dynamically available consensus matters, 07:40.
VitalikButerin: recommending a post on why dynamically available consensus matters
VitalikButerin: a new fast confirmation rule gives a hard no revert guarantee after one slot (12 seconds), 07:37, assuming an honest supermajority and network latency under about 3 seconds, one step below economic finality; VitalikButerin: recommending a post on why dynamically available consensus matters, 07:40.
ethresear.ch: What if post-quantum Ethereum doesn't need signatures at all?
06:09: prove authorization semantics directly in ZK, about 4,024 R1CS constraints, 128 byte proofs and 52 ms proving, deployable today as an AA validator module with no protocol change.
ethresear.ch: Revisiting Falcon signature aggregation for PQ mempools
(asanso, soispoke, b-wagn), 15:49, comparing signature and aggregate sizes under different key recovery and aggregation assumptions; tcoratger's thread, 17:13.
tcoratger's thread
Ethresear.ch: Revisiting Falcon signature aggregation for PQ mempools (asanso, soispoke, b-wagn), 15:49, comparing signature and aggregate sizes under different key recovery and aggregation assumptions; tcoratger's thread, 17:13.
Other updates
ACDT #75 agenda
02:52; ethresear.ch: Atomic Ownership Blockchains, 17:22.
ethresear.ch: Atomic Ownership Blockchains
ACDT #75 agenda, 02:52; ethresear.ch: Atomic Ownership Blockchains, 17:22.
Community
gakonst: to truly scale a decentralized network you must avoid consensus, which is what led to L2 scaling
04:17; EliBenSasson: a ZK rollup does not necessarily mean privacy, 21:31; zooko: still convinced wasm will beat RISC-V for ZK proving, 23:38.
EliBenSasson: a ZK rollup does not necessarily mean privacy
Gakonst: to truly scale a decentralized network you must avoid consensus, which is what led to L2 scaling, 04:17; EliBenSasson: a ZK rollup does not necessarily mean privacy, 21:31; zooko: still convinced wasm will beat RISC-V for ZK proving, 23:38.
zooko: still convinced wasm will beat RISC-V for ZK proving
Gakonst: to truly scale a decentralized network you must avoid consensus, which is what led to L2 scaling, 04:17; EliBenSasson: a ZK rollup does not necessarily mean privacy, 21:31; zooko: still convinced wasm will beat RISC-V for ZK proving, 23:38.