Description: E: Cryptographic Capabilities for Distributed Smart Contracting
cryptography (265) capabilities (89) scripting language (13) lambda calculus (7) capability security (5) distributed objects (4) distributed language (4) distributed capabilities (4) persistent language (4)
Welcome to the future home of CapCert.org Creating the Standard for Capability-based Active Off-line Invocation Certificates Watch this space. In the meantime, see the email threads rooted at Active Off-Line Messages Off-Line Invocation Certificates On-line Remote Evaluation Deputizing Remote Vats I have yet to pull these pieces together into a coherent proposal. If you would find CapCert useful, and especially if you'd be interested in contributing to its progess, please let me know. Thanks. H ome