thedonutfactory / donut
🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs
☆19Updated last year
Alternatives and similar repositories for donut:
Users that are interested in donut are comparing it to the libraries listed below
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 5 years ago
- A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale☆22Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- Blind signatures over secp256k1 elliptic curve☆18Updated 2 years ago
- A library for decentralized private computation☆19Updated 3 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 5 years ago
- Interoperability tests for libp2p Implementations☆19Updated 3 weeks ago
- ☆26Updated last year
- Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom☆41Updated last year
- ☆30Updated 6 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆16Updated 2 years ago
- Bellman backend for the r1cs crate☆12Updated 5 years ago
- ☆22Updated 3 weeks ago
- Matrix mesh simulator☆20Updated 5 years ago
- a sharded store to hold large IPLD graphs efficiently, packaged as location-transparent attachable CAR files, with mechanical sympathy☆41Updated 10 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 4 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network☆16Updated 4 years ago
- IPFS, as nature intended it☆28Updated 2 years ago
- Rust implementation of ElGamal encryption☆14Updated last year
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- JSON parser written in Lurk☆29Updated last year
- Implementation of incrementally verifiable ledger system☆17Updated 4 years ago
- Implementation of additive homomorphic ElGamal using the Ristretto group over Curve25519☆22Updated 2 years ago
- ☆17Updated 2 years ago
- Implementations of proof-carrying data☆34Updated 2 years ago
- IPC implementation atop CometBFT☆16Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated this week