snarkOS
noname
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
- 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
noname
-
Beyond Functional Programming: The Verse Programming Language [pdf]
That's what I did in my own language[1], no shadowing allowed.
[1]: https://github.com/mimoo/noname
What are some alternatives?
snarkVM - A Virtual Machine for Zero-Knowledge Executions
verse - The Verse Programming Language
plonk - Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
winter - A high-performance functional programming language, designed to be embedded in C++ applications
awesome-aleo - 🏎️ A curated list of Aleo & Leo code and resources 🏎️
cue - The home of the CUE language! Validate and define text-based and dynamic configuration
awesome-zero-knowledge - A curated list of Zero Knowledge links, mostly focusing on blockchain.
darkfi - Anonymous. Uncensored. Sovereign.
plonk-by-fingers - Implementation of Plonk by Hand in rust
proof-systems - The proof systems used by Mina
Sunscreen - A compiler for fully homomorphic encryption and zero knowledge proofs
ZoKrates - A toolbox for zkSNARKs on Ethereum