Evaluated on: · Spec revision: 2026-08-25 · ac450a4ab2 · Inclusion status at snapshot: PFI
Scope at the cutoff. Execution-layer-only assessment of the sealed EIP-8182 snapshot: the fork-installed shielded-pool system contract, its state and call paths, the Groth16/Poseidon2 pool-proof and auth-policy mechanisms, ETH/ERC-20 asset movement, and activation behavior. Wallet, mempool, note-delivery, and network-anonymity infrastructure identified as out of scope by the EIP is excluded.
- Evaluator
- LLMChecklist v2
- Confidence
- Medium
- Under-specified at assessment cutoff
- Yes — 3 criteria affected
- Plausible range
- 19–22 (Medium)
- Snapshot
- 2026-08-25 · EIP revision
ac450a4ab2(2026-08-25)
Score bands · Checklist revision 2
- Low <12
- Medium 12–22
- High ≥23
28 criteria scored 0–3 (4 in exceptional cases; cross-EIP interactions is uncapped); nominal maximum 84.
Complexity profile
Each segment is one criterion's contribution to the LLM total. Hover or focus a segment for its score and rationale.
Top complexity drivers
Under-specified at assessment cutoff: Yes
The EIP text available at the assessment cutoff left material behavior unresolved. The affected criteria and the plausible total range record that uncertainty.
Why: The activation artifact is not reproducible from the sealed evidence: the exact system-contract bytecode and Groth16 verification key await a trusted setup, the exact pool-circuit artifact is not included, and the referenced Poseidon parameter/vector assets are outside the assessment source list. This chiefly limits cryptographic vectors, performance baselines, and final cross-client artifact agreement without changing the clearly specified count of protocol surfaces.
Plausible total
19–22
recorded score 20 · plausible tiers Medium
Affected criteria (3)
Unresolved questions at the cutoff (4)
- What exact system-contract bytecode and initial account state will all clients install at activation?
- What finalized Groth16 circuit artifact, verification key, and trusted-setup transcript determine the embedded verifier?
- Do the referenced Poseidon2 constants and vectors fully determine and test every sponge and Merkle-tree context described by the prose?
- What measured execution and state-growth costs follow from the finalized bytecode, proof verifier, auth-verifier calls, and allowed payload sizes?
Notable ambiguities noted by the assessor (3)
- Same-block auth-policy roots are intentionally not retained after later same-block mutations, so transaction ordering determines whether an intermediate root remains usable; the EIP recommends waiting a block but does not make that wallet behavior mandatory.
- ERC-20 compatibility is deliberately narrower than the nominal interface: fee-on-transfer and rebasing behavior can fail or under-deliver, and the supporting EIP-20 snapshot contains no normative body for comparison.
- Auth verifier proof formats and verification-key derivation are delegated to companion standards, while the pool contract accepts any user-registered verifier satisfying only the staticcall envelope.
Criterion breakdown
| Criterion | Score | Why this score | Evidence / uncertainty |
|---|---|---|---|
| New fork activation mechanism | 3 | Installing code and an account as part of the activation state transition is a fork-block state modification, matching the score-3 anchor. |
Confidence: High Uncertainty: The exact bytecode is not yet pinned, but the required activation-time state modification is unambiguous. |
| Security risks | 3 | The mechanism touches multiple critical components and custody invariants; an implementation error can compromise pool funds or authorization while other errors can cause replay, lockout, leakage, or denial of service. It requires extensive security review and fuzzing. |
Confidence: High Uncertainty: Risk is scoped to the execution-layer pool and its users as the EIP states; consensus-layer and out-of-scope network privacy are not scored. |
| Edge/boundary conditions | 3 | There are many independent boundary-prone mechanisms, and root aging, replay/expiry, output locking, token-call return shapes, and real/phantom or dummy combinations each require elevated case matrices. |
Confidence: High Uncertainty: Exact circuit and bytecode artifacts may reveal further edges; score 3 already matches the highest defined non-exceptional anchor. |
| CryptographyUnder-specified | 3 | Multiple mechanisms are introduced, including a custom Poseidon2 sponge construction and a compound Groth16/auth-proof protocol with commitments, nullifiers, and Merkle membership. At least the composed relation and cross-proof binding are proposal-specific and demand dedicated vectors and adversarial testing. |
Confidence: High Uncertainty: The referenced Poseidon parameter/vector assets and finalized verification key are not available as scoring evidence, limiting artifact-level review without reducing the evident mechanism count. |
| Added system contracts | 2 | The proposal adds a single stateful system contract, exactly matching score 2. |
Confidence: High Uncertainty: Its exact bytecode is pending, but its count and statefulness are explicit. |
| Performance risksUnder-specified | 2 | Core proof and tree operations can be benchmarked directly, but cumulative state growth, arbitrary auth-verifier code, ERC-20 behavior, payload sizes, and root-history throughput prevent complete isolation. The EIP adds a new path rather than broadly changing existing execution benchmarks, fitting score 2. |
Confidence: Medium Uncertainty: Final bytecode, verification key, and concrete circuit artifacts are pending, so exact execution cost and benchmark coverage are not baselinable. |
| Cross-EIP interactions | 2 | The pool depends on EIP-20 behavior and needs coordinated token-path tests, including nonstandard return shapes and explicitly incompatible fee or rebasing behavior, but the interaction is confined to asset ingress and egress. EIP-4844 is only a trusted-setup analogy in the EIP text and does not require coordinated EIP-4844 test cases. |
Confidence: High Uncertainty: The EIP-20 support file lacks its normative body, but EIP-8182 itself states the integration behavior needed for this complexity classification. Interacting EIPs: EIP-20 |
| Unspecified behavior requiring cross-client consensusUnder-specified | 2 | Clients need coordinated agreement on the exact activation code, verification key, and circuit-derived artifacts before bytecode- and proof-level vectors can be baselined. The gaps are material but localized to the new pool artifact, fitting score 2 rather than re-baselining a newly observable pre-existing behavior. |
Confidence: Medium Uncertainty: The prose fixes many observable cases and provides extensive test requirements, so the remaining uncertainty is narrower than the overall feature surface but blocks an authoritative artifact-level baseline. |
Show 20 zero-score criteria
| Criterion | Score | Why this score | Evidence / uncertainty |
|---|---|---|---|
| Added opcodes | 0 | No opcode is added. |
Uncertainty: No ambiguity is present. |
| Modified opcodes | 0 | No pre-existing opcode behavior is modified or deprecated. |
Uncertainty: No ambiguity is present. |
| Added precompiles | 0 | No precompile is added. |
Uncertainty: Use of existing precompiles is an integration dependency, not an added precompile. |
| Modified precompiles | 0 | No pre-existing precompile is modified. |
Uncertainty: No modification is implied by ordinary calls to them. |
| Modified system contracts | 0 | No pre-existing system contract is modified by this proposal. |
Uncertainty: A future replacement is not part of the assessed activation change. |
| EVM Gas rule changes | 0 | Contract calls and proof verification consume existing EVM gas, but no gas schedule or accounting mechanism is created or changed. |
Uncertainty: Exact system-contract bytecode is pending, but that does not by itself specify a change to EVM gas accounting. |
| State-access ordering within opcode execution | 0 | No opcode's state-access position or gas-charge ordering is changed. |
Uncertainty: The system contract performs state accesses as ordinary contract code; none is an opcode-ordering rule. |
| Blob gas accounting changes | 0 | No blob gas accounting is introduced or modified. |
Uncertainty: EIP-4844 is cited only as an analogy for a setup ceremony, not as an accounting dependency. |
| State gas accounting changes | 0 | New ordinary storage writes are not a change to the rubric's state-gas accounting mechanism. |
Uncertainty: Storage volume is considered under performance and security, not counted again as state-gas accounting. |
| New EVM gas refund | 0 | No new EVM gas-refund mechanism is introduced. |
Uncertainty: No refund-related specification gap is visible. |
| New transaction types | 0 | No new transaction type is introduced. |
Uncertainty: No ambiguity is present. |
| New or modified transaction validity mechanisms | 0 | Contract-level call validation is not a transaction validity mechanism under this anchor. |
Uncertainty: No transaction-envelope change is specified. |
| New block / header fields | 0 | No new block or header field is introduced. |
Uncertainty: No ambiguity is present. |
| Encoding changes (RLP/SSZ) | 0 | Contract calldata and proof payload formats do not change the rubric's transaction/block/interface encodings. |
Uncertainty: No Engine API or block encoding is specified. |
| Block syncing changes | 0 | No new block-RLP syncing validation mechanism is specified. |
Uncertainty: Syncing must reproduce the fork state transition, but that is distinct from this anchor's block-RLP validation mechanism. |
| Engine API changes | 0 | No Engine API change is introduced. |
Uncertainty: No Engine API ambiguity is visible in the sealed text. |
| Transition-tool interface changes | 0 | Activation-block behavior changes, but no transition-tool interface field or interface mechanism is specified. |
Uncertainty: A transition tool must distinguish activation from later blocks; the package does not establish that this requires an interface extension rather than existing fork selection. |
| Patterns affecting pre-existing tests | 0 | The snapshot provides no rule requiring pre-existing tests to be reworked; feature and activation tests are new EIP-specific coverage. |
Uncertainty: A contrived pre-existing test that assumes the fixed system address is empty could be affected, but the package gives no evidence of such a test population. |
| New invariant on pre-existing tests | 0 | Tests unrelated to EIP-8182 are not specified to gain a new assertion. |
Uncertainty: Fork-activation allocation tests are about this EIP and therefore do not constitute a new invariant on unrelated tests. |
| New test-framework primitives | 0 | The sealed text does not demonstrate that existing test primitives are insufficient, even though EIP-specific proof fixtures and helpers will be substantial. |
Uncertainty: The package contains no test-framework inventory, so framework-specific helper needs cannot be established from the snapshot. |
Assessment provenance
- Assessed EIP revision
ethereum/EIPs@ac450a4ab2EIPS/eip-8182.md committed 2026-08-25 · information cutoff 2026-08-25T11:56:58Z- Rubric
- Checklist revision 2 ·
ethspecs/pm@3d8c0128c5 - Evaluator
- gpt-5.6-sol at xhigh reasoning effort · isolation
bubblewrap_one_eip_capsule_v1 - Source record
- Frozen research record
research/tasks/08-hegota-prospective-complexity-assessment/outputs/assessments/hegota-pfi-2026-08-26/eip-8182.yaml· sha256f24a8e332688 - Supporting documents in the sealed package
supporting/eip-20.md,supporting/eip-4844.md