Please enable JavaScript.
Coggle requires JavaScript to display documents.
Gravity (Transaction VM (Transaction log (Immutable transaction chain,…
Gravity
Transaction VM
ACID transactions
Commit / Rollback semantics
Transaction = consistent state change delta
State transition verification
Transaction log
Immutable transaction chain
Triggering transaction reference
triggering transaction meta data
Software Transactional Memory (STM)
SafeVm
Required for:
Smart Contracts
Object Capabilities
Sandboxing
Object reference graph securing
Private global object
global access transpilation
Private global scope
Primordial taming
Only connectivity begets connectivity
Eval / Function interception
mutliple VM instantiation
PersistentVM
Persisting scope chains
Closure instrumentation
Scope static analysis information
Key/value pair encoding
traversing the object reference graph
Persisting the global object
Serialization Object handlers
Paged Objects
Secure VM
Encrypted objects / References
Signed Objects
Verifiable data structures
Verifiable Authorship
Verifiable Origin / Execution
Verifiable immutability
Verifiable Object ownership transfer
Authenticated object references
Cryptographic object capabilities
#
Hashed objects
Schnorr signatures
Multisig for authenticated ocap on replicated contracts
#
The Agoric Contract
Host VMs
Replicated VMs
VM Market
VM performance tracking
Agoric Economic Logic
Players
Hosts
Users
Developers
Verification / Diagnosis / Recovery contract
VM Reputation
P2P D-Exchange
Trading Agents
Trading Contracts
Distributed Order Matching
Offer forwarding
Best route matching
Distributed VM
Remote Objects / Capabilities
Mobile/Portable Objects
Object Ownership transfer
Web Platform Compatibility
Object Rest API
Web socket Object capability protocol
Web Address Capability Export/Import
D-ACID
Private commit consensus
2 phase commit
Replicated VM
Replication Contracts
Replication Contract Library
Custom Consensus Algorithms
Proof of authority
Proof of execution
verifiable consensus
Failure recovery
Custom performance properties
Avaiability
Durability
Privacy
Commit speed
Agoric VM
Distributed High Performance VM
VM spawning and verification
Main Trust Boundary
Concurrent VM
Synchronous business logic
Async Objects
Proxy Promises
Promise pipelining
CPS transpilation
AOT = Syntactic async object markers
JIT = Runtime Async object detection
Call stack capture
Agoric APP/Contract/Module Library