zk-ml / uchikoma
essentialist neural network transpiler for non-floating-point runtimes
☆29Updated 2 years ago
Alternatives and similar repositories for uchikoma:
Users that are interested in uchikoma are comparing it to the libraries listed below
- ☆34Updated last year
- neural network inference standard for zero-knowledge-proof systems☆35Updated last year
- Email verification circuit in halo2☆67Updated 8 months ago
- Circuits library for matrix operations in circom☆32Updated 8 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- storage proof made by sp1☆24Updated 5 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆46Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- A circuit to verify the voice recovery process.☆49Updated last year
- Provides tools for testing circom circuits.☆58Updated 8 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- ☆33Updated last year
- ☆92Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated last year
- ☆18Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆32Updated 9 months ago
- Honk Verifier in Solidity☆50Updated 4 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year