Spaces:
Sleeping
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](01-recursive-proof-folding.md) | Spec + conceptual illustration | | |
| | 2 | [Threshold sanctions oracle](02-threshold-sanctions-oracle.md) | Spec + working Shamir secret sharing demo | | |
| | 3 | [Time-locked regulator disclosure](03-timelock-disclosure.md) | Spec + working threshold-gated demo | | |
| | 4 | [Real-time credential revocation](04-realtime-revocation.md) | Spec + working Merkle revocation registry demo | | |
| | 5 | [FHE-encrypted spending limits](05-fhe-spending-limits.md) | Spec + working toy Paillier homomorphic demo | | |
| | 6 | [Formally verified contract](06-formal-verification.md) | 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](11-anchor-kyc-bridging.md) | **Ordinary people** — removes repeat KYC friction for real, often underbanked users | Spec + working demo | | |
| | 8 | [Claimable balance escrow](08-claimable-balance-escrow.md) | **Ordinary people** — turns failed cross-border payments into a recoverable state | Spec + working demo | | |
| | 10 | [Post-quantum readiness](10-post-quantum-readiness.md) | Long-term security for everyone, but preventive/abstract today | Spec only, no demo | | |
| | 7 | [SEP-8 regulated assets](07-sep8-regulated-assets.md) | Mostly issuers/wallets (interoperability) | Spec + working demo | | |
| | 9 | [Clawback-triggered revocation](09-clawback-revocation-integration.md) | Institutions; double-edged for individuals — needs the safeguards described in the doc | Spec + working demo | | |