IPVM: Content Addressed Compute for an Open World

Interplanetary Virtual Machine 🤹 Content Addressed Compute for an Open World 🤝 github.com/ipvm-wg lu.ma/ipvm

Sometimes I think the only universal in the computing field is the fetch-execute-cycle. Alan Perlis, Epigrams on Programming #44

IPVM Brooklyn Zelenka @expede github.com/expede

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

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

IPVM Greatest Hits 🪩🕺

IPVM Greatest Hits 🪩🕺 How we got here What is an “IPVM” anyway? What we’ve learned How to get involved

IPVM 🤝 Brought To You By…

IPVM 🤝 Brought To You By…

IPVM 🤝 Brought To You By…

IPVM 🤝 Brought To You By…

IPVM Timeline

IPVM Timeline 2023

IPVM Timeline 🙈 IPFS þing Reykjavík 2023

IPVM Timeline 🙈 IPFS þing Reykjavík 2023 <crickets>

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 2023

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 2023 Proof of Concept

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 2023 Proof of Concept Homestar (rs-ipvm) Starts

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 2023 Proof of Concept Specs v0.2 Homestar (rs-ipvm) Starts

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 2023 Proof of Concept Specs v0.2 Homestar (rs-ipvm) Starts IPVM Q1 Workshop Vancouver

IPVM Timeline 🙈 Specs v0.1 Varsig, Invocation, Task, Workflow IPFS þing Reykjavík <crickets> 🚀 2023 Proof of Concept Specs v0.2 Homestar (rs-ipvm) Starts IPFS þing Brussels IPVM Q1 Workshop Vancouver

IPVM What Is An IPVM? 🤔

What is an IPVM 🤔 The HTTP of Compute 🤩

What is an IPVM 🤔 The HTTP of Compute 🤩 Compute — like data — should be a ubiquitous commodity End users & IPFS teams can depend on having compute around Fully consistent functionality between clients Replace (e.g.) AWS Lambda with an open protocol & nodes

UCAN Decentralize Auth Everywhere

UCAN Decentralize Auth Everywhere Far Edge Commons Cloud & Edge

UCAN Decentralize Auth Everywhere Far Edge Commons Cloud & Edge

UCAN Decentralize Auth Everywhere Far Edge Commons Cloud & Edge

What is an IPVM 🤔 Permissionless Interop

What is an IPVM 🤔 Permissionless Interop 🕵 ⚙

What is an IPVM 🤔 Permissionless Interop 🕵 ⚙ 🙋 ⚙🔨📡

What is an IPVM 🤔 Permissionless Interop 🕵 ⚙ 🔌 🙋 ⚙🔨📡

What is an IPVM 🤔 With Their Powers Combined

What is an IPVM 🤔 With Their Powers Combined Compute ⚙ Data 💾 Auth 🎟

What is an IPVM 🤔 With Their Powers Combined Compute ⚙ Data 💾 Auth 🎟

What is an IPVM 🤔 With Their Powers Combined Compute ⚙ Data 💾 Auth 🎟

What is an IPVM 🤔 With Their Powers Combined Compute ⚙ Data 💾 Auth 🎟

What is an IPVM 🤔 With Their Powers Combined { IPVM Compute ⚙ Data 💾 Auth 🎟

What is an IPVM 🤔

What is an IPVM 🤔 Reusable Spec Stack

What is an IPVM 🤔 Reusable Spec Stack UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

What is an IPVM 🤔 Reusable Spec Stack UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

What is an IPVM 🤔 Reusable Spec Stack 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

What is an IPVM 🤔 Reusable Spec Stack 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

What is an IPVM 🤔 Reusable Spec Stack IPVM Workflow 🎛 Transactions, Error Handling, Defaults IPVM Task ⚙ VM Config, Verification, etc UCAN Pipeline 🌊 Call Graph, Awaits, etc UCAN-Chan / ユーキャンちゃん Payments UCAN Invocation 🪄 Input Addressing, Execution, Memoization, etc UCAN Core 🎟 Distributed Authority IPLD-WIT ⚙ ABI Varsig ✍ Signature Multiformat

What is an IPVM 🤔 The Friends You Made Along the Way

What is an IPVM 🤔 The Friends You Made Along the Way

What is an IPVM 🤔 The Friends You Made Along the Way G N I K R O W S P U O GR

IPVM Invocation-as-IPLD UCAN Invocation Spec

Invocation-as-IPLD Reference vs Dispatch 🔑🚗

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Arguments

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Task f Arguments Scheduling Con ig, etc

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Task f Arguments Scheduling Con ig, etc

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Task f Arguments Scheduling Con ig, etc

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Task f Arguments Scheduling Con ig, etc

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Receipt Task f Arguments Scheduling Con ig, etc

Invocation-as-IPLD Reference vs Dispatch 🔑🚗 Task f ff Arguments Receipt Pure Values & E ects Scheduling Con ig, etc Metadata (e.g. trace)

Invocation-as-IPLD IPLD Schema

Invocation-as-IPLD IPLD Schema Instruction (Closure)

Invocation-as-IPLD IPLD Schema Task Instruction (Closure)

Invocation-as-IPLD IPLD Schema Invocation Task Instruction (Closure)

Invocation-as-IPLD IPLD Schema Invocation Invocation Invocation Task Task Task Instruction (Closure) Instruction (Closure) Instruction (Closure)

Invocation-as-IPLD IPLD Schema f Work low Invocation Invocation Invocation Task Task Task Instruction (Closure) Instruction (Closure) Instruction (Closure)

Invocation-as-IPLD Matching Impedance

Invocation-as-IPLD Matching Impedance

Invocation-as-IPLD Matching Impedance

Invocation-as-IPLD Matching Impedance

Invocation-as-IPLD Matching Impedance e.g. 2 IPLD numerics < 10 WIT numerics

Invocation-as-IPLD Matching Impedance e.g. 2 IPLD numerics < 10 WIT numerics

Invocation-as-IPLD Matching Impedance

IPVM Dataflow & Pipelining 🚰

Dataflow & Pipelining 🚰

Dataflow & Pipelining 🚰 Their recommendation, which I feel was prescient, was that [dataflow] seemed to them more like a law of nature, which is not patentable. J. Paul Morrison, Flow-Based Programming

Dataflow & Pipelining 🚰 Solving for Data Gravity

Dataflow & Pipelining 🚰 Solving for Data Gravity

Dataflow & Pipelining 🚰 Solving for Data Gravity

1. Fetch data 2. Compute on data 3. Output more data 4. GOTO step 1

Dataflow & Pipelining 🚰 Transfer Authority

Dataflow & Pipelining 🚰 Transfer Authority 👩💻 🌈 🐶 🍬 🍾 🧸

Dataflow & Pipelining 🚰 Transfer Authority 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸

Dataflow & Pipelining 🚰 Transfer Authority 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 👩🚀 🐶

Dataflow & Pipelining 🚰 Transfer Authority 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 🌈 🍾 🧸 👨🎨 👩🚀 🐶

Dataflow & Pipelining 🚰 Transfer Authority 👩💻 👨🦳🖥 🌈 🐶 🍬 🍾 🧸 🌈 🐶 🍬 🍾 🧸 🌈 👩🚀 🐶 🌈 🐶 🍾 🧸 👨🎨 ☁⚙

Dataflow & Pipelining 🚰 Distributed Invocation

Dataflow & Pipelining 🚰 Distributed Invocation dns:example.com/TYPE=TXT crud/update

Dataflow & Pipelining 🚰 Distributed Invocation dns:example.com/TYPE=TXT crud/update await mailto:alice@example.com msg/send {to: bob@example.com}

Dataflow & Pipelining 🚰 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}

Dataflow & Pipelining 🚰 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

Dataflow & Pipelining 🚰 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

Dataflow & Pipelining 🚰 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

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Abstract Resolution Cycle

Dataflow & Pipelining 🚰 Input Addressing

Dataflow & Pipelining 🚰 Input Addressing 🧇

Dataflow & Pipelining 🚰 Input Addressing hash(🧇) 🧇

Dataflow & Pipelining 🚰 Input Addressing hash(🧇) 🧇 🧾

Dataflow & Pipelining 🚰 Input Addressing hash(🧇) hash({ rsc: “dns:example.com” op: “crud/update” input: {foo: “bar”} }) 🧇 🧾

Dataflow & Pipelining 🚰 Input Addressing hash(🧇) hash({ rsc: “dns:example.com” op: “crud/update” input: {foo: “bar”} }) 🧇 🧾

Dataflow & Pipelining 🚰 Cache Intermediate Results

Dataflow & Pipelining 🚰 Cache Intermediate Results 🚰 🚰

Dataflow & Pipelining 🚰 Cache Intermediate Results 🚰 🚰

Dataflow & Pipelining 🚰 Cache Intermediate Results 🚰 🚰

Dataflow & Pipelining 🚰 Cache Intermediate Results 🚰 🚰 🚰

Dataflow & Pipelining 🚰 Reduce, Resume, Recycle ♻

Dataflow & Pipelining 🚰 Reduce, Resume, Recycle ♻

Dataflow & Pipelining 🚰 Reduce, Resume, Recycle ♻

Dataflow & Pipelining 🚰 Reduce, Resume, Recycle ♻

IPVM Decentralised Memoization 🧾

Decentralised Memoization 🧾

Decentralised Memoization 🧾 [T]he speed of light is constant and New York is not getting any closer to Tokyo. As hardware continues to improve, the latency barrier between distant machines will increasingly dominate Mark Miller, Robust Composition

Decentralised Memoization 🧾 With a Little Scale From My Friends

Decentralised Memoization 🧾 Throughput With a Little Scale From My Friends Parallelization

Decentralised Memoization 🧾 With a Little Scale From My Friends Throughput Ideal (Linear) Parallelization

Decentralised Memoization 🧾 With a Little Scale From My Friends Ideal (Linear) Throughput Amdahl’s Law Parallelization

Decentralised Memoization 🧾 With a Little Scale From My Friends Ideal (Linear) Throughput Amdahl’s Law Universal Scaling Law Parallelization

Decentralised Memoization 🧾 With a Little Scale From My Friends Ideal (Linear) Throughput Amdahl’s Law Incoherence, Data Contention Parallelization Universal Scaling Law

Decentralised Memoization 🧾 With a Little Scale From My Friends Throughput Global Adaptive Optimization 🚀 Ideal (Linear) Amdahl’s Law Incoherence, Data Contention Parallelization Universal Scaling Law

Decentralised Memoization 🧾 Surprise: Reverse Lookup For Free

Decentralised Memoization 🧾 Surprise: Reverse Lookup For Free CID → Computed Metadata

Decentralised Memoization 🧾 Surprise: Reverse Lookup For Free CID → Computed Metadata e.g. AI moderation classifier

Decentralised Memoization 🧾 Surprise: Reverse Lookup For Free CID → Computed Metadata e.g. AI moderation classifier e.g. Distributed token validation

IPVM The Safety Dance 🕺

The Safety Dance 🕺

The Safety Dance 🕺 “virtual resiliency”, analogous to virtual memory […] allows failure oblivious code to run in a failure resistant manner Goldstein et al, AMBROSIA: Providing Performant Virtual Resiliency for Distributed Applications

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, which has shown how declarative database systems can completely isolate the developer from the possibility of failure Goldstein et al, AMBROSIA: Providing Performant Virtual Resiliency for Distributed Applications

The Safety Dance 🕺 Non-Monotonicity

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream 🚀

The Safety Dance 🕺 Non-Monotonicity Impure E ect Stream Pure E ect Stream Pure Function Stream ff ff Base Event Stream 🚀

The Safety Dance 🕺 Virtual Resiliency

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

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

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

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

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

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

The Safety Dance 🕺 Virtual Resiliency Mutation Query A Query B Compute A Mutation 🦋 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

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

The Safety Dance 🕺 From CID to CHa 🍵

The Safety Dance 🕺 From CID to CHa 🍵 CID

The Safety Dance 🕺 From CID to CHa 🍵 CID ⚙

The Safety Dance 🕺 From CID to CHa 🍵 CID ⚙ ❓

The Safety Dance 🕺 From CID to CHa 🍵 CID ⚙ ❓ ✅

The Safety Dance 🕺 From CID to CHa 🍵 CID ⚙ ❓ ✅ CHa

The Safety Dance 🕺 From CID to CHa 🍵 CID ⚙ ❓ ✅ CHa Task

UCAN Decentralize Auth “Curated” Future & Todos 🔮

Requirements On Deck: Optimistic Verification

Requirements On Deck: Optimistic Verification

Requirements On Deck: Optimistic Verification

UCAN Decentralize Auth “IPFS Run”

UCAN Decentralize Auth Decentralised Wasm Repositories

UCAN Decentralize Auth Decentralised Wasm Repositories

• NNS

UCAN Decentralize Auth Join Us ✊

Join Us ✊ Connect

Join Us ✊ Connect Community: github.com/ipvm-wg

Join Us ✊ Connect Community: github.com/ipvm-wg

Join Us ✊ Connect Community: github.com/ipvm-wg Calls: lu.ma/ipvm

Join Us ✊ Connect Community: github.com/ipvm-wg Calls: lu.ma/ipvm

github.com/ipvm-wg lu.ma/ipvm 🎉 þank you, IPFS þing 🇧🇪 brooklyn@fission.codes discord.gg/fissioncodes github.com/expede