Lists (1)
Sort Name ascending (A-Z)
Stars
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
🌴 Empowering everyone to build reliable and efficient smart contracts.
Rust full node implementation of the Fuel v2 protocol.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
Assert process::Command - Easy command initialization and assertions
Training a Neural Network to play snake, uses genetic algorithm for neuro-evolution
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
A pqSNARK with lightweight proofs, powered by the Whir PCS.
ZeroOS: A Universal Modular Library OS for zkVMs
calculate new mpt root without loading entire trie