Spaces:
Sleeping
Advanced feature specs
These are hard, research-grade extensions on top of the base compliance hook. Each doc includes: what it does, why it's genuinely hard, and (where feasible in this sandbox, which has no Rust/Soroban toolchain and no internet access) a small runnable proof-of-concept demonstrating the underlying primitive with plain Node.js.
Honesty note: none of these techniques were invented here — they build on real, cited research and existing systems (Nova folding schemes, threshold cryptography, timelock encryption, cryptographic accumulators, partially/fully homomorphic encryption, formal verification, and Stellar's own native primitives and SEPs). The genuine differentiation is combining several of them into one Stellar/Soroban compliance product. That is a real, defensible edge; it is not a claim that the underlying techniques themselves are unprecedented.
General cryptographic extensions (1–6)
| # | Feature | Status |
|---|---|---|
| 1 | Recursive proof folding | Spec + conceptual illustration |
| 2 | Threshold sanctions oracle | Spec + working Shamir secret sharing demo |
| 3 | Time-locked regulator disclosure | Spec + working threshold-gated demo |
| 4 | Real-time credential revocation | Spec + working Merkle revocation registry demo |
| 5 | FHE-encrypted spending limits | Spec + working toy Paillier homomorphic demo |
| 6 | Formally verified contract | Spec + Kani proof harness (requires local cargo kani) |
Stellar-native extensions (7–11)
These build directly on Stellar's own primitives and published roadmap, rather than generic cryptography adapted to Stellar. Ranked here by who they actually benefit:
| # | Feature | Who it helps most | Status |
|---|---|---|---|
| 11 | Anchor-network KYC bridging | Ordinary people — removes repeat KYC friction for real, often underbanked users | Spec + working demo |
| 8 | Claimable balance escrow | Ordinary people — turns failed cross-border payments into a recoverable state | Spec + working demo |
| 10 | Post-quantum readiness | Long-term security for everyone, but preventive/abstract today | Spec only, no demo |
| 7 | SEP-8 regulated assets | Mostly issuers/wallets (interoperability) | Spec + working demo |
| 9 | Clawback-triggered revocation | Institutions; double-edged for individuals — needs the safeguards described in the doc | Spec + working demo |