ProvableHQ/aleo_vm_lambda ProvableHQ/aleo_vm_lambda

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ProvableHQ/aleo_vm_lambda
github

ProvableHQ

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proof of concept for a ZK snark-based VM running Aleo Instructions.

More Repositories

1

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust
4,789
star
2

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions
JavaScript
589
star
3

workshop

📜 A Starter Guide to Build ZK Applications 📜
Shell
329
star
4

welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
319
star
5

aleo-education

Aleo Education
197
star
6

ARCs

Aleo Request for Comments (ARCs)
JavaScript
193
star
7

python-sdk

Python
40
star
8

aleo-rust

Rust
32
star
9

aleo-js

TypeScript
20
star
10

aleo-std

Rust
16
star
11

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.
16
star
12

aleo-setup-integration-test

Integration testing for aleo-setup and aleo-setup-coordinator
Rust
10
star
13

aleo_lambda_blockchain

MVP for an aleo blockchain
Rust
8
star
14

community

A place for everyone to collaborate and communicate: Agendas and meeting notes.
7
star
15

aleo-instructions-syntax-vscode

Aleo instructions syntax
7
star
16

service

Rust
7
star
17

nemean

Go
5
star
18

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor
3
star
19

bounty-2022-ethdenver

The Aleo bounty descriptions for the EthDenver 2022 hackathon.
TypeScript
3
star
20

linguist-grammars

3
star
21

leo-syntax-vscode

Leo syntax
TypeScript
2
star
22

aleo-snap-chainsafe

JavaScript
2
star
23

leo-acl2-bin

2
star
24

mpmc-bus

Wrapper around bus to provide mp functionality.
Rust
1
star
25

collector

Leo Async Programming Example
1
star
26

leo-plugins

A repository to file bugs and feature requests for Leo plugins
1
star