Skip to content

@snarkify Snarkify

Change the repository type filter

All

    Repositories list

    32 repositories

    • sirius

      Public
      A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
      cryptographynovaprotostarzero-knowledge-proofszkpproof-systemivc
      Rust
      •
      MIT License
      •20•157•43•13•Updated Feb 6, 2025Feb 6, 2025

    • zksync-era

      Public
      zkSync era
      Rust
      •
      Apache License 2.0
      •2.1k•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • scroll-prover

      Public
      Scroll zkEVM Playground
      Yul
      •
      Apache License 2.0
      •380•0•0•2•Updated Nov 18, 2024Nov 18, 2024

    • poseidon-circuit

      Public
      Rust
      •
      MIT License
      •7•5•0•0•Updated Nov 5, 2024Nov 5, 2024

    • scroll-proving-agent

      Public
      Rust
      •
      Apache License 2.0
      •1•3•0•0•Updated Nov 4, 2024Nov 4, 2024

    • scroll-proving-sdk

      Public
      Rust
      •1•0•0•1•Updated Oct 29, 2024Oct 29, 2024

    • r1cs-std

      Public
      R1CS constraints for bits, fields, and elliptic curves
      Rust
      •
      Apache License 2.0
      •66•0•0•0•Updated Oct 28, 2024Oct 28, 2024

    • scroll

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

    • zprize-2023-prize1b

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

    • sppark

      Public
      Zero-knowledge template library
      Cuda
      •
      Apache License 2.0
      •70•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•2•0•0•Updated Aug 27, 2024Aug 27, 2024

    • halo2

      Public
      Rust
      •
      Other
      •516•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

    • zkevm-circuits

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

    • scroll-poseidon-circuit

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

    • sirius-test-circuits

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

    • zkWasm-host-circuits

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

    • halo2curves

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

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •170•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
      •147•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • halo2-browser

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

    • arkmsm

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

    • proof-systems

      Public
      The proof systems used by Mina
      Rust
      •
      Apache License 2.0
      •112•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