Aligned
@alignedlayer
A proof convinces a verifier.
A spec convinces a person.
Lambda VM gives you both. ~60k lines of Rust, one chip per file, each next to its spec.
Being built in collaboration with @class_lambda and @3miLabs
A spec convinces a person.
Lambda VM gives you both. ~60k lines of Rust, one chip per file, each next to its spec.
Being built in collaboration with @class_lambda and @3miLabs
0 18