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 70 5

  2. Medjai Medjai Public

    Forked from chyanju/__archived__Medjai

    A Symbolic Execution Tool for Cairo

    Racket 49

  3. Eurus Eurus Public

    Precise Attack Synthesis for DeFi Apps

    Racket 46 3

  4. Coda Coda Public

    Coq 46 5

  5. circom2llvm circom2llvm Public

    Compile circom code to llvm partially

    Rust 9 2

  6. vanguard-aleo vanguard-aleo Public

    Static analysis toolkit for security analysis in Aleo programs

    Python 8 6

Repositories

Showing 10 of 33 repositories
  • 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 8 2 2 0 Updated Nov 7, 2024
  • 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 7 0 0 Updated Oct 18, 2024
  • circom Public Forked from iden3/circom

    zkSnark circuit compiler

    Veridise/circom’s past year of commit activity
    Rust 1 GPL-3.0 271 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 397 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 8 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 70 MIT 10 0 1 Updated Mar 13, 2024
  • picus_gnark Public

    Utilities to extract Picus constraints from gnark

    Veridise/picus_gnark’s past year of commit activity
    Go 2 0 0 0 Updated Mar 13, 2024
  • aleo2json Public Forked from AleoNet/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    Veridise/aleo2json’s past year of commit activity
    Rust 0 Apache-2.0 1,605 0 0 Updated Jan 31, 2024
  • proof-of-liability Public
    Veridise/proof-of-liability’s past year of commit activity
    TypeScript 0 Apache-2.0 0 0 0 Updated Nov 29, 2023
View all repositories

People

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