Better Together: IPVM for an Open World

Better Together 🫂 IPVM For an Open World 🚀 github.com/ipvm-wg fission.codes

IPVM: Better Together

IPVM: Better Together Jesper, I have this idea in which we’ll connect all of the worlds Erlang systems to each other, imagine if every process could talk to every other process, world-wide! – Joe Armstrong, email to Jesper L. Andersen

IPVM: Better Together Brooklyn Zelenka, @expede github.com/expede

IPVM: Better Together Brooklyn Zelenka, @expede Cofounder & CTO at Fission discord.gg/fissioncodes @fission@plnetwork.xyz IPVM Spec Wrangler — github.com/ipvm-wg github.com/expede

IPVM: Better Together 🤝 Brought To You By…

IPVM: Better Together Consistency & Distribution

IPVM: Better Together Consistency & Distribution IPVM

IPVM: Better Together Everything, Everywhere, All At Once

IPVM: Better Together Everything, Everywhere, All At Once Nothing less than connecting all of the world’s users & services. The “HTTP of Compute”: open, interoperable, & everywhere. Must be substantially better than the status quo.

—We Can Do Better Than — The Status Quo

The Status Quo Consequences 🍂

The Status Quo Consequences 🍂 • Single source of truth (“the” database)

The Status Quo Consequences 🍂 • Single source of truth (“the” database) • Server-centric • “Front vs back end developers” • DevOps, Docker, k8s • How to train enough engineers?

The Status Quo Rolling Weight

The Status Quo Rolling Weight Other 35% IBM 4% Alibaba 4% Google 9% AWS 32% Azure 17%

The Status Quo Sending a “Direct” Message

The Status Quo Sending a “Direct” Message ⏳🔋🛢🪠

The Status Quo Users vs Cloud Infra Source: AWS

The Status Quo Users vs Cloud Infra 6 7 6 2 1 1 1 1 Source: AWS

The Status Quo Users vs Cloud Infra 6 7 2 6 50M 1 1 1 1 Source: AWS

The Status Quo Users vs Cloud Infra 371 million 56M/centre 6 7 2 6 50M 1 1 1 1 Source: AWS

The Status Quo Users vs Cloud Infra 371 million 56M/centre 6 7 2 6 50M 1 1 ~435 million 435M/centre 1 1 Source: AWS

The Status Quo Users vs Cloud Infra 371 million 56M/centre 6 7 2 6 50M 1 1 ~435 million 435M/centre 1 ~1.4 billion 1400M/centre 1 Source: AWS

The Status Quo Event Horizon Aggregated Data

The Status Quo

The Status Quo As we continue to increase the number of globally connected devices, we must embrace a design that considers every single member in the system as the primary site for the data that it is generates. It is completely impractical that we can look at a single, or a small number, of globally distributed data centers as the primary site for all global information that we desire to perform computations with. – Meiklejohn, A Certain Tendency Of The Database Community

The Status Quo

— The Times They Are A-Changin’ — Signs of a Way Out

Signs of a Way Out Back to Our Roots

Signs of a Way Out Back to Our Roots 1. Decentralisation 2. Non-discrimination 3. Bottom-up Design 4. Universality 5. Consensus – The Web Foundation, History of the Web

Signs of a Way Out Back to Our Roots 1. Decentralisation 2. Non-discrimination 3. Bottom-up Design 4. Universality 5. Consensus en.wikipedia.org/wiki/OSI_model – The Web Foundation, History of the Web

Signs of a Way Out Everything, Everywhere

Signs of a Way Out Everything, Everywhere Commons Cloud & Edge Far Edge

Signs of a Way Out Dependency Stack

Signs of a Way Out Dependency Stack Compute ⚙

Signs of a Way Out Dependency Stack Compute ⚙ Data 💾

Signs of a Way Out Dependency Stack Compute ⚙ Data 💾 Auth 🎟

Signs of a Way Out ACL Redux

Signs of a Way Out ACL Redux 🧑🌾

Signs of a Way Out ACL Redux 🧑🌾 ⚙

Signs of a Way Out ACL Redux 🧑🌾 💂 ✋ ⚙

Signs of a Way Out ACL Redux 🧑🌾 📑 💂 ✋ ⚙

Signs of a Way Out ACL Redux 🧑🌾 📑 💂 ✋ Not in control ⚙

Signs of a Way Out ACL Redux 📑 In control 🧑🌾 💂 ✋ Not in control ⚙

Signs of a Way Out ACL Redux 📑 💂 ✋ In control 🧑🌾 💂 ✋ Not in control ⚙

Signs of a Way Out Capabilities

Signs of a Way Out Capabilities 🕵

Signs of a Way Out Capabilities 🕵 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr 🎟 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr In control 🎟 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr In control 🎟 ⚙ All req info

Signs of a Way Out Capabilities 🕵 🗺 Addr 🎟 ⚙

Signs of a Way Out Capabilities 🕵 🎟 🗺 🎟 🎟 Addr ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr 🎟 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr 👨🎨 🎟 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr 🎟 🎟 👨🎨 ⚙

Signs of a Way Out Capabilities 🕵 🗺 Addr 🎟 🎟 👨🎨 ⚙ 🎟

Signs of a Way Out OAuth Sequence

Signs of a Way Out UCAN Sequence 🕙

Signs of a Way Out Disorderly Programming 🤖 ⚙ 👨💻 ⚙ 👨💻 👩💻 🤖

Signs of a Way Out Don’t Make Me Think

Signs of a Way Out Don’t Make Me Think 👩💻 📱

Signs of a Way Out Don’t Make Me Think 👩💻 📱 ⚙ ⚙ ⚙ ⚙ ⚙ ⚙ ⚙ ⚙ ⚙ ⚙ ⚙

Compute Substrate — Schedule. Execute. Verify. Reuse —

Compute Substrate Wasm Eats the World

Compute Substrate Wasm Eats the World Bring your own language Runs everywhere Deterministic mode

Compute Substrate With Their Powers Combined!

Compute Substrate With Their Powers Combined! Compute ⚙ Data 💾 Auth 🎟

Compute Substrate With Their Powers Combined! ! e r e h veryw E Compute ⚙ Data 💾 Auth 🎟

Compute Substrate With Their Powers Combined! { IPVM ! e r e h veryw E Compute ⚙ Data 💾 Auth 🎟

Compute Substrate Code-as-Data

Compute Substrate Code-as-Data Arguments

Compute Substrate Code-as-Data Task f Arguments Scheduling Con ig, etc

Compute Substrate Code-as-Data Receipt Task f Arguments Scheduling Con ig, etc

Compute Substrate Code-as-Data Receipt Task f ff Arguments Pure Values & E ects Scheduling Con ig, etc Metadata (e.g. trace)

Compute Substrate Input Addressing

Compute Substrate Input Addressing 🦞

Compute Substrate Input Addressing hash(🦞) 🦞

Compute Substrate Input Addressing hash(🦞) 🦞 🧾

Compute Substrate Input Addressing hash(🦞) hash({ rsc: “dns:example.com” op: “crud/update” input: {foo: “bar”} }) 🦞 🧾

Compute Substrate IPLD Schema

Compute Substrate IPLD Schema Instruction (Closure)

Compute Substrate IPLD Schema Task Instruction (Closure)

Compute Substrate IPLD Schema Invocation Task Instruction (Closure)

Compute Substrate IPLD Schema Invocation Invocation Invocation Task Task Task Instruction (Closure) Instruction (Closure) Instruction (Closure)

Compute Substrate IPLD Schema f Work low Invocation Invocation Invocation Task Task Task Instruction (Closure) Instruction (Closure) Instruction (Closure)

Compute Substrate Matching Impedance

Compute Substrate Matching Impedance e.g. 2 IPLD numerics < 10 WIT numerics

Compute Substrate Matching Impedance

Compute Substrate Composition Without Imposition

Compute Substrate Composition Without Imposition 👩💻 🌈 🐶 🍬 🍾 🧸

Compute Substrate Composition Without Imposition 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸

Compute Substrate Composition Without Imposition 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 👩🚀 🐶

Compute Substrate Composition Without Imposition 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 🌈 🍾 🧸 👨🎨 👩🚀 🐶

Compute Substrate Composition Without Imposition 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 🌈 👩🚀 🐶 🌈 🐶 🍾 🧸 👨🎨 ☁⚙

Compute Substrate Distributed Invocation

Compute Substrate Distributed Invocation dns:example.com/TYPE=TXT crud/update

Compute Substrate Distributed Invocation dns:example.com/TYPE=TXT crud/update await mailto:alice@example.com msg/send {to: bob@example.com}

Compute Substrate Distributed Invocation dns:example.com/TYPE=TXT crud/update await mailto:alice@example.com msg/send {to: bob@example.com} await mailto:alice@example.com msg/send {to: carol@example.com}

Compute Substrate Distributed Invocation dns:example.com/TYPE=TXT crud/update await await mailto:alice@example.com msg/send {to: bob@example.com} await mailto:alice@example.com msg/send {to: carol@example.com} await https://example.com/report crud/update

Compute Substrate Distributed Invocation dns:example.com/TYPE=TXT crud/update await mailto:alice@example.com msg/send {to: carol@example.com} await mailto:alice@example.com msg/send {to: bob@example.com} await await https://example.com/report crud/update

Compute Substrate Distributed Invocation 👩🚀 👨🍳 dns:example.com/TYPE=TXT crud/update await mailto:alice@example.com msg/send {to: carol@example.com} await mailto:alice@example.com msg/send {to: bob@example.com} await await https://example.com/report crud/update

Compute Substrate Cache, Suspend, Move, Verify

Compute Substrate Cache, Suspend, Move, Verify 🚰 🧾 🚰 🧾

Compute Substrate Cache, Suspend, Move, Verify 🚰 🧾 🚰 🧾 🚰 🧾

Compute Substrate Determinism = Fully Verifiable Computation

Compute Substrate Determinism = Fully Verifiable Computation 🚰 🧾 🚰 🧾 🧾

Compute Substrate Determinism = Fully Verifiable Computation 🚰 🧾 🚰 🚰 🧾 🚰 🧾

Compute Substrate Determinism = Fully Verifiable Computation 🚰 🚰 ✅ 🧾 ✅ 🧾 ❌ 🧾 🚰 🚰

Compute Substrate Surprise: Reverse Lookup For Free

Compute Substrate Surprise: Reverse Lookup For Free InID → Computed Result

Compute Substrate Surprise: Reverse Lookup For Free InID → Computed Result e.g. AI moderation classifier

Compute Substrate Surprise: Reverse Lookup For Free InID → Computed Result e.g. AI moderation classifier e.g. Distributed token validation

Compute Substrate With a Little Help From My Friends

Compute Substrate Throughput With a Little Help From My Friends Parallelisation

Compute Substrate With a Little Help From My Friends Throughput Ideal (Linear) Parallelisation

Compute Substrate With a Little Help From My Friends Ideal (Linear) Throughput Amdahl’s Law Parallelisation

Compute Substrate With a Little Help From My Friends Ideal (Linear) Throughput Amdahl’s Law Universal Scaling Law Parallelisation

Compute Substrate With a Little Help From My Friends Ideal (Linear) Throughput Amdahl’s Law Incoherence, Data Contention Parallelisation Universal Scaling Law

Compute Substrate With a Little Help From My Friends Throughput Global Adaptive Optimisation 🚀 Ideal (Linear) Amdahl’s Law Incoherence, Data Contention Parallelisation Universal Scaling Law

The Safety Dance — Out of the Locality Tar Pit —

The Safety Dance 🕺

The Safety Dance 🕺 If their application can be cast as pure data processing, they benefit from the past 40-50 years of work form the database community, [and] completely isolate the developer from the possibility of failure — Goldstein et al, AMBROSIA: Providing Performant Virtual Resiliency for Distributed Applications

The Safety Dance 🕺 Virtual Resiliency

The Safety Dance 🕺 Virtual Resiliency Mutable 🦋 Idempotent 🔂 Deterministic 📅

The Safety Dance 🕺 Virtual Resiliency Mutable 🦋 Idempotent 🔂 Deterministic 📅 Query A Query B

The Safety Dance 🕺 Virtual Resiliency Query A Query B Compute A Mutable 🦋 Idempotent 🔂 Deterministic 📅

The Safety Dance 🕺 Virtual Resiliency Query A Query B Compute A Mutable 🦋 Query C Idempotent 🔂 Deterministic 📅

The Safety Dance 🕺 Virtual Resiliency Query A Query B Compute A Mutable 🦋 Query C Idempotent 🔂 Deterministic 📅 Compute B Query D

The Safety Dance 🕺 Virtual Resiliency Query A Query B Compute A Mutable 🦋 Query C Idempotent 🔂 Deterministic 📅 Compute B Query D Mutation

The Safety Dance 🕺 Virtual Resiliency Mutation Query A Query B Compute A Mutable 🦋 Query C Mutation Idempotent 🔂 Deterministic 📅 Compute B Query D Mutation

The Safety Dance 🕺 Simplified Safe Layout

The Safety Dance 🕺 Simplified Safe Layout Queries Queries Queries

The Safety Dance 🕺 Simplified Safe Layout Queries Queries Queries Pure Computation Pure Computation Pure Computation

The Safety Dance 🕺 Simplified Safe Layout Queries Queries Queries Pure Computation Pure Computation Pure Computation Mutation

The Safety Dance 🕺 Simple Example Compute A Query Compute B Mutation

The Safety Dance 🕺 Simple Example Compute A Query 🦺✔ Compute B Mutation

Wrap Up

Wrap Up Reusable/Remixable Specs

Wrap Up Reusable/Remixable Specs UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

Wrap Up Reusable/Remixable Specs UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

Wrap Up Reusable/Remixable Specs IPVM Task ⚙ VM Config, Verification, etc UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

Wrap Up Reusable/Remixable Specs IPVM Workflow 🎛 Transactions, Error Handling, Defaults IPVM Task ⚙ VM Config, Verification, etc UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

Wrap Up Reusable/Remixable Specs IPVM Workflow 🎛 Transactions, Error Handling, Defaults IPVM Task ⚙ VM Config, Verification, etc UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN-Chan / ユーキャンちゃん Consumable Channels UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

github.com/ipvm-wg lu.ma/ipvm 🎉 Thank You, Boston 🇺🇸 brooklyn@fission.codes discord.gg/fissioncodes github.com/expede