Verkle Implementers Call

Bi-weekly call for contributors helping with client implementations or related work

✏️ Sign up for calendar invite

🎥 Recordings of all past calls

Dec 15th, 2023

Agenda:

  1. Client team updates
  2. Shadowfork update
  3. main storage offset value fix: https://github.com/gballet/go-ethereum/pull/329
  4. Gas schedule: the gas schedule should be reviewed because 4762 was created with the idea that the gas schedule would be adopted in the fork before verkle trees, and that doesn't sound like a good idea anymore. https://eips.ethereum.org/EIPS/eip-4762
  5. Verkle proof verification precompile
    1. Proto’s proposal for adding MPT to the precompile
    2. Also, adding new feature to the precompile so you can determine whether the key is in the witness or not. Verifying keys belong to the witness.
  6. Verkle testing: https://notes.ethereum.org/@danceratopz/H1lHOzHQH6

Nov 28th, 2023

Recording: tbd

Agenda:

  1. Client team updates
  2. Kaustinen relaunched
    1. verkle-gen-devnet
    2. see here for more info
  3. Optimization for the conversion
  4. BLOCKHASH opcode for new stateless clients
    1. two plans I have seen are to include the needed mappings in the witness, or move the mapping into the state trie (so BLOCKHASH opcode is basically just an SLOAD of sorts).
    2. note: also need to think about BLOBHASH in a post-dencun world
  5. Verkle proof verification precompile
    1. Proto’s proposal for adding MPT to the precompile
    2. Also, adding new feature to the precompile so you can determine whether the key is in the witness or not. Verifying keys belong to the witness.

October 31, 2023

Recording: https://drive.google.com/file/d/1nGTA-LY9xNyXynJjdauS9q2D5I3oa7VE

Agenda:

  1. Kaustinen update (see Ignacio's analytics doc)
  2. Client updates
  3. Per block vs per slot during the conversion
  4. Post-state in the cryptographic proof
  5. Verkle proof verification precompile

October 3, 2023

Recording: https://drive.google.com/file/d/13q-8dEakSHFgbIyiqCnU6E0rLYHlILas

Agenda:

  1. Kaustinen Relaunch
    • Guillaume and Gajinder
  2. Proposal to avoid changing gas model during transition
  3. Portal and preimage distribution on-demand
  4. TypeScript Verkle implementation
    • Gabriel
    • We need access to some cryptographic primitives that we don't yet have (to my knowledge) available in TypeScript. Question for Kevaundray.
  5. Rust Verkle
  6. Besu <-> Verkle integration
    • Dragan
  7. ZK Verkle doc (verkle tries in circuit)

September 5, 2023

Recording: https://drive.google.com/file/d/11S_cDvfANGbU4giRaA4gIfawxVfayliw/view

Agenda:

  • Kaustinen relaunch
    • Post-state in the blocks
    • Anything else to be included in the relaunch
  • Preimage distribution
    • p2p vs CDN
  • Transition discussion
    • Writeable Merkle Tree

August 8, 2023

Recording: https://drive.google.com/file/d/1FmakJZbMJ0IKqjkNkMN9G3M2uCBzIhtU

Agenda:

  • Verkle verification precompile
  • Gas costs during the transition
  • Preimage distribution
  • Kaustinen relaunch & what to include

July 11, 2023

Recording: https://drive.google.com/file/d/1z3G5M6aaCEb91jmYjAN3Fz-ZPeK1P47k

Agenda:

  • Overlay transition update
  • Kaustinen relaunch: what do we want to have in it? (Post-state, rewards)
  • Verkle snap sync
  • State expiry vs overlay method

Jun 6, 2023

Recording: https://drive.google.com/file/d/1cCjZLWxDTSI2R_fBTaCSv8SCCW1HJ8_J

Agenda:

May 5, 2023

Recording: https://drive.google.com/file/d/1wHkA_bbOnL1kuR42lFJlMjecTtJrE2Od

Agenda:

  • High-level overview of where Verkle is today
  • Teardown of Beverly Hills
  • Overview of conversion methods
  • Preimage distribution
  • Where should client teams get started
  • Open discussion

Call Notes: