The cryptography library of Lean 4
☆10Apr 30, 2025Updated last year
Alternatives and similar repositories for cryptolib
Users that are interested in cryptolib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- ☆11Oct 19, 2026Updated 2 weeks ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆58Oct 2, 2025Updated last year
- A formally verified symbolic cryptography library for Lean☆20Feb 18, 2026Updated 8 months ago
- A Lean library for machine-checked cryptographic proofs.☆172Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆22Oct 1, 2022Updated 4 years ago
- A BrainFuck zkVM based on a customised version of PlonkUp☆11May 4, 2023Updated 3 years ago
- Great Restored Script Interpreter☆12Dec 13, 2024Updated last year
- Fun with MuSig2 and Ledger devices 🎵☆11Jul 1, 2025Updated last year
- ☆13Oct 9, 2025Updated last year
- Lattices in Cryptography (University of Michigan)☆146Feb 6, 2026Updated 9 months ago
- ☆11Sep 8, 2022Updated 4 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆39May 4, 2026Updated 6 months ago
- PVSS & Scrape in rust☆12Oct 9, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 3 years ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- Formally Verified Arguments of Knowledge in Lean☆353Updated this week
- Up-to-date LaTeX files for making a University of California PhD thesis☆13Oct 21, 2014Updated 12 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated 2 weeks ago
- ☆18Jul 11, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- Threshold Signatures with Silent Setup☆13Apr 12, 2023Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 3 years ago
- ☆15Jun 7, 2024Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Elliptic curve group traits and utilities.☆103Sep 16, 2026Updated last month
- Zero Knowledge Proof for Schnorr☆14Mar 7, 2025Updated last year
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- [RFC9380] Hash to curves - Go reference implementation☆21Updated this week
- ☆20Aug 3, 2024Updated 2 years ago
- A Minecraft server written in C++0x/Boost.☆12Dec 17, 2011Updated 14 years ago
- A PRF with low multiplicative complexity☆19Feb 18, 2020Updated 6 years ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆13May 1, 2025Updated last year
- Make/Encode some basic logic puzzles☆22Jul 10, 2024Updated 2 years ago