Cryptography in SageMath.
☆10Dec 17, 2018Updated 7 years ago
Alternatives and similar repositories for CryptoWithSageMath
Users that are interested in CryptoWithSageMath are comparing it to the libraries listed below
Sorting:
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- ☆11Feb 6, 2024Updated 2 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆19Updated this week
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Mar 26, 2022Updated 3 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- ☆19Aug 4, 2022Updated 3 years ago
- ☆26Feb 20, 2025Updated last year
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- ☆23Mar 8, 2024Updated last year
- ☆31Oct 27, 2025Updated 4 months ago
- Welcome to the Quantum High School Organization's Quantum Computing Notebook for Beginners! 🚀 This notebook is your gateway to the exhi…☆11Jun 1, 2025Updated 8 months ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- math notes under one roof☆32Updated this week
- Lisp implementation of Lurk.☆79Sep 4, 2024Updated last year
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Feb 20, 2024Updated 2 years ago
- Technical Specification of Layer 2 Blockchain Scalability Solutions for Ethereum Virtual Machine Compatible public Blockchains☆27Jul 22, 2025Updated 7 months ago
- ☆30Sep 19, 2022Updated 3 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- ☆38Sep 29, 2021Updated 4 years ago
- ☆39Nov 25, 2022Updated 3 years ago
- ☆33Sep 9, 2023Updated 2 years ago
- AZTEC protocol specification☆31Feb 12, 2020Updated 6 years ago
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- ☆44Feb 28, 2023Updated 3 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- Tool chains of EasyBC☆10Jun 18, 2024Updated last year
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- ☆49Feb 12, 2026Updated 2 weeks ago