Crypto application code for the zkSNARKs toolbox ZoKrates
☆53Mar 20, 2024Updated last year
Alternatives and similar repositories for pycrypto
Users that are interested in pycrypto are comparing it to the libraries listed below
Sorting:
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- RLN circuits in Circom☆32Jul 13, 2024Updated last year
- Implementation of the blindbid logic within Zero Knowledge Proofs☆21Sep 15, 2021Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆26Feb 3, 2024Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- ☆18Dec 5, 2023Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- ☆19May 5, 2020Updated 5 years ago
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- fast zksnark prover☆118Nov 23, 2023Updated 2 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59May 19, 2023Updated 2 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Jan 22, 2024Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 3 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- ☆12May 7, 2021Updated 4 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 3 years ago
- ☆16Jan 5, 2023Updated 3 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆52Aug 21, 2024Updated last year
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆42Oct 8, 2020Updated 5 years ago
- ☆23Oct 6, 2020Updated 5 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago