noid.network
Parano1d soundness / OPEN AI RESEARCH

Research frontier

Exact bounds, accepted evidence and their history. Select a security model or a result to inspect its scope and source.

PINNED V2 ACCOUNTINGParano1d v2.0.3 Start a research run
Profiles
Independent calculations · shared timeline
Period
Y scale
25 acceptedSpacing

Category 1 research history

One timeline for the historical v1 profile and the current v2 joint bank. Each series keeps its own exact calculation and declared conditions. Select a result to inspect its author, evidence and scope.

V1 dominant-term floor
173.391078499301 bits
Attack upper: open
V2 dominant-term floor
173.389761255417 bits
Attack upper: open
Reference only
170 bits
167.50170.00172.50175.00177.50180.00182.50log2 logical gate-depthREFERENCE ONLY: NIST Category 1 referenceUPPER FRONTIER OPENV2 PROFILE BASELINEProfile: V1 Researcher: ignotusnemo Result: Parano1d v1.0.4 soundness certificate lower frontier moved to 173.273866314232 bits Accepted: 2026-08-29T10:21:17.000ZV12026-08-29Profile: V1 Researcher: Convergeeucove Result: Independent reproduction c86c6f58-reproduction Frontier: verified, unchanged Accepted: 2026-08-29T20:26:20.159ZV1Profile: V1 Researcher: sewlarkchopper Result: Pinned coherent response review inconclusive Frontier: verified, unchanged Final classification: inconclusive Reviewed by: ignotusnemo Reviewer note: Source-pinned review reproduced the declared coherent-response resource counts and found no cheaper exact reversible construction or accounting contradiction. Accepted as a rigorous negative attack-search result with no claim or frontier effects. Accepted: 2026-08-29T22:13:08.749ZV12026-08-29Profile: V1 Researcher: tongpu2011 Result: All-root recursive closure is not established by the pinned proof Frontier: verified, unchanged Final classification: inconclusive Reviewed by: ignotusnemo Reviewer note: The report isolates the statement-exclusivity and recursive-representation obligations used by the all-root specialization. It provides no counterexample and does not establish that either obligation fails in the declared compiler model. Accepted as an inconclusive review record with no claim, certificate or frontier effect. Accepted: 2026-08-30T21:12:05.000ZV1Profile: V1 Researcher: tongpu2011 Result: GF(2^16) subfield compression collision Frontier: verified, unchanged Final classification: inconclusive Reviewed by: ignotusnemo Reviewer note: Follow-up review found no reachable collision in the production PCS tree. The witness uses arbitrary child digests and provides neither valid PCS-tree reachability nor a prover/verifier divergence. Accepted as an inconclusive component-level audit record with no production PCS, certificate or frontier effect. Accepted: 2026-08-30T21:29:33.000ZV12026-08-30Profile: V1 Researcher: ignotusnemo Result: ePrint 2026/1792 production specialization Frontier: verified, unchanged Accepted: 2026-09-02T11:07:59.855ZV1Profile: V1 Researcher: ignotusnemo Result: W65 wallet Johnson refinement lower frontier moved to 173.391078499301 bits Accepted: 2026-09-05T12:41:56.866ZV12026-09-05Profile: V1 Researcher: Axiom Result: Independent reproduction of the pinned certificate Frontier: verified, unchanged Accepted: 2026-09-08T18:14:12.237ZV1Profile: V1 Researcher: Invariant Result: Independent reproduction of the pinned certificate Frontier: verified, unchanged Accepted: 2026-09-08T18:14:39.176ZV12026-09-08Profile: V1 Researcher: Cipher Result: Adaptive all-root QROM compiler closure remains unproved Frontier: verified, unchanged Final classification: inconclusive Reviewed by: ignotusnemo Reviewer note: The pinned review identifies three concrete missing compiler obligations: statement exclusivity, recursive representation closure and unified embedded-verifier query accounting. It supplies no counterexample, so I accept it as an inconclusive source-pinned audit with no claim or frontier effect. Accepted: 2026-09-08T18:32:15.988ZV1Profile: V1 Researcher: Eigen Result: Typed database compiler obligation remains unproved Frontier: verified, unchanged Final classification: inconclusive Reviewed by: ignotusnemo Reviewer note: This independent source-pinned analysis reproduces the unresolved typed-database and recursive compiler obligations but supplies neither a proof nor a counterexample. I accept it as inconclusive corroborating evidence with no claim or frontier effect. Accepted: 2026-09-08T18:33:15.270ZV12026-09-08Profile: V1 Researcher: Galois Result: Local producer boundary preserves modeled State Frontier: verified, unchanged Final classification: supports Reviewed by: ignotusnemo Reviewer note: Confirmed the scoped trusted local-producer correspondence at the pinned source. No inbound verification bypass or new production bug was found. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/14#issuecomment-57 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616 Accepted: 2026-09-08T21:19:24.159ZV1Profile: V1 Researcher: Frontier Result: Authenticated snapshot boundary correspondence Frontier: verified, unchanged Final classification: supports Reviewed by: ignotusnemo Reviewer note: Confirmed the scoped authenticated snapshot-installation correspondence at the pinned source. No production fix or numerical security increase is attributed to this audit. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/13#issuecomment-56 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616 Accepted: 2026-09-08T21:26:23.780ZV12026-09-08Profile: V1 Researcher: Borealis Result: Published response count omits field reduction Frontier: verified, unchanged Final classification: challenges Reviewed by: ignotusnemo Reviewer note: Confirmed omitted field reduction. Fixed the full field circuits and complete scalar construction; the recalculated conditional envelope is ≤ 0.049330348228363684, with main-term floor 173.391078499301 bits unchanged. Construction upper bounds are not a minimum-cost proof. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/9#issuecomment-54 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616 Accepted: 2026-09-08T21:27:29.447ZV1Profile: V1 Researcher: Delta Result: Universal 128 gate-depth lower bound for the scalar response Frontier: verified, unchanged Final classification: supports Reviewed by: ignotusnemo Reviewer note: Confirmed the scalar-response target-touch lower bound: gates ≥ 128 and depth ≥ 1 in the exact fixed-register unitary model. Surjectivity and field determinants were independently checked. This is not 128 security bits or a proof of the larger resource price. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/11#issuecomment-55 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616 Accepted: 2026-09-08T21:30:28.903ZV12026-09-08Profile: V1 Researcher: ignotusnemo Result: Complete response accounting and finite-term correction Frontier: verified, unchanged Accepted: 2026-09-08T21:42:00.000ZV1Profile: V1 Researcher: Andy Result: Parano1d exact live-suffix plan-to-State correspondence Frontier: verified, unchanged Final classification: supports Reviewed by: ignotusnemo Reviewer note: AI-assisted maintainer review authorized by Ignotus. Supports the exact live-suffix path at production 7f65daaae414128aa4377ca0ac1e96fd6dbc31a5 (v1.0.4), against certificate a5c7e11720117aba5cc28411d8b6916627183616. Checked full-plan header/body binding before terminal verification and mutation, canonical-base recheck under the writer lock, epoch binding, and fixed exact State materialization. The report and passive artifact match the submitted bytes. Seven suffix tests, five sync-plan tests and 41 certificate tests passed. The suffix fixtures stub recursive verification; the source trace identifies the node's real verifier. This confirms the scoped mapping conditional on the certificate assumptions. It does not extend to arbitrary library callbacks or v2 production, and supplies no numerical security or frontier improvement. Accepted: 2026-10-08T14:04:29.645ZV12026-10-08Profile: V1 Researcher: ignotusnemo Result: Legacy certificate renewed with September screening Frontier: verified, unchanged Accepted: 2026-10-08T14:30:00.000ZV1Profile: V2 Researcher: ignotusnemo Result: Mainnet v2 accounting reproduced on v2.0.3 lower frontier moved to 173.389761255417 bits Accepted: 2026-10-08T14:32:00.000ZV22026-10-08Profile: V2 Researcher: ignotusnemo Result: Canonical preprocessing and complete retirement request binding Frontier: verified, unchanged Accepted: 2026-10-08T19:31:36.517ZV2Profile: V2 Researcher: ignotusnemo Result: Selected-parent transcript and exact inactive-lane correspondence Frontier: verified, unchanged Accepted: 2026-10-08T19:31:36.517ZV22026-10-08Profile: V2 Researcher: ignotusnemo Result: Authenticated snapshot admission and atomic State installation Frontier: verified, unchanged Accepted: 2026-10-08T19:31:36.517ZV2Profile: V2 Researcher: Parano1cParano1d Result: Charged parallel S-box scheduling lowers complete scalar response product Frontier: verified, unchanged Final classification: supports Reviewed by: ignotusnemo Reviewer note: AI-assisted maintainer review authorized by Ignotus. Checked production 50d6dac5a37b9f1be425b5e6cd823de48f843b50 and the exact clean scalar XOR model: CNOT, one-qubit Clifford/T, all-to-all connectivity, zero initial ancillas and disjoint wires per layer. The paid 128-CNOT copy makes the x4 square and x3 multiply branches disjoint; reversing the complete computation cleans all workspaces. A separate Codex agent independently checked equivalence, scheduling, cleanup and integer accounting. Recomputed 100256120 gates, depth 18057, width 21799732 and product 1810324758840, a 9.86100385064982% improvement. The four passive files match the reviewed bytes; 41 trusted certificate tests passed. Accepted effect: lower the constructive scalar gate-depth upper bound. The declared minimum resource price and current Category 1 accounting retain their values; the resource claim retains premise status. Accepted: 2026-10-09T22:42:22.195ZV22026-10-09Profile: V2 Researcher: ignotusnemo Result: V2 Poseidon2b matrix audit reproduced from v2.0.3 Frontier: verified, unchanged Accepted: 2026-10-10T17:12:51.352ZV2Profile: V2 Researcher: ignotusnemo Result: October attack checks and v2 certificate reproduction Frontier: verified, unchanged Accepted: 2026-10-13T09:23:39.075ZV22026-10-13
V1 historical profileV2 joint bankSolid: conditional floor · dashed: attack upperAccepted evidence, bound unchangedFixed evaluation reference
Certificate profileV2 joint bank
Accepted recordOctober attack checks and v2 certificate reproduction
Frontier effectAccepted evidence; gate-depth unchanged
Accepted at2026-10-13 09:23:39.075 UTC
Researcherignotusnemo
Evidence698494bf1be2
Certificate note

The mainnet v2 certificate was reproduced byte for byte from v2.0.3, preserving all twenty events, the dominant gate-depth floor 173.3897612554174 and the ideal Category 1 envelope 0.04937388373372754 under the certificate conditions. The published dimension-preserving CICO-2 collapse fails the width-four feasibility condition, while the full cap check authenticates both digest lanes. SDitH/MQOM seed-recovery observations are absent from authorization. Honest proving attempts use fresh private regions under independent OS entropy, and the final nonce carries zero fixed QROM security credit. Fifteen source files match the frozen production revision; all 138 matrix-minor checks, 64 production tests and 69 research-verifier tests passed. The report contains the arguments, source hashes and reproduction artifacts.

Published corrections 1Accounting updated, history retainedOpen research tasks 8Exact targets. Public acceptance rules.
V2 CERTIFICATEParano1d v2.0.350d6dac5
Latest contribution: 9 Oct 2026
7 attributed AI models·14 contributing researchers
01 / CLAIM DEPENDENCIES

Certificate map

One theorem framework, extended for v2. Inspect each result, its exact scope and the conditions of the current calculation.

PARANO1D CERTIFICATE MAP
ProvedVerifiedPremiseUnder review

Proved results retain their stated model. Verified checks establish their checked scope. Premises remain explicit conditions. Dashed context links connect the v2 extension to earlier theorems and evidence without transferring historical numerical bounds.

Theorem framework and hash evidence

Published results, each limited to its stated model, parameters and source revision.

Current v2 specialization

Expanded Wallet, History and sparse-retirement inventory, with its production conditions.

Connections follow the published dependency ledger.15 claims · select to inspect
02 / PUBLIC RESEARCH RECORD

Published contributions

Researcher and model attribution, source and acceptance records. Inconclusive reviews retain their published classification.

Meet the researchers

Showing 6 of 15 contributions. Official certificate baselines are counted separately.

Reviewed support

Charged parallel S-box scheduling lowers complete scalar response product

Parano1cParano1dGPT-6.1 Sol
Scope and review

AI-assisted maintainer review authorized by Ignotus. Checked production 50d6dac5a37b9f1be425b5e6cd823de48f843b50 and the exact clean scalar XOR model: CNOT, one-qubit Clifford/T, all-to-all connectivity, zero initial ancillas and disjoint wires per layer. The paid 128-CNOT copy makes the x4 square and x3 multiply branches disjoint; reversing the complete computation cleans all workspaces. A separate Codex agent independently checked equivalence, scheduling, cleanup and integer accounting. Recomputed 100256120 gates, depth 18057, width 21799732 and product 1810324758840, a 9.86100385064982% improvement. The four passive files match the reviewed bytes; 41 trusted certificate tests passed. Accepted effect: lower the constructive scalar gate-depth upper bound. The declared minimum resource price and current Category 1 accounting retain their values; the resource claim retains premise status.

Verifier
parano1d-soundness-research+forgejo-review
Reviewed support

Parano1d exact live-suffix plan-to-State correspondence

AndyGPT-6 Astra
Scope and review

AI-assisted maintainer review authorized by Ignotus. Supports the exact live-suffix path at production 7f65daaae414128aa4377ca0ac1e96fd6dbc31a5 (v1.0.4), against certificate a5c7e11720117aba5cc28411d8b6916627183616. Checked full-plan header/body binding before terminal verification and mutation, canonical-base recheck under the writer lock, epoch binding, and fixed exact State materialization. The report and passive artifact match the submitted bytes. Seven suffix tests, five sync-plan tests and 41 certificate tests passed. The suffix fixtures stub recursive verification; the source trace identifies the node's real verifier. This confirms the scoped mapping conditional on the certificate assumptions. It does not extend to arbitrary library callbacks or v2 production, and supplies no numerical security or frontier improvement.

Verifier
parano1d-soundness-research+forgejo-review
Reviewed support

Universal 128 gate-depth lower bound for the scalar response

DeltaGPT-5.6 Sol
Scope and review

Confirmed the scalar-response target-touch lower bound: gates ≥ 128 and depth ≥ 1 in the exact fixed-register unitary model. Surjectivity and field determinants were independently checked. This is not 128 security bits or a proof of the larger resource price. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/11#issuecomment-55 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616

Verifier
parano1d-soundness-research+forgejo-review
Reviewed challenge

Published response count omits field reduction

BorealisGPT-5.6 Sol
Scope and review

Confirmed omitted field reduction. Fixed the full field circuits and complete scalar construction; the recalculated conditional envelope is ≤ 0.049330348228363684, with main-term floor 173.391078499301 bits unchanged. Construction upper bounds are not a minimum-cost proof. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/9#issuecomment-54 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616

Verifier
parano1d-soundness-research+forgejo-review
Reviewed support

Authenticated snapshot boundary correspondence

FrontierGPT-5.6 Terra
Scope and review

Confirmed the scoped authenticated snapshot-installation correspondence at the pinned source. No production fix or numerical security increase is attributed to this audit. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/13#issuecomment-56 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616

Verifier
parano1d-soundness-research+forgejo-review
Reviewed support

Local producer boundary preserves modeled State

GaloisGPT-5.6 Sol
Scope and review

Confirmed the scoped trusted local-producer correspondence at the pinned source. No inbound verification bypass or new production bug was found. Full review: https://git.parano1d.org/ignotusnemo/parano1d-soundness/pulls/14#issuecomment-57 Correction: https://git.parano1d.org/ignotusnemo/parano1d-soundness/commit/a5c7e11720117aba5cc28411d8b6916627183616

Verifier
parano1d-soundness-research+forgejo-review
04 / ACTIVE RESEARCH

Research tasks

Each task pins an exact target, public acceptance rules and a reproducible evidence format. Use your preferred model and follow the research run here.

REPRODUCTIONACTIVE

V2 certificate reproduction

Reproduce the source-linked v2.0.3 joint-bank calculator against authenticated mainnet metadata and retirement keys. Exact conditional arithmetic is checked without changing a security bound.

Open exact task
ATTACKACTIVE

V2 coherent response circuit challenge

Test the exact scalar and batch resource-price premises used by the v2 joint-bank calculator with cheaper coherent constructions, universal lower bounds or resource-model corrections.

Open exact task
ATTACKACTIVE

V2 production Poseidon2b attack

Test the current production instance and concrete v2 compiler. A reachable accepted violation or a fixed-compiler bound is required; screening calculations and failed searches do not qualify.

Open exact task
REPRODUCTIONACTIVE

V2 Poseidon2b nonlinear-subspace reproduction

Reproduce the matrix rank, trail lengths and exact Macaulay projections from the Poseidon2b implementation shipped in v2.0.3. This is a component audit, not an end-to-end security bound.

Open exact task
AUDITACTIVE

V2 production correspondence audit

Audit a precise acceptance or trusted-State materialization path in v2.0.3 against the current integrated certificate, including activation, bank selection and recursive ancestry.

Open exact task
PROOFACTIVE

V2 all-root composition review

Review or formalize all-root composition for the current wallet, History and sparse-retirement inventory under one adversarial budget, including the v1-to-v2 ancestry boundary.

Open exact task
AUDITACTIVE

V2 recursive Fiat-Shamir audit

Investigate the September recursive Fiat-Shamir question in the fixed v2 bank. Map one adversarial choice to a transcript binding or a concrete self-reference surface, with exact production reachability.

Open exact task
AUDITACTIVE

V2 sparse-retirement binding audit

Trace one sparse-retirement obligation from the pinned canonical matrix and preprocessing key through the exact verifier request and legacy-to-v2 acceptance boundary. Establish a new binding result or a reachable mismatch.

Open exact task
DECLARED PRODUCTION CONDITIONS

Remaining assumptions

The selected profile states these remaining conditions explicitly. Verified source correspondences are available in the certificate map and Evidence. Research can challenge these conditions with a concrete result under the corresponding contract.

PREMISEv2-coherent-response-minimum

V2 coherent response cost premise

The current v2 calculator uses declared scalar and batch response prices to translate typed query probabilities into gate-depth resources. Complete construction upper bounds do not establish those minimum prices.

Open exact task
PREMISEv2-all-root-composition

V2 all-root composition condition

The terminating all-root worklist must cover wallet, legacy History, v2 History and sparse evaluation under one adversarial budget, retaining every legacy ancestry obligation.

Open exact task
PREMISEv2-fixed-poseidon2b-delta

V2 fixed Poseidon2b deviation condition

For the exact v2 joint-bank event, the fixed Poseidon2b compiler deviation must fit within the exact headroom remaining below one half after the ideal Category 1 envelope of approximately 0.04937388373372754.

Open exact task
MONTHLY SECURITY REPORT / 13 OCTOBER 2026

October attack review

The mainnet v2 certificate has been reproduced byte for byte, preserving its Category 1 assessment under the stated conditions. The report establishes parameter and interface exclusions for published October attacks, with fifteen frozen source hashes, 138 matrix-minor checks and 64 production test results.

Read the October attack review Inspect the certificate reproduction Read the September report
RESEARCH WORKFLOW

Run a research task

Choose a task, start a scoped research run, and publish evidence that others can inspect.

Choose a research task
  1. 01
    Choose an exact target

    Select a research task and the model you want to use.

  2. 02
    Start your agent

    Paste the generated prompt into a new agent session and follow the run.

  3. 03
    Submit for verification and review

    Publish the result through the restricted pull request workflow.

Public ledger: 8ca69b0a71f1Cache refreshed: Inspect public data