Skip to content

@Veridise Veridise

Change the repository type filter

All

    Repositories list

    43 repositories

    • llzk-lib

      Public
      Library for parsing, generating, and analyzing LLZK code.
      C++
      •
      Apache License 2.0
      •3•13•7•2•Updated Aug 18, 2025Aug 18, 2025

    • llzk-rs

      Public
      LLZK's Rust SDK
      Rust
      •
      Apache License 2.0
      •0•1•0•1•Updated Aug 15, 2025Aug 15, 2025

    • AuditHub-Client

      Public
      An API and CLI client for Veridise AuditHub.
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 5, 2025Aug 5, 2025

    • melior

      Public
      The rustic MLIR bindings in Rust
      Rust
      •
      Apache License 2.0
      •51•0•0•0•Updated Jul 29, 2025Jul 29, 2025

    • circom

      Public
      zkSnark circuit compiler
      Rust
      •
      GNU General Public License v3.0
      •329•1•0•2•Updated Jun 24, 2025Jun 24, 2025

    • .github

      Public
      0•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • fcmp-plus-plus

      Public
      Rust
      •
      Other
      •0•0•0•0•Updated Jun 3, 2025Jun 3, 2025

    • zirgen-to-llzk

      Public
      MLIR modules for transforming Zirgen to LLZK
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 2, 2025Jun 2, 2025

    • mlir-sys

      Public
      Rust bindings to the MLIR C API.
      Rust
      •
      MIT License
      •28•0•0•0•Updated May 20, 2025May 20, 2025

    • open-source-release-helpers

      Public
      Utilities for changelog generation and release creation for open-source projects maintained by Veridise.
      Python
      •
      MIT License
      •0•0•0•0•Updated May 12, 2025May 12, 2025

    • sp1-llzk

      Public
      Plonky3 to LLZK translation module
      Rust
      •0•1•1•0•Updated Apr 25, 2025Apr 25, 2025

    • llzk-nix-pkgs

      Public
      Nix flake containing packages used in LLZK projects.
      Nix
      •
      MIT License
      •0•0•0•0•Updated Apr 2, 2025Apr 2, 2025

    • zk-language-comparison

      Public
      Examples of Mastermind implemented in different ZK languages and frameworks.
      Rust
      •4•13•2•0•Updated Mar 26, 2025Mar 26, 2025

    • zirgen

      Public
      Zirgen compiler and RISC Zero circuits
      C++
      •
      Apache License 2.0
      •26•0•0•0•Updated Jan 27, 2025Jan 27, 2025

    • gnark

      Public
      gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
      Go
      •
      Apache License 2.0
      •462•1•0•0•Updated Jul 25, 2024Jul 25, 2024

    • soroban_stale_dep

      Public
      Soroban stale dependency issue
      Rust
      •0•0•0•0•Updated May 16, 2024May 16, 2024

    • vanguard-aleo

      Public
      Static analysis toolkit for security analysis in Aleo programs
      Python
      •
      GNU General Public License v3.0
      •6•9•0•0•Updated Mar 29, 2024Mar 29, 2024

    • Picus

      Public
      Automated verification of uniqueness property for ZKP circuits
      securityblockchainverificationzero-knowledgecircomcircomlib
      Circom
      •
      MIT License
      •16•86•0•3•Updated Mar 13, 2024Mar 13, 2024

    • picus_gnark

      Public
      Utilities to extract Picus constraints from gnark
      Go
      •0•4•0•0•Updated Mar 13, 2024Mar 13, 2024

    • aleo2json

      Public
      A Virtual Machine for Zero-Knowledge Executions
      Rust
      •
      Apache License 2.0
      •1.5k•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • proof-of-liability

      Public
      TypeScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

    • zk-secureum-workshop-23-quiz-sources

      Public
      Solidity
      •1•4•0•0•Updated Nov 3, 2023Nov 3, 2023

    • Coda

      Public
      Coq
      •
      MIT License
      •5•48•1•0•Updated Aug 31, 2023Aug 31, 2023

    • pip-cairo-lang

      Public
      Cairo Pip Package with Symbolic Support
      Python
      •1•0•0•0•Updated Aug 17, 2023Aug 17, 2023

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •14k•0•0•0•Updated Jun 7, 2023Jun 7, 2023

    • InkPreprocessor

      Public
      LLVM
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • zkinterface

      Public
      zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
      C++
      •
      MIT License
      •30•1•0•0•Updated Apr 11, 2023Apr 11, 2023

    • near_audits

      Public
      Public Audits in the NEAR Ecosystem
      9•1•0•0•Updated Apr 7, 2023Apr 7, 2023

    • inkwell

      Public
      It's a New Kind of Wrapper for Exposing LLVM (Safely)
      Rust
      •
      Apache License 2.0
      •250•0•0•0•Updated Mar 6, 2023Mar 6, 2023

    • circom2llvm

      Public
      Compile circom code to llvm partially
      Rust
      •
      Apache License 2.0
      •2•12•0•1•Updated Feb 14, 2023Feb 14, 2023