Skip to content

README.md

Latest commit

 

History

History
245 lines (175 loc) · 9.38 KB

README.md

File metadata and controls

245 lines (175 loc) · 9.38 KB

Glogos

A Minimal Attestation Protocol

identity = hash(content)

Attestation Structure

{
  "zone": hash(public_key),        // Who
  "subject": hash(content),        // What
  "canon": hash(interpretation),   // How to interpret
  "time": unix_timestamp,          // When
  "refs": [attestation_ids],       // Causal chain
  "proof": ed25519_signature       // Binding
}

All identifiers are self-certifying, content-addressed, and universally verifiable.

Universal Anchor

GLR (Glogos Root) = SHA-256("")

e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Any attestation tracing refs to GLR belongs to the Glogos family.

Key Properties

Property Description
Self-certifying zone = hash(public_key)
Causal ordering refs chain provides ordering without external witnesses
No consensus Simpler than blockchain
DID interop did:glogos ↔ did:key via alsoKnownAs

DID Interoperability

Glogos zones map to W3C Decentralized Identifiers:

{
  "id": "did:glogos:<zone_id>",
  "alsoKnownAs": ["did:key:z6Mk..."]
}

Same public key, different encoding — interoperable with did:key ecosystem.

Specification

Document Description
GLOGOS.md Abstract protocol (no version number)
GENESIS.md Winter Solstice 2025 genesis rules
genesis-artifact.json Official genesis data
GLOGOS.lean Formal verification (Lean 4 proofs)

Formal Verification

The protocol specification is mathematically proven correct using Lean 4:

Proven Invariants:

  • ✅ Temporal Order: If A refs B (B ≠ GLR), then A.time > B.time
  • ✅ Acyclicity: DAG cannot contain cycles (derived from temporal ordering)
  • ✅ Determinism: Same inputs produce same attestation_id
lean GLOGOS.lean

Why it matters: Mathematical proof guarantees correctness for all inputs, not just test cases. W3C/IETF-grade rigor for mission-critical systems.

Attestation DAG

GLR (e3b0c442...)
      │
      ▼
Genesis Attestation (03b42642...)   ← genesis-artifact.json (IS the attestation)
      │
      ▼
GLOGOS.md (cc1d6cf2...)             ← GLOGOS.md.glo
      │
      ▼
GENESIS.md (8af1734f...)            ← GENESIS.md.glo
      │
      ▼
witness.py (fca075a7...)            ← ceremony/witness.py.glo
      │
      ▼
genesis-artifact.json (86240184...) ← shared/artifacts/genesis-artifact.json.glo
File Attestation
genesis-artifact.json Genesis Attestation itself
GLOGOS.md GLOGOS.md.glo
GENESIS.md GENESIS.md.glo
witness.py witness.py.glo
genesis-artifact.json genesis-artifact.json.glo

Example Zone

See shared/zones/ for zone examples:

File Description
zone-1-identity.json Zone metadata
zone-1-did.json W3C DID Document

Quick Verify

# GLR - SHA-256 of empty string
printf '' | sha256sum
# e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

# Genesis subject - SHA-256 of motto
printf 'From nothing, truth emerges' | sha256sum
# 73c14a502ae8b0e3035ab28c1f379567343c47afed318c898978474398ebe042

Run Verification

git clone https://github.com/glogos-org/glogos.git
cd glogos
pnpm install && pnpm build && pnpm test

PoC Use Cases (Logic Layer 0 in Action)

The examples/ directory contains functioning Proofs of Concept demonstrating Glogos across various domains:

Domain PoC Example Key Concept
Identity Standards Bridge W3C DID & VC Interoperability
Governance Digital Constitution Social Coordination Layer 0
Governance Commitment Device Causal Proofs of Credibility
Governance Sybil Resistance Web of Trust / Trust Graphs
Finance Liquidity Pool Automated Liquidity Coordination
Finance Payment Transaction Triple-Entry Accounting Proofs
Science Impact Evaluation Public Goods & Social Impact
Science Data Integrity Reproducible Research Integrity
Economy Matching Market Stable Matching / Gale-Shapley
Economy Mechanism Design Incentive Compatibility
Economy Supply Chain Resilient Cross-border Trade

Run all examples:

cd examples
pnpm run all

See examples/README.md for all use cases.

Performance Characteristics

Reported performance from reference Rust implementation (12 threads):

Metric Single-thread Parallel
SHA-256 2.2M ops/sec 14.1M ops/sec
Attestation create 25K ops/sec 157K ops/sec
Attestation verify 23K ops/sec 150K+ ops/sec

Scalability: 12.4M ops/sec at 1 billion operations (89.9% efficiency).

Related

Repo Description
glo-cli CLI tool (pip install glo-cli)

Project Structure

Component Description
GLOGOS.md Abstract Layer 0 specification (sealed)
GLOGOS.lean Formal verification (Lean 4 proofs)
GENESIS.md Concrete genesis rules (sealed)
examples/ Proofs of Concept (Nobel-themed use cases: Gov, Fin, Science)
sdk/ SDK implementations for developers (TypeScript/Node.js)
ceremony/ Genesis ceremony scripts (Python/TypeScript reference)
shared/ Universal schemas, test vectors, and artifacts

References

Standard Description
FIPS 180-4 SHA-256 specification
RFC 8032 Ed25519 signature scheme
RFC 8259 JSON format
W3C DID Core Decentralized Identifiers
W3C VC Verifiable Credentials
RFC 2119 Requirement keywords

License

Apache License 2.0

Genesis: 2025-12-21T15:03:00 UTC (Winter Solstice)

"From nothing, truth emerges"