Python SDK Documentation

# Install from PyPI
pip install echoprime

# Or from source
git clone https://github.com/DarrenEdwards111/EchoPrime.git
cd EchoPrime
pip install -e .

from echoprime.estimator import estimate_nth_safe_prime, find_safe_prime_near
from echoprime.verifier import verify_safe_prime
from echoprime.oracle import create_trace

# 1. Find the 100th safe prime
p = find_safe_prime_near(100)
print(f"Safe prime: {p}")

# 2. Verify it
result = verify_safe_prime(p)
print(f"Verified: {result['verified']}")
print(f"Score (p): {result['score_p']}")
print(f"Score (q): {result['score_q']}")

# 3. Create oracle trace for on-chain publication
trace = create_trace(
    index=100, p=result['p'], q=result['q'],
    score_p=result['score_p'], score_q=result['score_q'],
    verified=result['verified']
)
print(f"SHA-256 hash: {trace['hash']}")

from echoprime.estimator import estimate_nth_safe_prime

estimate_nth_safe_prime(1)      # → 5 (known)
estimate_nth_safe_prime(100)    # → 6139 (estimate near actual 6599)
estimate_nth_safe_prime(10000)  # → 2,449,261 (estimate)

result = find_safe_prime_near(100)
# → { 'p': 6599, 'q': 3299, 'index_approx': 100, 'attempts': 24 }

from echoprime.verifier import collapse_score

collapse_score(23)     # → 1.0 (prime)
collapse_score(6599)   # → 1.0 (prime)
collapse_score(100)    # → 0.43 (composite)
collapse_score(15)     # → 0.71 (composite)

from echoprime.verifier import verify_safe_prime

result = verify_safe_prime(23)
# → {
#   'p': 23, 'q': 11,
#   'is_safe_prime': True,
#   'score_p': 1.0, 'score_q': 1.0,
#   'symbolic_pass': True, 'fallback_ok': True,
#   'verified': True,
#   'window': 128, 'threshold': 0.95
# }

result = verify_safe_prime(100)
# → { 'verified': False, 'is_safe_prime': False, ... }

results = batch_verify([23, 47, 59, 83, 100])
safe_primes = [r for r in results if r['verified']]
print(f"Found {len(safe_primes)} safe primes")

# Full pipeline: find → verify → trace → export
from echoprime.estimator import find_safe_prime_near
from echoprime.verifier import verify_safe_prime
from echoprime.oracle import create_trace, format_for_contract, export_traces

traces = []
for i in range(1, 101):
    result = find_safe_prime_near(i)
    v = verify_safe_prime(result['p'])
    trace = create_trace(i, v['p'], v['q'], v['score_p'], v['score_q'], v['verified'])
    traces.append(trace)

    # Format for smart contract
    contract_args = format_for_contract(trace)
    print(f"Index {i}: p={trace['p']}, hash={trace['hash'][:16]}...")

# Save all traces
export_traces(traces, "echoprime-traces.json")

# Run all tests
python -m pytest tests/ -v

# Run specific module tests
python -m pytest tests/test_estimator.py -v
python -m pytest tests/test_verifier.py -v
python -m pytest tests/test_oracle.py -v