Skip to content
@Veridise

Veridise

Hardening Blockchain Security with Formal Methods

Popular repositories Loading

  1. Picus Picus Public

    Forked from chyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Circom 76 5

  2. Medjai Medjai Public

    Forked from chyanju/__archived__Medjai

    A Symbolic Execution Tool for Cairo

    Racket 51

  3. Eurus Eurus Public

    Precise Attack Synthesis for DeFi Apps

    Racket 47 3

  4. Coda Coda Public

    Coq 47 5

  5. circom2llvm circom2llvm Public

    Compile circom code to llvm partially

    Rust 12 2

  6. zk-language-comparison zk-language-comparison Public

    Examples of Mastermind implemented in different ZK languages and frameworks.

    Rust 11 4

Repositories

Showing 10 of 36 repositories
  • open-source-release-helpers Public

    Utilities for changelog generation and release creation for open-source projects maintained by Veridise.

    Veridise/open-source-release-helpers’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 22, 2025
  • AuditHub-Client Public

    An API and CLI client for Veridise AuditHub.

    Veridise/AuditHub-Client’s past year of commit activity
    Python 0 GPL-3.0 0 0 1 Updated Apr 18, 2025
  • llzk-nix-pkgs Public

    Nix flake containing packages used in LLZK projects.

    Veridise/llzk-nix-pkgs’s past year of commit activity
    Nix 0 MIT 0 0 0 Updated Apr 2, 2025
  • zk-language-comparison Public

    Examples of Mastermind implemented in different ZK languages and frameworks.

    Veridise/zk-language-comparison’s past year of commit activity
    Rust 11 4 2 0 Updated Mar 26, 2025
  • zirgen Public Forked from risc0/zirgen

    Zirgen compiler and RISC Zero circuits

    Veridise/zirgen’s past year of commit activity
    C++ 0 Apache-2.0 20 0 0 Updated Jan 27, 2025
  • circom Public Forked from iden3/circom

    zkSnark circuit compiler

    Veridise/circom’s past year of commit activity
    Rust 1 GPL-3.0 317 0 1 Updated Sep 6, 2024
  • gnark Public Forked from Consensys/gnark

    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

    Veridise/gnark’s past year of commit activity
    Go 1 Apache-2.0 445 0 0 Updated Jul 25, 2024
  • soroban_stale_dep Public

    Soroban stale dependency issue

    Veridise/soroban_stale_dep’s past year of commit activity
    Rust 0 0 0 0 Updated May 16, 2024
  • vanguard-aleo Public

    Static analysis toolkit for security analysis in Aleo programs

    Veridise/vanguard-aleo’s past year of commit activity
    Python 9 GPL-3.0 6 0 0 Updated Mar 29, 2024
  • Picus Public Forked from chyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Veridise/Picus’s past year of commit activity
    Circom 76 MIT 10 0 1 Updated Mar 13, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…