Provable

All

49 repositories

snarkOS
Public
A Decentralized Operating System for ZK Applications
cryptography zero-knowledge zksnarks aleo rust blockchain
Rust
•
Apache License 2.0
•2.6k•4.4k•82•43•Updated Jan 21, 2025Jan 21, 2025
welcome
Public
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
blockchain leo zero-knowledge zksnarks aleo
GNU General Public License v3.0
•218•325•21•35•Updated Jan 20, 2025Jan 20, 2025
leo
Public
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo zero-knowledge zksnarks programming-language compiler
Rust
•
GNU General Public License v3.0
•660•4.8k•667•11•Updated Jan 20, 2025Jan 20, 2025
sdk
Public
Javascript & Typescript SDK for Zero-Knowledge Application Development
nodejs javascript typescript sdk blockchain wasm zero-knowledge zksnarks aleo
JavaScript
•
GNU General Public License v3.0
•471•595•58•37•Updated Jan 18, 2025Jan 18, 2025
snarkVM
Public
A Virtual Machine for Zero-Knowledge Executions
cryptography blockchain zero-knowledge zkp aleo rust
Rust
•
Apache License 2.0
•1.5k•1.1k•65•52•Updated Jan 17, 2025Jan 17, 2025
snarkVM-fork
Public
A Virtual Machine for Zero-Knowledge Executions
Rust
•
Apache License 2.0
•1.5k•9•0•5•Updated Jan 17, 2025Jan 17, 2025
snarkOS-fork
Public
A Decentralized Operating System for ZK Applications
Rust
•
Apache License 2.0
•2.6k•21•0•1•Updated Jan 17, 2025Jan 17, 2025
workshop
Public
📜 A Starter Guide to Build ZK Applications 📜
tutorial workshop zero-knowledge zksnarks aleo
Shell
•265•333•17•11•Updated Dec 17, 2024Dec 17, 2024
service
Public
Rust
•
GNU General Public License v3.0
•19•8•0•0•Updated Dec 11, 2024Dec 11, 2024
leo-examples
Public
Shell
•2•1•0•0•Updated Nov 19, 2024Nov 19, 2024
varuna-sage-impl
Public
A SageMath implementation of the Varuna zkSNARK.
Sage
•1•1•1•0•Updated Nov 8, 2024Nov 8, 2024
grammars
Public
Grammar specifications for languages and formats in the Aleo ecosystem.
27•16•8•0•Updated Nov 1, 2024Nov 1, 2024
HTTPClient
Public
Rust HTTP API for Aleo Blockchain Nodes
Rust
•0•0•1•0•Updated Oct 17, 2024Oct 17, 2024
snarkOS-indexer
Public
A Decentralized Operating System for ZK Applications
Rust
•
Apache License 2.0
•2.6k•1•0•0•Updated Oct 3, 2024Oct 3, 2024
ARCs
Public
Aleo Request for Comments (ARCs)
rfcs aleo
JavaScript
•
Apache License 2.0
•255•220•0•24•Updated Aug 14, 2024Aug 14, 2024
linguist
Public
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby
•
MIT License
•4.4k•2•0•0•Updated Aug 5, 2024Aug 5, 2024
aleo-linguist
Public
TypeScript
•
Apache License 2.0
•0•0•0•0•Updated Jul 26, 2024Jul 26, 2024
leo-linguist
Public
TypeScript
•
Apache License 2.0
•1•0•0•0•Updated Jul 26, 2024Jul 26, 2024
lsp4intellij
Public
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Java
•
Apache License 2.0
•106•2•0•0•Updated Jul 21, 2024Jul 21, 2024
collector
Public
Leo Async Programming Example
0•1•0•0•Updated Jul 1, 2024Jul 1, 2024
python-sdk
Public
Python
•
GNU General Public License v3.0
•50•43•2•9•Updated Apr 19, 2024Apr 19, 2024
aleo-snap-chainsafe
Public
JavaScript
•6•2•0•11•Updated Apr 11, 2024Apr 11, 2024
aleo-rust
Public archive
Rust
•
GNU General Public License v3.0
•40•32•1•13•Updated Mar 12, 2024Mar 12, 2024
aleo-std
Public
Rust
•
GNU General Public License v3.0
•36•16•0•1•Updated Jan 20, 2024Jan 20, 2024
aleo-js
Public
TypeScript
•
MIT License
•22•20•5•2•Updated Jan 18, 2024Jan 18, 2024
linguist-grammars
Public
Apache License 2.0
•7•3•0•0•Updated Oct 4, 2023Oct 4, 2023
leo-syntax-vscode
Public archive
Leo syntax
TypeScript
•
GNU General Public License v3.0
•8•2•0•0•Updated Sep 27, 2023Sep 27, 2023
aleo-instructions-syntax-vscode
Public
Aleo instructions syntax
GNU General Public License v3.0
•13•7•0•1•Updated Dec 6, 2022Dec 6, 2022
sublimelsp-repository
Public
Package repository for Package Control
Python
•31•2•0•0•Updated Sep 19, 2022Sep 19, 2022
aleo-instructions-syntax-sublime
Public
Aleo instructions syntax highlighting for Sublime editor
GNU General Public License v3.0
•8•3•0•0•Updated Aug 19, 2022Aug 19, 2022