以太坊研究日报
A quiet Sunday. nerolation submitted EIP-8289, which keeps the EIP-2929 access list warm across 256 blocks instead of resetting it per transaction, for an estimated median gas saving of about 14% per block at a cost of about 10 MB of node state. The Zcash bug led to Ironwood, a formal verification effort for the Orchard payment circuit.
(nerolation), submitted; this is EIP-8289. It adds a 256-block rolling warm access multiset, committed via a SHA-256 SMT root in the block header, so the EIP-2929 access list carries across blocks: a median gas saving of about 14% per block, for about 10 MB of extra node state.
21:08; he noted that Starknet has done formal verification for over 5 years. Eli: Zcash handled the issue responsibly and professionally, 14:39.
Eli Ben-Sasson: the Zcash bug leads to Ironwood, formal verification of the Orchard payment circuit, 21:08; he noted that Starknet has done formal verification for over 5 years. Eli: Zcash handled the issue responsibly and professionally, 14:39.
20:17.
05:40.
23:52.
01:37.