cap9

Cap9 is a capability-based on-chain kernel for smart contracts. This repo contains kernel implementations for both evm, ewasm and substrate contracts.

Documentation

• Whitepaper – link
• Specification – link
• Formal specification (Isabelle) – link

Development

• EVM (Solidity) Lib – link
• EWASM (Rust) Lib – link (WIP)
• Substrate – (Coming Soon)