Highlights
- Pro
-
-
hash-based-snargs-book Public
Forked from hash-based-snargs-book/hash-based-snargs-bookSource code for "Building Cryptographic Proofs from Hash Functions"
TeX UpdatedAug 12, 2024 -
-
-
ff Public
Forked from zkcrypto/ffTraits and utilities for working with finite fields.
Rust Apache License 2.0 UpdatedFeb 5, 2024 -
-
barretenberg Public
Forked from AztecProtocol/barretenbergC++ Apache License 2.0 UpdatedSep 7, 2023 -
collaborative-zksnark Public
Forked from alex-ozdemir/collaborative-zksnarkPrototype implementations of various Collaborative zkSNARKs.
-
awesome-folding Public
Forked from argumentcomputer/awesome-foldingA curated list of zero-knowledge folding schemes
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMar 24, 2023 -
-
itertools Public
Forked from rust-itertools/itertoolsExtra iterator adaptors, iterator methods, free functions, and macros.
Rust Apache License 2.0 UpdatedMay 4, 2022 -
-
-
rust-in-blockchain Public
Forked from rust-in-blockchain/rust-in-blockchainSource code for rib.rs
CSS Mozilla Public License 2.0 UpdatedJul 30, 2021 -
RCIG_Coordination_Repo Public
Forked from The-DevX-Initiative/RCIG_Coordination_RepoA Coordination repo for all things Rust Cryptography oriented
UpdatedJul 28, 2021 -
advisory-db Public
Forked from rustsec/advisory-dbSecurity advisory database for Rust crates published through crates.io
Other UpdatedJul 9, 2021 -
poly-commit Public
Forked from Will-Lin4/poly-commitA Rust library for polynomial commitments
-
Cupcake Public
Forked from facebookresearch/CupcakeA Rust library for lattice-based additive homomorphic encryption.
Rust MIT License UpdatedMar 23, 2021 -
snarky Public
Forked from o1-labs/snarkyOCaml DSL for verifiable computation
HTML MIT License UpdatedDec 10, 2020 -
-
algebra Public
Forked from ryanleh/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Other UpdatedDec 10, 2020 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 9, 2020 -
tracing Public
Forked from tokio-rs/tracingApplication level tracing for Rust.
-
fancy-garbling Public
Forked from GaloisInc/fancy-garblingRust implementation of the BMR16 arithmetic garbling scheme.
-
absolution Public
Forked from Manishearth/absolution"Freedom from syn": Proc macro tools for operating on token trees
Rust Apache License 2.0 UpdatedMar 21, 2020 -
zexe-1 Public
Forked from arkworks-rs/snarkRust library for decentralized private computation
Rust Apache License 2.0 UpdatedMar 13, 2020 -
criterion.rs Public
Forked from bheisler/criterion.rsStatistics-driven benchmarking library for Rust
Rust Apache License 2.0 UpdatedFeb 29, 2020 -
diyhpluswiki Public
Forked from kanzure/diyhpluswikia wiki for do-it-yourself biohacking, open source hardware and transhuman tech
Roff UpdatedFeb 20, 2020 -
mc2 Public
Forked from mc2-project/mc2Main Repo of Multiparty Collaboration + Coopetition Projects
Python UpdatedJan 16, 2020