mirror of
https://github.com/luxfi/evm.git
synced 2026-09-24 00:27:44 +00:00
zeekayandHanzo Dev
c435ce5aea
Wires the existing cevm (C++ EVM) byte-exact shadow verifier so it observes EVERY block of the real ./core suite, and reports the true tally — without weakening the gate or ever letting cevm apply state. - core/main_cevm_test.go (//go:build cevm): a cevm-only TestMain that runs the whole ./core suite then prints the aggregate parallel.CevmShadowStats(). Because state_processor.go:124 routes every block through parallel.DefaultExecutor().ExecuteBlock — which under -tags cevm is the cevmShadowExecutor — this is the honest whole-suite count. main_test.go's goleak TestMain is gated //go:build !cevm so exactly one TestMain exists per build. - core/parallel/cevm_shadow_registration_test.go (//go:build cevm): asserts DefaultExecutor() is the cevmShadowExecutor (not the no-op fallback) — the precondition for the whole claim. - core/parallel/cevm_shadow_e2e_test.go: scaled the real-StateProcessor agreement proof from 3 to 256 genuine InsertChain blocks (768 transfers). cevm's independent real-MPT process_block root byte-matched the Go EVM header.Root on ALL 256/256 blocks (0 disagree, 0 finalize-gap). - Four precompile test files (genesis_dexsettle_reproduce, precompile_alwayson, precompile_statedb_subbalance, precompile_env_call) gated //go:build !cevm: they alone pull precompile/registry -> luxfi/precompile/dex -> luxfi/dex/pkg/dex whose cgo file #includes the absent dex_gpu.h, breaking the CGO_ENABLED=1 build the bridge needs. They are precompile tests, not block-execution tests, and still run in every non-cevm build — an orthogonal blocker isolated, not a cevm regression. HONEST RESULTS (CGO_ENABLED=1 -tags cevm): - Whole ./core suite: 78 PASS / 0 FAIL / 32 SKIP. cevm observed all 9794 blocks; it declined every one as no-preimage (the production default runs preimages OFF, and the shadow needs trie-key preimages to recover the 20-byte addresses that seed cevm) — 0 disagree, 0 errored, 0 false roots. The Go EVM applied every block; cevm never touched state. - Real-block agreement (preimages ON, the config the shadow requires), driven through core.BlockChain.InsertChain -> StateProcessor.Process -> the shadow: 256/256 blocks byte-exact agreement (768 transfers). Default (!cevm) build unchanged: ./core and ./core/parallel green in both CGO modes; the 10 gated precompile tests present in the default build. Co-authored-by: Hanzo Dev <[email protected]>
28 lines
944 B
Go
28 lines
944 B
Go
// Copyright (C) 2019-2025, Lux Industries, Inc. All rights reserved.
|
|
// See the file LICENSE for licensing terms.
|
|
|
|
//go:build !cevm
|
|
|
|
package core
|
|
|
|
import (
|
|
"testing"
|
|
|
|
"go.uber.org/goleak"
|
|
)
|
|
|
|
// TestMain uses goleak to verify tests in this package do not leak unexpected
|
|
// goroutines.
|
|
func TestMain(m *testing.M) {
|
|
opts := []goleak.Option{
|
|
// No good way to shut down these goroutines:
|
|
goleak.IgnoreTopFunction("github.com/luxfi/evm/core/state/snapshot.(*diskLayer).generate"),
|
|
goleak.IgnoreTopFunction("github.com/luxfi/geth/core.(*txSenderCacher).cache"),
|
|
goleak.IgnoreTopFunction("github.com/luxfi/geth/metrics.(*meterArbiter).tick"),
|
|
goleak.IgnoreTopFunction("github.com/luxfi/evm/metrics.(*meterArbiter).tick"),
|
|
goleak.IgnoreTopFunction("github.com/syndtr/goleveldb/leveldb.(*DB).mpoolDrain"),
|
|
goleak.IgnoreTopFunction("github.com/luxfi/geth/triedb/pathdb.(*generator).generate"),
|
|
}
|
|
goleak.VerifyTestMain(m, opts...)
|
|
}
|