#

validation-tools

Here are 2 public repositories matching this topic...

MarDuer / kiro-project-template-system

A comprehensive template system for structured project development with Kiro, featuring spec-driven development methodology, guided decision-making, and quality assurance throughout all project phases. Currently untested because it was created just for fun on an Sunday afternoon

python documentation automation best-practices templates ci-cd project-management property-based-testing software-engineering development-workflow quality-assurance template-system markdown-templates ai-collaboration spec-driven-development kiro validation-tools projec-templates

Updated Jan 25, 2026
Python

sirjanhansda / zkir-prover

🔍 Generate STARK proofs from ZK IR execution traces using a multi-chip architecture optimized for 32-bit integers and the Baby Bear field.

cryptography privacy peer-to-peer ethereum smart-contracts blockchain cryptographic-algorithms zero-knowledge consensus-algorithms provable-security zk-snark decentralized-apps scalable-solutions validation-tools zk-proof-systems

Updated Aug 22, 2026
Rust

Improve this page

Add a description, image, and links to the validation-tools topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the validation-tools topic, visit your repo's landing page and select "manage topics."