Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Veridise

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@Veridise

Veridise

Hardening Blockchain Security with Formal Methods

Popular repositoriesLoading

  1. PicusPicusPublic

    Forked fromchyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Circom 75 5

  2. MedjaiMedjaiPublic

    Forked fromchyanju/__archived__Medjai

    A Symbolic Execution Tool for Cairo

    Racket 51

  3. EurusEurusPublic

    Precise Attack Synthesis for DeFi Apps

    Racket 47 3

  4. CodaCodaPublic

    Coq 47 5

  5. circom2llvmcircom2llvmPublic

    Compile circom code to llvm partially

    Rust 11 2

  6. zk-language-comparisonzk-language-comparisonPublic

    Examples of Mastermind implemented in different ZK languages and frameworks.

    Rust 9 3

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 34 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 9 3 2 1 UpdatedMar 14, 2025
  • AuditHub-Client Public

    An API and CLI client for Veridise AuditHub.

    Veridise/AuditHub-Client’s past year of commit activity
    Python0GPL-3.00 0 0 UpdatedMar 13, 2025
  • zirgen Public Forked fromrisc0/zirgen

    Zirgen compiler and RISC Zero circuits

    Veridise/zirgen’s past year of commit activity
    C++0Apache-2.0 17 0 0 UpdatedJan 27, 2025
  • circom Public Forked fromiden3/circom

    zkSnark circuit compiler

    Veridise/circom’s past year of commit activity
    Rust 1GPL-3.0 306 0 1 UpdatedSep 6, 2024
  • gnark Public Forked fromConsensys/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 1Apache-2.0 437 0 0 UpdatedJul 25, 2024
  • soroban_stale_dep Public

    Soroban stale dependency issue

    Veridise/soroban_stale_dep’s past year of commit activity
    Rust00 0 0 UpdatedMay 16, 2024
  • vanguard-aleo Public

    Static analysis toolkit for security analysis in Aleo programs

    Veridise/vanguard-aleo’s past year of commit activity
    Python 8GPL-3.0 6 0 0 UpdatedMar 29, 2024
  • Picus Public Forked fromchyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Veridise/Picus’s past year of commit activity
    Circom 75MIT 10 0 1 UpdatedMar 13, 2024
  • picus_gnark Public

    Utilities to extract Picus constraints from gnark

    Veridise/picus_gnark’s past year of commit activity
    Go 30 0 0 UpdatedMar 13, 2024
  • aleo2json Public Forked fromProvableHQ/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    Veridise/aleo2json’s past year of commit activity
    Rust0Apache-2.0 1,618 0 0 UpdatedJan 31, 2024

People

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

[8]ページ先頭
©2009-2025 Movatter.jp