Okm165

Cryptography Engineer | Crafting silence

Poland, Kraków

Pinned Repositories

integrity
Cairo STARK proof verifier for Starknet
Language:Cairo68 2 4623
swiftness
Cairo-VM STARK Verifier Rust implementation
Language:Rust37 4 210
zetina
Shared peer-to-peer network of zero-knowledge provers
Language:Cairo17 2 21
applicative_bootloader
Cairo0 applicative recursion - minimal example
Language:Cairo3 1 00
aztec-packages
Language:C++1 0 00
cairo-verifier
Language:Cairo1 0 00
cairo1-cairo0bootloader
Cairo1 execution in Cairo0 environment
Language:Cairo11 1 13
hdp-cairo
Language:Cairo1 0 00
stone-prover-cairo0-verifier
Integrating Stone Prover's generated proofs with the Cairo0 verifier
10 2 25
zerosync-starknet
Zerosync-StarkNet Proof Verification Toolkit
Language:Cairo4 1 00

Okm165's Repositories

Okm165/Reed_Solomon_codes
Language:C++
Okm165/pandemic
pandemic project
Okm165/BitcoinNodeC
Language:C++
Okm165/BitcoinNodePy
bitcoin node interpreter
Language:Python
Okm165/NeuralNetwork
neural network code
Language:C++