ZpokenWeb3 / solana-zkvmView external linksLinks
☆20Sep 19, 2024Updated last year
Alternatives and similar repositories for solana-zkvm
Users that are interested in solana-zkvm are comparing it to the libraries listed below
Sorting:
- Solana list of zk shiz☆26Dec 14, 2023Updated 2 years ago
- Interact with Solana from the Internet Computer.☆26Jul 14, 2025Updated 7 months ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- First decentralized & private Battleships game on Solana. Honorable Mention recognition in Solana Grizzlython Hackathon☆31Mar 20, 2023Updated 2 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆38Sep 19, 2023Updated 2 years ago
- ☆43Oct 24, 2025Updated 3 months ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 2 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- Seam carving implemented in rust☆12Apr 19, 2020Updated 5 years ago
- A ratatui widget for drawing a plotters chart☆11Apr 5, 2025Updated 10 months ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- Wikipedia clone for ZeroNet with auto-import☆13Feb 27, 2023Updated 2 years ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated last month
- ☆14Apr 20, 2024Updated last year
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Nov 4, 2024Updated last year
- Keyring program☆10Nov 8, 2024Updated last year
- C++ STL for speed and cryptanalytic application☆11Dec 16, 2025Updated 2 months ago
- Project layout for efficient AI for science☆12Sep 30, 2022Updated 3 years ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated last year
- Nix flake for Solana development☆13Jul 8, 2022Updated 3 years ago
- The code of COMMA: Modeling Relationship among Motivations, Emotions and Actions in Language-based Human Activities. https://aclanthology…☆12Oct 12, 2022Updated 3 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Conversational Agent for Twitter and Discord☆10Updated this week
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- ☆12Nov 26, 2019Updated 6 years ago
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 4 years ago