Projects in Awesome Lists by Okm165
A curated list of projects in awesome lists by Okm165 .
https://github.com/okm165/stone-prover-cairo0-verifier
Integrating Stone Prover's generated proofs with the Cairo0 verifier
Last synced: 26 Feb 2025
https://github.com/okm165/cairo1-cairo0bootloader
Cairo1 execution in Cairo0 environment
bootloader cairo0 cairo1 contract interoperability
Last synced: 26 Feb 2025
https://github.com/okm165/zerosync-starknet
Zerosync-StarkNet Proof Verification Toolkit
Last synced: 26 Feb 2025
https://github.com/okm165/stwo-web-stark
Cairo circuits STWO web demos
cairo circlestark mobile stark wasm web zkvm
Last synced: 02 Jan 2025
https://github.com/okm165/ve_direct
Victron Energy Direct protocol parser and units converter
Last synced: 26 Feb 2025
https://github.com/okm165/jpeg_compressor
rust jpeg compressor for selftech website
Last synced: 26 Feb 2025
https://github.com/okm165/noir_rs
Rust-based zkSNARK Proving&Verifying tool for noir-lang
Last synced: 26 Feb 2025
https://github.com/okm165/sp1-poseidon2
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
Last synced: 29 Mar 2025