← COREBOX ControlLaborator matematic

ECC Neighbour Lab

Reveniri în vecinătatea unei ținte fixe, prin salturi exacte Pj+1 = Pj + G.

Vecinul DISTINCT minim — 400 de ținte verificate

Rezultate, timpi, memorie și validarea predictorului · Descarcă JSON complet

Experiment

R = 1, 10 și 100 se măsoară separat. j = 0 este exclus; ciclul mic este j = 1…n, inclusiv revenirea finală. Infinitul nu este întâlnire. Scalarii sunt reduși modulo n; ținta infinită este respinsă.

Pregătit.

Parametrii exacți ai curbei

Vecini existenți → indici exacți

Enumerare canonică înaintea simulării: X limitat la [0,p−1], rădăcini modulare verificate, filtru Y și apartenență la subgrup. R=100 acoperă și pragurile 1 și 10. Analiza modulară istorică rămâne separată.

Buget: maximum 10001 valori X; peste limită afișăm costul fără enumerare. secp256k1: numai vecinătate locală, fără logaritm discret general. Comparația folosește patru curbe mici și trei perechi P₀/T per curbă.

Parcurgere completă / enumerare + BSGS / enumerare + Pohlig–Hellman. Nu propunem o formulă nouă.

Vecini, indici, costuri și memorie

Export JSON al experimentelor verificate

Interpretare

Coordonatele sunt canonice, între 0 și p−1. Apropierea lor nu implică apropierea scalarilor. Întâlnirea exactă este marcată separat.

Intervalele liniare sunt diferențele dintre întâlniri consecutive observate. Primul timp de atingere se raportează separat; prima întâlnire nu are un interval precedent observat. Intervalele circulare includ și traversarea sfârșitului ciclului. Pentru m întâlniri într-un ciclu, media circulară este exact n/m, prin însumarea intervalelor; aceasta nu prezice timpii individuali și nu presupune salturi independente.

Pornirile diferite rotesc aceeași secvență, nu oferă eșantioane independente. Periodicitatea n este cunoscută. Nu propunem o formulă empirică. Distribuțiile sunt frecvențe exacte, nu probabilități estimate. Numai primele 100 de întâlniri per prag sunt afișate; exporturile păstrează toate rezultatele.

secp256k1: simularea are o fereastră finită. Enumerarea locală completă stabilește separat existența vecinilor din pătratul verificat: pentru T=G, R=100, există numai G. Prima revenire pozitivă la G este ordinul n, prin structura grupului, fără căutare de logaritm discret. Parametri: SEC 2 v2, §2.4.1.