Skip to content

@iosis-tech Iosis-Tech

Change the repository type filter

All

    Repositories list

    16 repositories

    • swiftness

      Public
      Cairo-VM STARK Verifier Rust implementation
      ruststarkzkverifiercairo-vm
      Rust
      •
      Apache License 2.0
      •8•37•1•2•Updated Oct 21, 2024Oct 21, 2024

    • swiftness-web

      Public
      Web Cairo-VM Stark Verifier
      mobilewebstarkverifiercairovm
      TypeScript
      •0•0•0•0•Updated Sep 29, 2024Sep 29, 2024

    • zetina

      Public
      Shared peer-to-peer network of zero-knowledge provers
      networkp2pstarkproverzk
      Cairo
      •
      Apache License 2.0
      •1•15•1•1•Updated Aug 19, 2024Aug 19, 2024

    • pathfinder-starknet-node-service

      Public
      0•0•0•0•Updated Aug 13, 2024Aug 13, 2024

    • buildkit

      Public
      Shell
      •0•0•0•0•Updated Aug 12, 2024Aug 12, 2024

    • stone-prover

      Public
      C++
      •
      Apache License 2.0
      •76•0•0•0•Updated Aug 4, 2024Aug 4, 2024

    • kubespray

      Public
      Deploy a Production Ready Kubernetes Cluster
      Jinja
      •
      Apache License 2.0
      •6.5k•0•0•1•Updated Aug 4, 2024Aug 4, 2024

    • aligned_layer

      Public
      Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..
      Rust
      •
      MIT License
      •342•0•0•1•Updated Jul 13, 2024Jul 13, 2024

    • ethereum-node-service

      Public
      0•0•0•0•Updated May 23, 2024May 23, 2024

    • aleph-zero-node-service

      Public
      0•0•0•0•Updated Apr 29, 2024Apr 29, 2024

    • noir_rs

      Public
      Rust-based zkSNARK Proving&Verifying tool for noir-lang
      Rust
      •
      Apache License 2.0
      •4•2•0•0•Updated Apr 27, 2024Apr 27, 2024

    • azero-utils

      Public
      Utility package designed to facilitate interaction within the Aleph zero ecosystem
      TypeScript
      •0•0•0•0•Updated Apr 20, 2024Apr 20, 2024

    • cairo-vm

      Public
      cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
      Rust
      •
      Apache License 2.0
      •148•0•0•0•Updated Apr 15, 2024Apr 15, 2024

    • rook

      Public
      Storage Orchestration for Kubernetes
      Go
      •
      Apache License 2.0
      •2.7k•0•0•0•Updated Apr 13, 2024Apr 13, 2024

    • juno-starknet-node-service

      Public
      0•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • papyrus-starknet-node-service

      Public
      0•0•0•0•Updated Apr 2, 2024Apr 2, 2024