notes for community call for ZKML Community
☆11Jan 18, 2023Updated 3 years ago
Alternatives and similar repositories for calls
Users that are interested in calls are comparing it to the libraries listed below
Sorting:
- notes for community call for ZKML Community☆19Nov 9, 2022Updated 3 years ago
- contract-deployer repository☆16Jan 8, 2026Updated last month
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 2 years ago
- My notes and code from the Paradigm CTF☆42Aug 22, 2022Updated 3 years ago
- Smart contracts of the DFMM protocol☆22Apr 30, 2024Updated last year
- a lisp built on top of vyper☆50Jun 13, 2025Updated 8 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Transaction sitter. But a glorious monolith.☆28Jan 7, 2026Updated last month
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 8 months ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 2 years ago
- A template for projects writting smart contracts that use vulcan for testing☆30Aug 29, 2023Updated 2 years ago
- Aggregator for amazing ZKML resources☆412Apr 29, 2024Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆110Mar 18, 2025Updated 11 months ago
- ☆26Nov 15, 2023Updated 2 years ago
- Manage EVM protocol deployments. Inspired by Docker, Terraform, and npm.☆27Jul 12, 2022Updated 3 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- BTCRelay re-implementation in Solidity☆26Oct 2, 2019Updated 6 years ago
- Astraly Cairo Contracts☆39Oct 19, 2022Updated 3 years ago
- C++ SSZ library☆28Jul 11, 2024Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- Decentralized network boot backed on p2p network☆29Oct 1, 2024Updated last year
- optimistic fork of the Flashbot's mev-boost relay☆35Sep 23, 2025Updated 5 months ago
- Example of Authentication with WorldID, ConnectKit, Airstack, & Next.js☆30Feb 16, 2024Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 3 years ago
- Template for building ChatGPT Plugins in TypeScript that run on Supabase's custom Deno Edge Runtime.☆32May 16, 2023Updated 2 years ago
- Open Authorization API (OAA) development libraries, connectors and resources.☆17Jan 9, 2025Updated last year
- ☆33Mar 8, 2023Updated 2 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 3 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated 8 months ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 7 months ago
- Verifiable RPC for Ethereum state, in-browser, no node☆44Mar 9, 2023Updated 2 years ago
- A performant high level server for hyper☆39Mar 14, 2025Updated 11 months ago
- ☆11Jan 18, 2023Updated 3 years ago