mirror of
https://github.com/luxfi/crypto.git
synced 2026-07-27 01:54:50 +00:00
Hanzo AI
483f6fe491
Replaces the prior `verkle/verkle.go` re-export shim (`type X =
upstream.X`, `var Fn = upstream.Fn` against `github.com/ethereum/go-verkle`)
with a full source vendor of `github.com/ethereum/go-verkle@v0.2.2` into
`/Users/z/work/lux/crypto/verkle/` under luxfi copyright. Every type and
function now has a concrete Go body in luxfi-owned files; no aliases
remain. Resolves the canonical-audit violation flagged in
CANONICAL_AUDIT.md (commit 9affea3).
Provenance:
Upstream: github.com/ethereum/go-verkle@v0.2.2 (public domain / Unlicense)
Per-file header notes vendor source and Lux Ecosystem License rebadge.
Files (13 source + 10 tests, ~7,900 LOC vendored):
verkle/config.go, config_ipa.go, conversion.go, debug.go, doc.go,
verkle/empty.go, encoding.go, hashednode.go, ipa.go, proof_ipa.go,
verkle/proof_json.go, tree.go, unknown.go (+ matching _test.go)
Surface preserved (all symbols consumed by lux/geth/trie, lux/geth/core/types):
Types: VerkleNode, InternalNode, LeafNode, Empty, Point, Fr,
VerkleProof, StateDiff, NodeResolverFn, IPAConfig, Proof
Const: NodeWidth
Funcs: ParseNode, New, ToDot, GetConfig, MakeVerkleMultiProof,
SerializeProof, HashPointToBytes, FromLEBytes, FromBytes,
DeserializeProof, MergeTrees, BatchNewLeafNode,
PreStateTreeFromProof
Methods: *InternalNode.{Insert,Commit,Hash,GetValuesAtStem,
DeleteAtStem}, IPAConfig.CommitToPoly, ...
go.mod: drop direct require on github.com/ethereum/go-verkle; promote
crate-crypto/go-ipa and davecgh/go-spew to direct (still pulled
through banderwagon primitives — to be swapped to luxfi/crypto/ipa
once the parallel banderwagon vendor lands at lux/crypto/banderwagon).
Tests (GOWORK=off go test ./verkle/ -count=1):
82 PASS, 4 SKIP, 2 FAIL.
TestParseNodeEoA and TestParseNodeSingleSlot fail identically against
upstream go-verkle@v0.2.2 (verified) -- these are pre-existing upstream
test fixtures gone stale; not caused by the vendor.
Consumer compatibility verified by external module replace+build
exercising every consumed symbol: ok.
Outstanding (tracked, not blocking):
- Switch IPA primitives import from `crate-crypto/go-ipa/{banderwagon,
common,ipa}` to `luxfi/crypto/ipa/*` once the banderwagon-vanilla
branch lands. Done in this commit would conflict with the parallel
work-in-progress.
- Two upstream-stale test fixtures (TestParseNodeEoA,
TestParseNodeSingleSlot) to be regenerated against current encoding
in a follow-up.
Branch: verkle-vanilla-2026-04-27
43 lines
1.1 KiB
Go
43 lines
1.1 KiB
Go
package verkle
|
|
|
|
import "testing"
|
|
|
|
func TestUnknownFuncs(t *testing.T) {
|
|
t.Parallel()
|
|
|
|
un := UnknownNode{}
|
|
|
|
if err := un.Insert(nil, nil, nil); err != errMissingNodeInStateless {
|
|
t.Errorf("got %v, want %v", err, errMissingNodeInStateless)
|
|
}
|
|
if _, err := un.Delete(nil, nil); err == nil {
|
|
t.Errorf("got nil error when deleting from a hashed node")
|
|
}
|
|
if _, err := un.Get(nil, nil); err != nil {
|
|
t.Errorf("got %v, want nil", err)
|
|
}
|
|
var identity Point
|
|
identity.SetIdentity()
|
|
if comm := un.Commit(); !comm.Equal(&identity) {
|
|
t.Errorf("got %v, want identity", comm)
|
|
}
|
|
if comm := un.Commitment(); !comm.Equal(&identity) {
|
|
t.Errorf("got %v, want identity", comm)
|
|
}
|
|
if _, _, _, err := un.GetProofItems(nil, nil); err == nil {
|
|
t.Errorf("got nil error when getting proof items from a hashed node")
|
|
}
|
|
if _, err := un.Serialize(); err == nil {
|
|
t.Errorf("got nil error when serializing a hashed node")
|
|
}
|
|
if un != un.Copy() {
|
|
t.Errorf("copy returned a different node")
|
|
}
|
|
if un.toDot("", "") != "" {
|
|
t.Errorf("toDot returned a non-empty string")
|
|
}
|
|
if !un.Hash().Equal(&FrZero) {
|
|
t.Errorf("hash returned non-zero")
|
|
}
|
|
}
|