Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
☆20Oct 25, 2022Updated 4 years ago
Alternatives and similar repositories for tweedle
Users that are interested in tweedle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 5 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 6 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆62Aug 17, 2026Updated 2 months ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- ☆22Sep 6, 2016Updated 10 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 7 years ago
- ☆19May 5, 2020Updated 6 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 7 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Curve ecGFp5☆73Mar 31, 2022Updated 4 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆15Oct 20, 2019Updated 7 years ago
- ZKProofs website☆91Oct 25, 2023Updated 3 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆50Apr 5, 2020Updated 6 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 5 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆44Oct 8, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Recursive SNARKs based on Plonk and Halo☆119Oct 19, 2021Updated 5 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆37Feb 9, 2018Updated 8 years ago
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- ☆16Mar 11, 2024Updated 2 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 7 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Mar 20, 2024Updated 2 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Shared Lurk source code, including tests and library code.☆18Mar 3, 2024Updated 2 years ago