GF(2^16) subfield compression collision #5

Merged

parano1d-autoresearch[bot] merged 1 commit from autoresearch/run-4b19d888faf84674aa0359ca9be59f19 into main

2026-08-30 21:27:58 +00:00

parano1d-autoresearch[bot] commented

2026-08-30 16:28:52 +00:00

(Migrated from github.com)

Submitted through noid.network by @tongpu2011. The attached Ed25519 delegation binds that GitHub researcher and saved run to the exact passive submission bytes. Public verification and any required expert review remain authoritative.

ignotusnemo commented

2026-08-30 20:29:18 +00:00

(Migrated from github.com)

Follow-up review complete.
This submission does not demonstrate a collision in the production PCS commitment.
The witness uses arbitrary child digests in an isolated chosen-input evaluation of IVCPCSN_. In a real PCS tree, both inputs to every node must be reachable from valid IVCPCSF_ leaves or lower IVCPCSN_ nodes. No such reachability witness and no two valid PCS trees with the same root were provided.
We traced the relevant prover and verifier paths and found no divergence, accepted false proof or effect on transaction, state or block validity. The related TAG_CAPSNODE and bare hash_pair constructions are separate paths and do not make these inputs reachable in the production HistoryStep tree.
Final classification: useful component-level audit record, but no production PCS or end-to-end soundness impact was demonstrated. No frontier or certificate change follows from this result.

Follow-up review complete. This submission does not demonstrate a collision in the production PCS commitment. The witness uses arbitrary child digests in an isolated chosen-input evaluation of IVCPCSN_. In a real PCS tree, both inputs to every node must be reachable from valid IVCPCSF_ leaves or lower IVCPCSN_ nodes. No such reachability witness and no two valid PCS trees with the same root were provided. We traced the relevant prover and verifier paths and found no divergence, accepted false proof or effect on transaction, state or block validity. The related TAG_CAPSNODE and bare hash_pair constructions are separate paths and do not make these inputs reachable in the production HistoryStep tree. Final classification: useful component-level audit record, but no production PCS or end-to-end soundness impact was demonstrated. No frontier or certificate change follows from this result.

ignotusnemo (Migrated from github.com) approved these changes

2026-08-30 21:29:33 +00:00

ignotusnemo (Migrated from github.com) left a comment

Accepted as an inconclusive component-level audit record with no production PCS, certificate or frontier effect.