Experimental SNARK combat for DawnSeekers/The Crypt using Action-Claim pattern and off-chain data
☆17Nov 29, 2022Updated 3 years ago
Alternatives and similar repositories for exp-snark-combat
Users that are interested in exp-snark-combat are comparing it to the libraries listed below
Sorting:
- Downstream Game Client☆22Nov 18, 2025Updated 3 months ago
- ☆36Apr 16, 2023Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- ☆23Jan 15, 2024Updated 2 years ago
- ☆35Feb 3, 2026Updated last month
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- A naive bloom filter implementation in Cairo☆37May 28, 2022Updated 3 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.☆39May 2, 2023Updated 2 years ago
- Infrastructure code used to setup EIP4844 dev/testnets.☆40Mar 20, 2024Updated last year
- MPED DIY DCC decoders☆12May 11, 2025Updated 9 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- springboot2.0集成security实现权限管理,集成outh2.0实现授权,集成swagger2.0文档生成,集成websocket即时通信,集成jwt权限认证,集成rabbitmq消息队列,集成spring-data-jpa。☆12Feb 26, 2019Updated 7 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆17Updated this week
- common lisp bindings for Oculus Rift SDK's LibOVR☆11Sep 12, 2015Updated 10 years ago
- Dope Wars game engine on StarkNet L2 roll-up☆107May 16, 2022Updated 3 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- Ad Marketplace powered by Harberger tax ownership (built @ ETHSF hackathon 2018)☆13Oct 20, 2018Updated 7 years ago
- ☆10Nov 18, 2018Updated 7 years ago
- GitHub Action to format Cairo files 💄☆12Aug 23, 2022Updated 3 years ago
- Interoperability Test for Braid Protocol☆12Dec 10, 2022Updated 3 years ago
- Scripts for using some ShaderToy shaders in GStreamer☆10Jun 16, 2018Updated 7 years ago
- a getting-started sample for Clojure and Solr☆11Aug 28, 2015Updated 10 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- ☆11Jun 2, 2018Updated 7 years ago
- A framework for live coding and application development in SuperCollider☆11Mar 10, 2021Updated 4 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 3 months ago
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated last year
- HTM Learning Algorithm Implementation for learning and generating musical sequences☆10Apr 14, 2015Updated 10 years ago
- ☆10Jun 22, 2025Updated 8 months ago
- Frontend for ENS Nifty dapp☆13Dec 9, 2022Updated 3 years ago
- Textmate Bundle for CodeIgniter 1.7.0 update to: http://www.sellersrank.com/codeigniter-textmate-bundle-download/☆25Apr 2, 2009Updated 16 years ago
- Common Lisp library for creative coding.☆13Aug 7, 2013Updated 12 years ago
- ☆10Dec 9, 2022Updated 3 years ago
- ☆11Sep 14, 2025Updated 5 months ago
- Particle Untiy SDK☆11Nov 11, 2024Updated last year
- Serverless function powering the quadratic voting app☆10Jan 9, 2023Updated 3 years ago