starkoracles/starknet-miden-verifier

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

CairoRustPythonTypeScriptOtherstarkzero-knowledgeproof-systemcairo-langstarknetmiden
This is stars and forks stats for /starkoracles/starknet-miden-verifier repository. As of 27 Apr, 2024 this repository has 36 stars and 2 forks.

Aero A Blazingly fast toolkit for running proofs in the browser and verifying them on-chain. Miden verifier on Starknet MidenVM is an MIT licensed StarkVM which can now be verified on Starknet. The code in the project is incomplete, DO NOT USE IN PRODUCTION!!! Why should you care? Composability - Different zkVMs take different design trade-offs. Making Miden proofs verifiable on Starknet increases the design space application can be built. For example, certain VMs might make trade-offs that make...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
thoughtworks/build-your-own-radarCSSJavaScriptSCSS1.9k+7957+1
zju3dv/dymapCudaPythonC++209+290
Usaid-Dev/google_mapDartC++CMake460140
devops-bh/integrated-project-3EJSJavaScriptOther1050
mgechev/reviveGoOther4.4k02650
retrohacker/templateTypeScriptJavaScriptHTML476090
danny-avila/chatgpt-cloneTypeScriptJavaScriptCSS1.8k+44516+7
mlc-ai/web-stable-diffusionJupyter NotebookPythonJavaScript3.1k+21770
CERN/TIGREMATLABCudaPython44101570
Ensembl/ensemblPerlOther740770