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

  2. Medjai Medjai Public

    Forked from chyanju/__archived__Medjai

    A Symbolic Execution Tool for Cairo

    Racket 47

  3. Eurus Eurus Public

    Precise Attack Synthesis for DeFi Apps

    Racket 45 3

  4. Coda Coda Public

    Coq 41 5

  5. circom2llvm circom2llvm Public

    Compile circom code to llvm partially

    Rust 7 1

  6. libBlockchain libBlockchain Public archive

    Provides information about blockchains to the other analyses

    C++ 6 2

Repositories

Showing 10 of 31 repositories
  • circom Public Forked from iden3/circom

    zkSnark circuit compiler

    Veridise/circom’s past year of commit activity
    Rust 0 GPL-3.0 230 0 1 Updated Jun 28, 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 351 0 0 Updated Jun 20, 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 5 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 60 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 1 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,558 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
  • zk-secureum-workshop-23-quiz-sources Public
    Veridise/zk-secureum-workshop-23-quiz-sources’s past year of commit activity
    Solidity 3 1 0 0 Updated Nov 3, 2023
  • Coda Public
    Veridise/Coda’s past year of commit activity
    Coq 41 MIT 5 1 0 Updated Aug 31, 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.