snarkOS
A Decentralized Operating System for ZK Applications (by AleoHQ)
awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️ (by howardwu)
| snarkOS | awesome-aleo | |
|---|---|---|
| 5 | 3 | |
| 3,885 | 328 | |
| 1.5% | - | |
| 9.9 | 7.8 | |
| 6 days ago | 15 days ago | |
| Rust | ||
| Apache License 2.0 | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
snarkOS
Posts with mentions or reviews of snarkOS.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-22.
- SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications
-
2023/5/23 Community Announcements
Core Engineering Updates Merges: snarkVM https://github.com/AleoHQ/snarkVM/pull/1543: Refactors coinbase and snark in synthesizer https://github.com/AleoHQ/snarkVM/pull/1544: Moves Deployment, Execution, and Fee to the block folder https://github.com/AleoHQ/snarkVM/pull/1545: Moves Transaction executors to VM https://github.com/AleoHQ/snarkVM/pull/1546: Migrates finalize operation to the block folder https://github.com/AleoHQ/snarkVM/pull/1547: Introduce complete abstractions for Stack and Registers snarkOS https://github.com/AleoHQ/snarkOS/pull/2391: Reduce maximum handshake message size https://github.com/AleoHQ/snarkOS/pull/2392: Use blocking tasks for some heavy inbound operations https://github.com/AleoHQ/snarkOS/pull/2393: Feature-gate jemalloc https://github.com/AleoHQ/snarkOS/pull/2395: Jemalloc no default features https://github.com/AleoHQ/snarkOS/pull/2396: Deduplicate peer IP in logs https://github.com/AleoHQ/snarkOS/pull/2397: Enforce a 1s raw TCP connection timeout leo No substantial updates
-
2023/4/15 Network Upgrade Changelog !!!
All of the latest changes can be tested and are merged from: https://github.com/AleoHQ/snarkOS/pull/2253
-
Aleo Testnet 3 Tutorial Updated
cd; git clone https://github.com/AleoHQ/snarkOS.git --depth 1
awesome-aleo
Posts with mentions or reviews of awesome-aleo.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-10-07.
-
Here are 5 things to do right now on Aleo Testnet3
Find inspiration on what to build. This repository holds a collection of projects built on the Aleo Testnet: https://github.com/howardwu/awesome-aleo
-
AMA SESSION 5.10
github.com/howardwu/awesome-aleo
-
09/28/2022 Dev Workshop Summary!
Community Updates: - Watch the new Dev Workshop:Flag: https://www.youtube.com/watch?v=-FrrylHITvg&ab_channel=IsraelCryptoContent - The team will hold Hacker House and Dev Workshop in Columbia! - The team is still going through the ambassador applications (it’ll take 2–3 more weeks) - You can find the works of the Entropy team here: https://github.com/howardwu/awesome-aleo
What are some alternatives?
When comparing snarkOS and awesome-aleo you can also consider the following projects:
snarkVM - A Virtual Machine for Zero-Knowledge Executions
workshop - 📜 A Starter Guide to Build ZK Applications 📜
plonk - Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
awesome-zero-knowledge - A curated list of Zero Knowledge links, mostly focusing on blockchain.
plonk-by-fingers - Implementation of Plonk by Hand in rust
noname - Noname: a programming language to write zkapps
Sunscreen - A compiler for fully homomorphic encryption and zero knowledge proofs
twenty-first - Collection of mathematics routines and cryptography for the twenty-first century
leo - 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications