cysic-labs / ZPrize-23-Prize1Links
☆19Updated last year
Alternatives and similar repositories for ZPrize-23-Prize1
Users that are interested in ZPrize-23-Prize1 are comparing it to the libraries listed below
Sorting:
- building blocks for accelerating ZK proofs over binary fields☆45Updated 3 months ago
- ☆29Updated 3 years ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 7 months ago
- ☆20Updated 2 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Updated 10 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆32Updated 2 years ago
- ZPrize 2022 - All qualified entries☆56Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Updated 5 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆83Updated 2 years ago
- ☆39Updated last week
- Groth16 over ICICLE☆36Updated 2 months ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆143Updated 11 months ago
- ☆25Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- ☆79Updated 8 months ago
- Expander Compiler☆39Updated last week
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- ☆22Updated last year
- Nova-based SHA256 benchmarks☆31Updated 3 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 7 months ago
- Polyhedra ZK knowledge base☆26Updated 10 months ago
- Proof system backends for OpenVM.☆32Updated this week
- polynomial commitments from linear codes☆46Updated 9 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Experimental implementation of Sumcheck protocol using CUDA☆19Updated 10 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆36Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆46Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago