mirror of
https://github.com/status-im/nimbus-eth1.git
synced 2025-01-16 15:25:24 +00:00
3b306a9689
* Aristo: Update unit test suite * Aristo/Kvt: Fix iterators why: Generic iterators were not properly updated after backend change * Aristo: Add sub-trie deletion functionality why: For storage tries linked to an account payload vertex ID, a the whole storage trie needs to be deleted with the account. * Aristo: Reserve vertex ID numbers for static custom state roots why: Static custom state roots may be controlled by an application, e.g. for a receipt or a transaction root. The `Aristo` functions are agnostic of what the static state roots are when different from the internal tree vertex ID 1. details; The `merge()` function applied to a non-static state root (assumed to be a storage root) will check the payload of an accounts leaf and mark its Merkle keys to be re-checked. * Aristo: Correct error code symbol * Aristo: Update error code symbols * Aristo: Code cosmetics/comments * Aristo: Fix hashify schedule calculator why: Had a tendency to stop early leaving an incomplete job
68 lines
2.0 KiB
Nim
68 lines
2.0 KiB
Nim
# nimbus-eth1
|
|
# Copyright (c) 2023-2024 Status Research & Development GmbH
|
|
# Licensed under either of
|
|
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or
|
|
# http://www.apache.org/licenses/LICENSE-2.0)
|
|
# * MIT license ([LICENSE-MIT](LICENSE-MIT) or
|
|
# http://opensource.org/licenses/MIT)
|
|
# at your option. This file may not be copied, modified, or distributed
|
|
# except according to those terms.
|
|
|
|
## Aristo DB -- Sign Helper
|
|
## ========================
|
|
##
|
|
{.push raises: [].}
|
|
|
|
import
|
|
eth/common,
|
|
results,
|
|
"."/[aristo_constants, aristo_desc, aristo_get, aristo_hashify, aristo_init,
|
|
aristo_merge]
|
|
|
|
# ------------------------------------------------------------------------------
|
|
# Public functions, signature generator
|
|
# ------------------------------------------------------------------------------
|
|
|
|
proc merkleSignBegin*(): MerkleSignRef =
|
|
## Start signature calculator for a list of key-value items.
|
|
let
|
|
db = AristoDbRef.init VoidBackendRef
|
|
vid = VertexID(2)
|
|
MerkleSignRef(
|
|
root: vid,
|
|
db: db)
|
|
|
|
proc merkleSignAdd*(
|
|
sdb: MerkleSignRef;
|
|
key: openArray[byte];
|
|
val: openArray[byte];
|
|
) =
|
|
## Add key-value item to the signature list. The order of the items to add
|
|
## is irrelevant.
|
|
if sdb.error == AristoError(0):
|
|
sdb.count.inc
|
|
discard sdb.db.merge(sdb.root, key, val, VOID_PATH_ID).valueOr:
|
|
sdb.`error` = error
|
|
sdb.errKey = @key
|
|
return
|
|
|
|
proc merkleSignCommit*(
|
|
sdb: MerkleSignRef;
|
|
): Result[HashKey,(Blob,AristoError)] =
|
|
## Finish with the list, calculate signature and return it.
|
|
if sdb.count == 0:
|
|
return ok VOID_HASH_KEY
|
|
if sdb.error != AristoError(0):
|
|
return err((sdb.errKey, sdb.error))
|
|
discard sdb.db.hashify().valueOr:
|
|
let w = (EmptyBlob, error[1])
|
|
return err(w)
|
|
let hash = sdb.db.getKeyRc(sdb.root).valueOr:
|
|
let w = (EmptyBlob, error)
|
|
return err(w)
|
|
ok hash
|
|
|
|
# ------------------------------------------------------------------------------
|
|
# End
|
|
# ------------------------------------------------------------------------------
|