repos
28
ecosystems
20
languages
4
commits
1,217
─── top repos · by commits
─── repositories
28 totalNon-native arithmetic for SNARKs
Multiprecision arithmetic & RSA accumulators, within SNARKs
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Big Integer implementation for circom
Big integer types for Rust
Big integer types for Rust
Implementations of popular elliptic curves
R1CS constraints for bits, fields, and elliptic curves
A standard library wrapper for use in the `arkworks` ecosystem
R1CS constraints for non-native field arithmetic
Performance and security acceleration for zkVMs.
C++ library for Finite Fields and Elliptic Curves
zk-SNARK library.
Implementations of popular elliptic curves
R1CS constraints for bits, fields, and elliptic curves
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
Implementations of popular elliptic curves
C++ library for Finite Fields and Elliptic Curves
A standard library wrapper for use in the `arkworks` ecosystem
zk-SNARK library.
A standard library wrapper for use in the `arkworks` ecosystem
Implementations of popular elliptic curves
Implementations of popular elliptic curves
─── peer developers
─── ecosystems
─── languages
- Rust16
- C++3
- SMT1
- JavaScript1
─── subscriber view
Unlock the full view of alex-ozdemir
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.