Conducting research on Zero-Knowledge Proofs (ZKP) and application development on the Cortex, with a primary emphasis on ZKML and ZKVM.
Neurons Labs
Popular repositories Loading
-
risc0
risc0 PublicForked from risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++
-
-
zeth
zeth PublicForked from boundless-xyz/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Rust
-
zkllvm
zkllvm PublicForked from NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
C++
-
boojum-cuda
boojum-cuda PublicForked from matter-labs/era-boojum-cuda
A library implementing GPU-accelerated cryptographic functionality for the zk prover.
Rust
-
Repositories
Showing 10 of 10 repositories
- boojum-cuda Public Forked from matter-labs/era-boojum-cuda
A library implementing GPU-accelerated cryptographic functionality for the zk prover.
neurons-labs/boojum-cuda’s past year of commit activity - ezkl Public Forked from zkonduit/ezkl
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
neurons-labs/ezkl’s past year of commit activity - zeth Public Forked from boundless-xyz/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
neurons-labs/zeth’s past year of commit activity - .github Public
neurons-labs/.github’s past year of commit activity - risc0 Public Forked from risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
neurons-labs/risc0’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…