Skip to content

@Veridise Veridise

Change the repository type filter

All

    Repositories list

    33 repositories

    • zirgen

      Public
      Zirgen compiler and RISC Zero circuits
      C++
      •
      Apache License 2.0
      •5•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • zk-language-comparison

      Public
      Examples of Mastermind implemented in different ZK languages and frameworks.
      Rust
      •1•4•2•1•Updated Sep 19, 2024Sep 19, 2024

    • circom

      Public
      zkSnark circuit compiler
      Rust
      •
      GNU General Public License v3.0
      •256•1•0•1•Updated Sep 6, 2024Sep 6, 2024

    • 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
      •368•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•6•0•0•Updated Mar 29, 2024Mar 29, 2024

    • Picus

      Public
      Automated verification of uniqueness property for ZKP circuits
      securityblockchainverificationzero-knowledgecircomcircomlib
      Circom
      •
      MIT License
      •10•70•0•1•Updated Mar 13, 2024Mar 13, 2024

    • picus_gnark

      Public
      Utilities to extract Picus constraints from gnark
      Go
      •0•1•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•3•0•0•Updated Nov 3, 2023Nov 3, 2023

    • Coda

      Public
      Coq
      •
      MIT License
      •5•46•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

    • .github

      Public
      0•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•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
      •28•0•0•0•Updated Apr 11, 2023Apr 11, 2023

    • near_audits

      Public
      Public Audits in the NEAR Ecosystem
      8•0•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
      •227•0•0•0•Updated Mar 6, 2023Mar 6, 2023

    • circom2llvm

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

    • V

      Public
      Specifies the semantics of the [V] specification language and provides tooling for the [V] specification language.
      C++
      •
      GNU General Public License v3.0
      •0•4•0•2•Updated Dec 9, 2022Dec 9, 2022

    • zkevm-circuits

      Public
      Rust
      •
      Other
      •857•0•0•0•Updated Nov 14, 2022Nov 14, 2022

    • fluffy-zkevm-fuzzer

      Public
      Fuzzing zkEVM using the Fluffy fuzzer
      C++
      •2•5•0•0•Updated Oct 14, 2022Oct 14, 2022

    • openethereum

      Public
      (deprecated) The fast, light, and robust client for the Ethereum mainnet.
      Rust
      •
      GNU General Public License v3.0
      •358•0•0•0•Updated Oct 14, 2022Oct 14, 2022

    • VInstrumenter

      Public
      C++
      •0•0•0•0•Updated Oct 6, 2022Oct 6, 2022

    • Medjai

      Public
      A Symbolic Execution Tool for Cairo
      securityracketethereumverificationsynthesisrosettezero-knowledgedefistarkwarecairo-lang
      Racket
      •
      GNU General Public License v3.0
      •2•49•0•0•Updated Sep 13, 2022Sep 13, 2022

    • lib-symexec

      Public
      Library for common symbolic execution utilities
      Racket
      •0•3•1•0•Updated Aug 31, 2022Aug 31, 2022

    • Eurus

      Public
      Precise Attack Synthesis for DeFi Apps
      securityethereumsmart-contractsverificationsoliditysynthesisyuldefisymbolic-compilation
      Racket
      •
      GNU General Public License v3.0
      •3•46•0•0•Updated Aug 15, 2022Aug 15, 2022

    • libBlockchain

      Public archive
      Provides information about blockchains to the other analyses
      C++
      •
      GNU General Public License v3.0
      •2•6•0•0•Updated Jul 20, 2022Jul 20, 2022

    • Grants-Program

      Public
      Web3 Foundation Grants Program
      Apache License 2.0
      •2.1k•0•0•0•Updated Mar 24, 2022Mar 24, 2022