A literate and test-driven implementation of ZK-STARKs
☆43Apr 18, 2020Updated 6 years ago
Alternatives and similar repositories for zkstarks
Users that are interested in zkstarks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Playwright Copilot is a Visual Studio Code extension that accelerates BDD (Behavior Driven Development) testing with AI-generated code su…☆34Updated this week
- ☆12Nov 16, 2020Updated 5 years ago
- Samples of how to sign data and later verifies it using ECDSA and Keccak256 and how to encrypt and decrypt using EC and secp256k1 paramet…☆16Dec 28, 2023Updated 2 years ago
- A simple, script-driven continuous integration (build - > test -> release) tool, with no external dependencies.☆14Dec 4, 2016Updated 9 years ago
- ☆10Sep 5, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementing Homomorphic Encryption in Golang☆80Jan 2, 2022Updated 4 years ago
- MSA, Event Sourcing, Domain Driven Design example application written using Test-Driven Development - TDD and Inversion of Control and De…☆12Mar 30, 2022Updated 4 years ago
- a library which can be used to create story driven clustered load-testing packages through a very readable and understandable api.☆30May 20, 2010Updated 16 years ago
- Open source implementation of zkSTARKs in pure Rust☆84Dec 15, 2023Updated 2 years ago
- Examples for Web Acceptance Testing with Geb☆15Nov 17, 2015Updated 10 years ago
- 🐿️ A pure golang implementation of TFHE Fully Homomorphic Encryption Scheme☆107Nov 5, 2025Updated 6 months ago
- Zcash Golang Signer☆13Oct 22, 2025Updated 7 months ago
- Java implementation for KillrVideo project☆11Jun 4, 2018Updated 7 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Web app for visualization the state of the Penumbra DEX☆12Apr 10, 2025Updated last year
- Simple language collation for Go☆13Nov 3, 2020Updated 5 years ago
- RDT is a REPL-Driven Test library for Clojure☆13Feb 1, 2024Updated 2 years ago
- ☆16Jan 4, 2024Updated 2 years ago
- ☆14Updated this week
- A Rust implementation of the Gravity-post-quantum signature schemes☆19May 6, 2026Updated 3 weeks ago
- My physics driven animation test project, fully original. Obey the licence if anyone wanted to checkout.☆10Dec 16, 2021Updated 4 years ago
- 🚧 SysML parser for Rust.☆14Jul 12, 2025Updated 10 months ago
- Collector of Samples showcasing Metrics-Driven Continuous Delivery with Dynatrace Test Automation☆10Apr 28, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ETHAuth -- self-signed authorization proofs☆17Feb 13, 2026Updated 3 months ago
- ☆237Jul 27, 2023Updated 2 years ago
- The Little (Go) Book of Semaphores☆10Nov 8, 2015Updated 10 years ago
- A guide to creating a server using Test Driven Development☆11May 6, 2021Updated 5 years ago
- Scala Test Driven Development published by PACKT☆14Jan 30, 2023Updated 3 years ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Zero-knowledge arithmetic circuit implementation for web-based Battleship game☆16Feb 15, 2022Updated 4 years ago
- MockServer, HTTP(s) Proxy, API record, JSON server, Customer driven test - PACT record generate,☆15Dec 19, 2016Updated 9 years ago
- A golang implementation of a sparse merkle tree☆56Dec 27, 2018Updated 7 years 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.
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆660Apr 23, 2024Updated 2 years ago
- A logging wrapper for winston.☆14Jul 14, 2017Updated 8 years ago
- A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell☆19Dec 20, 2014Updated 11 years ago
- Spring MVC + Mustache example☆15Jun 27, 2016Updated 9 years ago
- Embed your NFT art anywhere, generate preview for oldschool platforms☆14Jan 24, 2026Updated 4 months ago
- A primitive implementation of the Trie data structure in Golang.☆13Sep 2, 2018Updated 7 years ago
- Yotta BC is a mining monitoring and management software designed by goldshell development team. It can help our cutomers to control golds…☆14Jan 19, 2022Updated 4 years ago