flock-org / flock-artifact
A framework for deploying on-demand distributed-trust.
☆13Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for flock-artifact
- A framework for SPDZ-style maliciously-secure MPC.☆48Updated 2 weeks ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆56Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆64Updated 5 months ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Nova-based SHA256 benchmarks☆30Updated 7 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- ☆26Updated 8 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆72Updated 8 months ago
- A collection of technical notes from the Geometry research team.☆47Updated last year
- Verifiable FHE prototype☆17Updated 3 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- ☆23Updated 2 months ago
- ☆57Updated 2 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆25Updated last year
- Verify JWTs using SNARK circuits☆27Updated 4 months ago
- polynomial commitments from linear codes☆37Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆30Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated last week
- Libra zero knowledge proof system☆48Updated last year
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆40Updated last year
- ☆23Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- A ZKP-augmented fork of the OpenFHE library☆12Updated 4 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆52Updated this week
- In-browser ECDSA aggregation using Nova over secp/secq☆34Updated last year