Intermediate Representation (IR) for cryptographic computations
☆22Sep 15, 2026Updated last month
Alternatives and similar repositories for prime-ir
Users that are interested in prime-ir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- Library for parsing, generating, and analyzing LLZK code.☆46Updated this week
- Computable Polynomials in Lean.☆48Updated this week
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆17Updated this week
- ☆17Oct 13, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.☆29Jun 16, 2026Updated 4 months ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- ☆59Updated this week
- ☆95Updated this week
- ☆12Sep 8, 2025Updated last year
- ☆15Aug 6, 2026Updated 2 months ago
- Minimalist, performant and auditable verifiable RISC-V vm written in Rust☆32Updated this week
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- Make your zero-knowledge circuits safe with formal verification. 🍀☆35Aug 24, 2026Updated 2 months ago
- 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.
- Minimal zkVM for Ethereum.☆175Updated this week
- Fiat-Shamir for the masses.☆99Updated this week
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 6 months ago
- ☆27Updated this week
- ☆12Jun 5, 2025Updated last year
- A universal soundness calculator across hash-based zkEVMs and security regimes☆56Sep 21, 2026Updated last month
- chromium based robot framework☆11Oct 20, 2022Updated 4 years ago
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 3 weeks ago
- ☆19Sep 12, 2026Updated last month
- 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.
- ☆12Dec 6, 2023Updated 2 years ago
- High-performance, distributed build, verification, and counterexample tooling for Lean 4☆43Updated this week
- ☆55Jun 24, 2026Updated 4 months ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 9 months ago
- ☆33Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆164Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆39Aug 20, 2026Updated 2 months ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆28Oct 22, 2026Updated last week
- Formally verified Ethereum primitives, written in Lean.☆23Oct 22, 2026Updated last week
- ☆69Apr 1, 2026Updated 6 months ago
- Specifications of cryptographic algorithms in Cryptol☆54Updated this week
- Інструкція з використання інтерактивної карти України в Power BI для візуалізації даних по кожній області.☆12Mar 28, 2024Updated 2 years ago