Skip to content
View Okm165's full-sized avatar
🛠️
🛠️

Organizations

@visoftsolutions

Block or report Okm165

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. HerodotusDev/integrity HerodotusDev/integrity Public

    Cairo STARK proof verifier for Starknet

    Cairo 68 23

  2. stone-prover-cairo0-verifier stone-prover-cairo0-verifier Public

    Integrating Stone Prover's generated proofs with the Cairo0 verifier

    10 5

  3. iosis-tech/zetina iosis-tech/zetina Public

    Shared peer-to-peer network of zero-knowledge provers

    Cairo 16 1

  4. iosis-tech/swiftness iosis-tech/swiftness Public

    Cairo-VM STARK Verifier Rust implementation

    Rust 37 10

  5. applicative_bootloader applicative_bootloader Public

    Cairo0 applicative recursion - minimal example

    Cairo 3

  6. sp1-playground sp1-playground Public

    Implementation of Poseidon2 precompile and SHA2 constraints optimizations

    Rust