FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.
☆16May 12, 2025Updated last year
Alternatives and similar repositories for frieda
Users that are interested in frieda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆26Nov 24, 2025Updated 10 months ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 10 months ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated last year
- ☆10Jul 23, 2026Updated 2 months ago
- Elliptic curve operations written in rust.☆12Jul 16, 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.
- A curated list of awesome projects using STWO.☆38Jun 27, 2025Updated last year
- ☆26Mar 12, 2026Updated 6 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆18Oct 2, 2024Updated 2 years ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆11Apr 22, 2025Updated last year
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 6 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 3 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Terminal UI based ethereum wallet (WIP)☆20Dec 30, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆134Oct 1, 2026Updated last week
- Nostr x STARKs exploration project.☆11Apr 17, 2025Updated last year
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 3 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 3 years ago
- Write a lattice-based cryptographic protocol in a Rust-based DSL, much as you would write it on paper, and run it on GPUs, with no CUDA a…☆19Updated this week
- Loot Exchange monorepo☆16Feb 2, 2022Updated 4 years ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 4 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.
- ☆23Mar 4, 2023Updated 3 years ago
- ☆12Sep 26, 2024Updated 2 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- ☆73Updated this week
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 4 years ago
- A verifiable supercomputer☆79Jun 26, 2025Updated last year
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 3 years ago
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆17Jan 27, 2025Updated last year
- Whetstone Research's docs☆16Apr 22, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Bitcoin ZK client written in Cairo.☆114Dec 1, 2025Updated 10 months ago
- ☆26Apr 15, 2025Updated last year
- ☆10Oct 8, 2025Updated last year
- Circom to MP-SPDZ☆22Oct 27, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Integration of IBC with Starknet☆20Sep 16, 2025Updated last year
- Noir implementation of RSA-verify☆42Dec 20, 2023Updated 2 years ago