hub / github.com/crate-crypto/rust-verkle

github.com/crate-crypto/rust-verkle @v0.0.5

Chat with this repo

repository ↗ · DeepWiki ↗ · release v0.0.5 ↗ · + Follow

485 symbols 1,257 edges 70 files 96 documented · 20% ● updated 20mo ago★ 13429 open issues

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

Verkle Trie

This code has not been reviewed and is not safe to use in non-research capacities.

This is a proof of concept implementation of Verkle Tries. Any and all mistakes made are mine and are not reflective of the protocol.

Note on Performance

This new code currently has less benchmarks
Parallelism is not currently being used, in places where it could be.

Note on Differences with references

The code has been intentionally implemented in a different way in most places to check for consistency and any misunderstandings. For example, recursion is not used as much when inserting leaves. This means that the code will be more verbose as we need to compute exactly when the algorithm will stop ahead of time.
There are intuitively natural differences due to the language being used, for example, BTreeMap is used in places where the python implementation uses a dictionary and then sorts it.

Minimum Hardware Requirements

32/64 bit architecture due to using as u32 in some cases in the code.

About

This implementation references the ethereum research and go-verkle implementations:

https://github.com/ethereum/research/blob/master/verkle_trie_eip/verkle_trie.py
https://github.com/gballet/go-verkle

License

MIT/APACHE

Extension points exported contracts — how you extend this code

WriteOnlyHigherDb (Interface)

WriteOnly trait which will be implemented by BatchWriters and memory databases This will not be implemented by disk stor [3 …

verkle-trie/src/database.rs

BareMetalKVDb (Interface)

Bare metal database assumes the most basic functionality for a key value database [2 implementers]

verkle-db/src/lib.rs

Committer (Interface)

This is the functionality that commits to the branch nodes and computes the delta optimization For consistency with the [1 …

ipa-multipoint/src/committer.rs

Hasher (Interface)

Used to hash the input in get_tree_key [1 implementers]

verkle-spec/src/lib.rs

ToBytes (Interface)

(no doc)

banderwagon/src/trait_impls/from_to_bytes.rs

ReadOnlyHigherDb (Interface)

Notice that these take self, which effectively forces the implementer to implement these for self or use a struct which [3 …

verkle-trie/src/database.rs

BareMetalDiskDb (Interface)

(no doc) [4 implementers]

verkle-db/src/lib.rs

TranscriptProtocol (Interface)

(no doc) [1 implementers]

ipa-multipoint/src/transcript.rs

Core symbols most depended-on inside this repo

insert

called by 61

verkle-trie/src/trie.rs

group_to_field

called by 49

verkle-trie/src/lib.rs

scalar_mul

called by 27

ipa-multipoint/src/committer.rs

get

called by 27

verkle-trie/src/trie.rs

mul

called by 24

banderwagon/src/msm.rs

insert_single

called by 22

verkle-trie/src/lib.rs

challenge_scalar

called by 19

ipa-multipoint/src/transcript.rs

append_scalar

called by 18

ipa-multipoint/src/transcript.rs

Shape

Method 216

Function 185

Class 55

Interface 16

Enum 13

Languages

Rust97%

C#3%

Modules by API surface

verkle-trie/src/trie.rs29 symbols

ffi_interface/src/lib.rs28 symbols

banderwagon/src/element.rs27 symbols

ipa-multipoint/src/lagrange_basis.rs22 symbols

verkle-trie/src/proof/golang_proof_format.rs20 symbols

verkle-trie/src/database/meta.rs19 symbols

ipa-multipoint/src/multiproof.rs17 symbols

ipa-multipoint/src/ipa.rs17 symbols

verkle-trie/src/proof/stateless_updater.rs16 symbols

verkle-trie/src/database/memory_db.rs16 symbols

verkle-trie/src/database/generic.rs15 symbols

ipa-multipoint/src/transcript.rs15 symbols

For agents

$ claude mcp add rust-verkle \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/crate-crypto/rust-verkle @v0.0.5

Verkle Trie

Note on Performance

Note on Differences with references

Minimum Hardware Requirements

About

License

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page