Skip to content

Full Implementation of DUCP Reference Node in Rust#2

Merged
IISinghII merged 1 commit into
mainfrom
profile-0-implementation
Jun 28, 2026
Merged

Full Implementation of DUCP Reference Node in Rust#2
IISinghII merged 1 commit into
mainfrom
profile-0-implementation

Conversation

@IISinghII

Copy link
Copy Markdown
Contributor

Summary

Complete Profile 0 reference node for DUCP spec v0.2.0, end to end
(submit → execute → verify → settle) across milestones M0–M6.

  • ducp-types — borsh canonical codec, BLAKE3-256, Ed25519, hex/decimal JSON wire form, and the (𝕌, ℚ) / Power Seal types
  • ducp-dvm — deterministic wasmtime runtime (NaN-canon, no ambient caps, fuel-metered), feature gate, ducp host ABI, calibrated benchmark
  • ducp-ledger — pure state machine: settlement, ℚ-ledger, Standing, fraud resolution, clawback/finality; enforces I-LEDGER-CONSERVE
  • ducp-consensus — SingleSequencer (produce/commit/state_root) + replica replay
  • ducp-verification — SampledReexecVerifier, seeded sampling, EnergyAttestor (NullAttestor live + tested SealedAttestor), reserved TEE/ZK
  • ducp-governance — static devnet Params + on-chain ParamSource seam
  • ducp-node — JSON-RPC server, mempool, keystore, blob store, Storage seam; ducp-worker beachhead driver; scripts/devnet.sh
  • ducp-conformance — six golden-vector families incl. the DP-0001 ℚ vector
    Deferred tiers (TEE/ZK, BFT, trustless energy attestation, on-chain governance, multiple IRs, persistent state) sit behind documented traits.

Test plan

  • cargo test --workspace (~90 tests)
  • cargo fmt --all -- --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • PORT=8650 TASKS=5 scripts/devnet.sh (live sequencer + worker, submit→settle)
  • cargo run -p ducp-conformance --bin gen-vectors reproduces the committed vectors

Builds the full Profile 0 roadmap (M0-M6) end to end on the v0.2.0 scaffold:

- ducp-types: borsh canonical codec, BLAKE3-256 hashing, Ed25519 keys,
  hex/decimal JSON wire form, and the (U, Q) / Power Seal types.
- ducp-dvm: deterministic wasmtime runtime (NaN-canon, no ambient caps,
  fuel-metered), Profile 0 feature gate, ducp host ABI, calibrated benchmark.
- ducp-ledger: pure state machine - settlement, the Q-ledger, Standing,
  fraud resolution, clawback/finality; enforces I-LEDGER-CONSERVE.
- ducp-consensus: SingleSequencer (produce/commit/state_root) + replica replay.
- ducp-verification: SampledReexecVerifier, seeded sampling, EnergyAttestor
  (NullAttestor live + tested SealedAttestor), reserved TEE/ZK seams.
- ducp-governance: static devnet Params + on-chain ParamSource seam.
- ducp-node: JSON-RPC server, mempool, keystore, blob store, Storage seam;
  ducp-worker beachhead driver; scripts/devnet.sh.
- ducp-conformance: six golden-vector families (codec, metering, settlement,
  fraud, replication, q-observable), incl. the DP-0001 vector.

~90 tests pass; cargo fmt + clippy -D warnings clean; CI workflow added.
Deferred tiers (TEE/ZK, BFT, trustless energy attestation, on-chain governance,
multiple IRs, persistent state) sit behind documented traits.

Co-authored-by: Cursor <cursoragent@cursor.com>
@IISinghII IISinghII merged commit 82d9615 into main Jun 28, 2026
1 check failed
@IISinghII IISinghII deleted the profile-0-implementation branch June 28, 2026 17:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant