Read on Twitter
1/ Introducing ๐๐ฎ๐ฅ๐๐ง๐๐ฟ๐ ๐๐ง๐ค๐๐ง๐๐ข๐จ: A Minimal, Performance-Focused, WASM-Based Smart Contract Framework for @avax @AvaxDevelopers
Starting ๐๐๐ฟ๐ผ๐, you can write HyperSDK Programs in #Rust using the ๐ฟ๐๐ซ๐๐ก๐ค๐ฅ๐๐ง ๐๐ง๐๐ซ๐๐๐ฌ ๐๏ธ .github.com/ava-labs/hyperโฆ
Starting ๐๐๐ฟ๐ผ๐, you can write HyperSDK Programs in #Rust using the ๐ฟ๐๐ซ๐๐ก๐ค๐ฅ๐๐ง ๐๐ง๐๐ซ๐๐๐ฌ ๐๏ธ .github.com/ava-labs/hyperโฆ
2/ First, why "Programs" and not "Smart Contracts"?
This is about "familiarity". When new developers hear "smart contract" for the first time, they have no idea what I'm talking about.
"Programs" convey that if you know how to code, you can do this. That's exactly what we want.
This is about "familiarity". When new developers hear "smart contract" for the first time, they have no idea what I'm talking about.
"Programs" convey that if you know how to code, you can do this. That's exactly what we want.
3/ So, how do these newfangled HyperSDK Programs look? Not newfangled ๐.
It is difficult/expensive to reach mass adoption if devs have to learn a new language/use odd dialects of existing languages to deploy their code.
HyperSDK Programs meet devs where they are. It's minimal.
It is difficult/expensive to reach mass adoption if devs have to learn a new language/use odd dialects of existing languages to deploy their code.
HyperSDK Programs meet devs where they are. It's minimal.
4/ @samlioku and @hexfusion prepared a few examples using Rust to showcase this notion of "familiarity".
First up, here is a simple counter: github.com/ava-labs/hyperโฆ
First up, here is a simple counter: github.com/ava-labs/hyperโฆ
5/ Counters are cool but I'm familiar with tokens...how would I do that?
Look no further:
github.com/ava-labs/hyperโฆ
Look no further:
github.com/ava-labs/hyperโฆ
6/ Programs only get cool once you can call other Programs...can you do that?
I couldn't agree more:
github.com/ava-labs/hyperโฆ
I couldn't agree more:
github.com/ava-labs/hyperโฆ
7/ WASM only allows a handful of types to be passed into functions (i32, i64, f32, f64, v128, funcref, externref):
As you can see, we got around this constraint with a macro that magically transforms complex function args:
webassembly.github.io/spec/core/syntโฆ
github.com/ava-labs/hyperโฆ
As you can see, we got around this constraint with a macro that magically transforms complex function args:
webassembly.github.io/spec/core/syntโฆ
github.com/ava-labs/hyperโฆ
8/ Everything HyperSDK is performance-driven and Programs are no exception.
To avoid the biggest bottlenecks devs typically run into when using WASM (memory allocation and serialization), complex objs are never injected into the execution environment (just a reference to them).
To avoid the biggest bottlenecks devs typically run into when using WASM (memory allocation and serialization), complex objs are never injected into the execution environment (just a reference to them).
https://twitter.com/_patrickogrady/status/1628109794732298241
9/ The primary "learning curve" for HyperSDK Programs relates to storing/interacting with variables in state.
Normally, interacting with complex objects in Rust (or other languages) is just done "in memory" (ex: a map lives on the heap). Not here.
Normally, interacting with complex objects in Rust (or other languages) is just done "in memory" (ex: a map lives on the heap). Not here.
10/ To interact with complex objects (like a map), developers invoke a "host function" to read specific keys from a map stored in the host environment instead of interacting with the object directly in WASM memory:
github.com/ava-labs/hyperโฆ
github.com/ava-labs/hyperโฆ
11/ Rust not your jam (hint: don't tell a Rust dev that) ?
WASM compilation is supported by many languages. We only have a Rust SDK for now but look forward to community SDKs that unblock development in C/C++/Zig/TinyGo ๐ค .
WASM compilation is supported by many languages. We only have a Rust SDK for now but look forward to community SDKs that unblock development in C/C++/Zig/TinyGo ๐ค .
12/ What can/can't you do ๐๐๐ฟ๐ผ๐? (i.e. What's a "Developer Preview"?)
You **can** write your own HyperSDK Programs and run them in a basic WASM runtime.
You **can't** deploy HyperSDK Programs on-chain (yet).
You **can** write your own HyperSDK Programs and run them in a basic WASM runtime.
You **can't** deploy HyperSDK Programs on-chain (yet).
13/ With any new framework, community feedback early and often is critical for world-class DX.
Although the runtime isn't complete/performant yet, we wanted to shift development into the open as soon as there was a basic foundation to build on.
Let us know what could be better!
Although the runtime isn't complete/performant yet, we wanted to shift development into the open as soon as there was a basic foundation to build on.
Let us know what could be better!
14/ Concurrently, we are working on a minimal (strip out all unnecessary WASM functionality), metered, deterministic, Golang WASM runtime to execute these programs based on Wazero ().
If you'd like to get involved in this effort, please let us know!github.com/ava-labs/wazero
If you'd like to get involved in this effort, please let us know!github.com/ava-labs/wazero
15/ Other future work includes (but not limited to):
* Program Constraints (enforce end conditions to protect against bugs)
* Multi-Dimensional Fee Pricing (charge for each resource independently):
* Use State Keys to Create Parallel Execution Treegithub.com/ava-labs/hyperโฆ
* Program Constraints (enforce end conditions to protect against bugs)
* Multi-Dimensional Fee Pricing (charge for each resource independently):
* Use State Keys to Create Parallel Execution Treegithub.com/ava-labs/hyperโฆ
16/ Check out my talk at Summit II if you want more context on the HyperSDK and HyperSDK Programs:
17/ Lastly, **HUGE** shoutout to @samlioku and @hexfusion for taking this project from a list of bullets I had on paper into an E2E Developer Preview. โค๏ธ
Stay tuned for @samlioku's deep dive later today!
Stay tuned for @samlioku's deep dive later today!
18/ You can read the unrolled version of this thread here: typefully.com/_patrickogradyโฆ
You can chime in on Github here: github.com/ava-labs/hyperโฆ
โข โข โข
Missing some Tweet in this thread? You can try to
force a refresh
ใ
