Skip to content

@snarkify Snarkify

Change the repository type filter

All

    Repositories list

    28 repositories

    • sirius

      Public
      A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
      cryptographynovaprotostarzero-knowledge-proofszkpproof-systemivc
      Rust
      •
      MIT License
      •17•119•40•2•Updated Oct 16, 2024Oct 16, 2024

    • scroll

      Public
      Scroll's Monorepo
      Go
      •
      MIT License
      •592•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • zprize-2023-prize1b

      Public
      Rust
      •0•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • sppark

      Public
      Zero-knowledge template library
      Cuda
      •
      Apache License 2.0
      •64•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • sirius-halo2-chip-usage

      Public
      The Sirius Plonkish Folding Framework example, demonstrating the use of a simple halo2 chip
      Rust
      •
      MIT License
      •0•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • sirius-quickstart

      Public
      Minimal example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding
      zkpivczkproof
      Rust
      •
      MIT License
      •0•1•0•0•Updated Aug 27, 2024Aug 27, 2024

    • halo2

      Public
      Rust
      •
      Other
      •495•3•0•1•Updated Aug 23, 2024Aug 23, 2024

    • sirius-fibonacci-example

      Public
      Classic example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding
      Rust
      •
      MIT License
      •0•2•0•0•Updated Aug 22, 2024Aug 22, 2024

    • sirius-simple-example

      Public
      Simple example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding
      Rust
      •
      MIT License
      •0•2•0•0•Updated Aug 22, 2024Aug 22, 2024

    • scroll-prover

      Public
      Scroll zkEVM Playground
      Yul
      •
      Apache License 2.0
      •377•0•0•1•Updated Aug 22, 2024Aug 22, 2024

    • zkevm-circuits

      Public
      Rust
      •
      MIT License
      •854•0•1•1•Updated Aug 22, 2024Aug 22, 2024

    • scroll-poseidon-circuit

      Public
      Poseidon hash circuit
      Rust
      •
      Apache License 2.0
      •36•0•0•0•Updated Jul 31, 2024Jul 31, 2024

    • poseidon-circuit

      Public
      Rust
      •
      MIT License
      •6•4•0•0•Updated Jul 18, 2024Jul 18, 2024

    • sirius-test-circuits

      Public
      Rust
      •0•0•0•0•Updated Jun 21, 2024Jun 21, 2024

    • zkWasm-host-circuits

      Public
      Rust
      •25•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • halo2curves

      Public
      Rust
      •
      MIT License
      •138•0•0•0•Updated May 30, 2024May 30, 2024

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •151•0•0•0•Updated May 30, 2024May 30, 2024

    • axiom-eth

      Public
      Rust
      •
      MIT License
      •41•4•0•1•Updated Feb 9, 2024Feb 9, 2024

    • snark-verifier-cli

      Public
      Rust
      •0•0•0•0•Updated Feb 1, 2024Feb 1, 2024

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •139•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • halo2-browser

      Public
      TypeScript
      •
      MIT License
      •17•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • arkmsm

      Public
      Rust
      •
      Apache License 2.0
      •8•45•1•0•Updated Nov 8, 2023Nov 8, 2023

    • proof-systems

      Public
      The proof systems used by Mina
      Rust
      •
      Apache License 2.0
      •93•0•0•1•Updated May 2, 2023May 2, 2023

    • arkworks-algebra

      Public archive
      Rust
      •
      Apache License 2.0
      •0•0•0•4•Updated Mar 20, 2023Mar 20, 2023

    • snarkify-zprize-2022

      Public archive
      0•0•0•0•Updated Feb 9, 2023Feb 9, 2023

    • wasm-zkp-challenge

      Public archive
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 2, 2022Nov 2, 2022

    • zprize-wasm-snarkify-submission

      Public archive
      JavaScript
      •
      Other
      •0•0•0•0•Updated Nov 1, 2022Nov 1, 2022

    • arkworks-curves

      Public archive
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 1, 2022Sep 1, 2022