Skip to content

aoxc/aoxcon-plutus

Repository files navigation

AOXCON — Multi-Repo Interop Program (EVM + Move + Cardano)

AOXCON, çok-zincirli sistemlerde tek protokol davranışı sağlayan deterministik bir birlikte çalışabilirlik (interoperability) çekirdeğidir.

Bu depo bir uygulama reposu değil; tüm alt depoların aynı kurallarla ilerlemesini sağlayan normatif spesifikasyon ve referans davranış kaynağıdır.

Program vizyonu

AOXCON is an audit-oriented protocol specification for a deterministic interoperability kernel across:

  • EVM ecosystems
  • Move ecosystems
  • Cardano (eUTxO / Plutus)

This repository is the normative source of truth for AOXCON behavior and conformance.

AOXCON ile hedeflenen model:

  • 3 ayrı dApp (her biri DAO mantığıyla),
  • 1 merkezi olmayan yönetim/orchestration deposu (CLI + panel + relayer control plane),
  • zincir fark etmeksizin aynı envelope, aynı hata kodu, aynı geçiş semantiği.

Detaylı hedef topoloji: Program Topology.

Ekosistem yapısı (önerilen)

dApp katmanı (3 depo)

  1. aoxcon-evm — EVM DAO dApp
  2. aoxcon-move — Move DAO dApp
  3. aoxcon-cardano — Cardano/Plutus DAO dApp

Yönetim katmanı (4. depo)

  1. aoxcon-control — AOXCON yönetim deposu
    • CLI
    • Operasyon paneli
    • Relayer orchestrator
    • Governance bridge

Amaç: Her proje DAO gibi çalışırken, AOXCON protokolü bunların arası iletişimi deterministik ve denetlenebilir şekilde standardize eder.

AOXCHAIN + AOXCON tam uyumlu depo yapılandırması

Bu repo artık config/aoxcon-chain-profile.json ile zincir rolünü açıkça tanımlar:

  • canonical zincir deposu: https://github.com/aoxc/aoxchain
  • protokol uyumluluk deposu: https://github.com/aoxc/aoxcon
  • Cardano/Plutus hedefleri için development/staging/production zincir kimlikleri

Profil doğrulaması için:

PYTHONPATH=src python -m unittest discover -s tests -v

tests/test_profile.py bu profilin AOXCON sözleşme kurallarına bağlı kaldığını kontrol eder.

Bu depoda ne var?

  • canonical protocol data modelleri,
  • deterministic state machine kuralları,
  • cross-chain envelope doğrulama sözleşmesi,
  • adapter compatibility contract,
  • relayer davranış sözleşmesi,
  • security baseline + audit checklist,
  • conformance matrix.

Doküman haritası

Foundation

Interoperability

Security / Audit / Quality

Productization

Referans implementasyonlar

Python deterministic kernel

  • src/aoxcon_ref/ (envelope + state machine)
  • tests/ (protokol davranış testleri)

Reference implementations

Python deterministic kernel

Minimal executable reference implementation:

  • src/aoxcon_ref/ (envelope + state machine)
  • tests/ (protocol checks)

Run locally:

PYTHONPATH=src python -m unittest discover -s tests -v

Haskell / Cardano uyumluluk referansı

Haskell / Cardano compatibility reference

Production-oriented Cardano-compatible reference skeleton:

  • haskell/aoxcon-cardano-ref/src/Aoxcon/Envelope.hs
  • haskell/aoxcon-cardano-ref/src/Aoxcon/StateMachine.hs
  • haskell/aoxcon-cardano-ref/src/Aoxcon/FNTTreasury.hs
  • haskell/aoxcon-cardano-ref/test/Spec.hs

Run locally (if GHC/Cabal installed):

cd haskell/aoxcon-cardano-ref
cabal test

Üretime uygunluk prensibi

Bir depo AOXCON uyumlu sayılmak için minimumda şunları sağlamalıdır:

  1. Canonical error/status kodlarını bozmaz.
  2. Replay/nonce/idempotency kurallarını birebir uygular.
  3. Conformance vektörlerini geçirir.
  4. Audit evidence üretir (sürüm bazlı).
  5. Security baseline kontrollerini CI politikası haline getirir.

Normatif dil

MUST, MUST NOT, SHOULD, MAY terimleri RFC 2119 anlamıyla kullanılır.

Değişiklik politikası

  • Normatif değişiklikler PR review gerektirir.
  • Her davranış değişikliği SemVer etkisi belirtir.
  • Güvenlik etkili değişiklikler aynı değişim setinde security + conformance dokümanlarını günceller.

Lisans

Lisans

Normative language

Terms MUST, MUST NOT, SHOULD, and MAY are interpreted as in RFC 2119.

Change policy

  • Normative changes require pull request review.
  • Every behavior change must declare SemVer impact.
  • Security-impacting changes MUST update security and conformance docs in the same change set.
  • Conformance matrix MUST be updated when new error/status behavior is introduced.

License

See LICENSE.

About

₳ Secure UTXO-based core for AOXCON on Cardano. Researching formal verification and scalable smart contracts using Plutus/Aiken. (Early Stage/Alpha) 📜

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors