crStiv/longfellow-zk
Implementation of the Google Zero-Knowledge library for Identity Protocols.
Implementation of the Google Zero-Knowledge library for Identity Protocols.
Open-source Ethereum consensus client written in Java
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Linea documentation
Internet-scale Neural Networks
Enclave is an open-source protocol for Encrypted Execution Environments (E3).
Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿
A local testnet for Starknet... in Rust
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Lean 4 programming language and theorem prover
Async RL Training at Scale
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
An open infrastructure to democratize and decentralize the development of superintelligence for humanity.
Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
Core components of the Miden protocol
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Optimism is Ethereum, scaled.
Modular TypeScript wallet adapters and components for Miden applications.
Celestia Data Availability Nodes
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Rust implementation of the Agglayer.