math-inc / ZkLinalgLinks
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
☆69Updated last month
Alternatives and similar repositories for ZkLinalg
Users that are interested in ZkLinalg are comparing it to the libraries listed below
Sorting:
- A support library for working with zero knowledge cryptography in Lean 4.☆45Updated 4 months ago
- Benchmark of ZKVMs and Proving Schemes☆31Updated 3 weeks ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆18Updated 3 weeks ago
- Lean Ethereum protocol specifications and test vector generation framework.☆75Updated this week
- ☆48Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 6 months ago
- A verifiable supercomputer☆78Updated 6 months ago
- Ethereum zkEVM book☆80Updated 3 months ago
- This repository contains my first battle in the ZK war. My enemy: Groth16.☆17Updated 2 years ago
- A curated list of awesome security resources for ZK.☆116Updated 2 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆131Updated this week
- Zirgen compiler and RISC Zero circuits☆104Updated this week
- Executable formal model of the EVM and Yul in Lean 4.☆63Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- Exercises for Part 2 of the ZK-book☆32Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆155Updated 9 months ago
- Interactive formal verification tool for Yul programs☆75Updated last month
- experimental solidity compiler☆94Updated this week
- The entry point for Rust projects to be run on Valida☆10Updated 9 months ago
- Making learning sh*t less annoying☆42Updated 11 months ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆92Updated 6 months ago
- Workbook for Introduction to Programmable Cryptography☆34Updated 8 months ago
- ☆66Updated last year
- Formally Verified Arguments of Knowledge in Lean☆139Updated last week
- SMT 2023 Submission; license pending☆56Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆74Updated 2 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆30Updated last month
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- RISC-V prover system☆47Updated 2 weeks ago