Skip to content
@BlockchainVP

BlockchainVP

README.md

Hi there 👋

This is a blockchain verification project. The project consists of three main parts:

  • 🌈 Crypto Algorithms Library verification.
  • 👩‍💻 Zero-knowledge proof compiler verification.
  • 🍿 Smart Contract verification.

All projects in the organization are maintained by five blockchain masters and apprentices🤓

Popular repositories Loading

  1. slither slither Public

    Forked from crytic/slither

    Static Analyzer for Solidity and Vyper

    Python

  2. .github .github Public

    Blockchain-verification-project

  3. zk-playground zk-playground Public

    Forked from alexroan/zk-playground

    Simple ZK Smart Contacts

    Solidity

  4. building-secure-contracts building-secure-contracts Public

    Forked from crytic/building-secure-contracts

    Guidelines and training material to write secure smart contracts

    Solidity

  5. DeFiTainter DeFiTainter Public

    Forked from kongqp/DeFiTainter

    DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols

    HTML

  6. EtherSolve EtherSolve Public

    Forked from SeUniVr/EtherSolve

    Source code of EtherSolve: static analysis of Ethereum bytecode

    Java

Repositories

Showing 10 of 12 repositories
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…