Skip to content
@CertiKProject

CertiK

Certified Kits for Blockchains

Popular repositories Loading

  1. certik-a-tour-of-solidity-tutorials certik-a-tour-of-solidity-tutorials Public

    16 10

  2. zkwasm-fv zkwasm-fv Public

    Formal verification of the zkWasm project

    Coq 10 2

  3. Certified-DeFi Certified-DeFi Public

    A Certified Version of Uniswap V2: A Leap Forward in True Decentralization

    TeX 5 3

  4. SWC-registry SWC-registry Public archive

    Forked from SmartContractSecurity/SWC-registry

    CertiK Extended Smart Contract Weakness Classification and Test Cases

    Solidity 4 2

  5. arbitrage-bot arbitrage-bot Public archive

    Python 3 2

  6. validator-directory validator-directory Public

    Forked from bnb-chain/validator-directory

    validator-directory

    2 2

Repositories

Showing 10 of 28 repositories
  • lightbox_public Public

    This repo is for lightbox users to create their PR

    CertiKProject/lightbox_public’s past year of commit activity
    0 1 0 0 Updated Sep 24, 2024
  • zkwasm-fv Public

    Formal verification of the zkWasm project

    CertiKProject/zkwasm-fv’s past year of commit activity
    Coq 10 2 0 0 Updated Aug 13, 2024
  • erigon Public Forked from chuwt/erigon

    Ethereum implementation on the efficiency frontier

    CertiKProject/erigon’s past year of commit activity
    Go 0 LGPL-3.0 1,255 0 0 Updated Jul 8, 2024
  • slither-certik Public Forked from crytic/slither

    CertiK fork of Slither Analyzer

    CertiKProject/slither-certik’s past year of commit activity
    Python 2 AGPL-3.0 1,027 0 0 Updated Jun 17, 2024
  • hello-20world Public
    CertiKProject/hello-20world’s past year of commit activity
    Solidity 0 0 0 0 Updated Apr 15, 2024
  • ultimate Public Forked from ultimate-pa/ultimate

    The Ultimate program analysis framework.

    CertiKProject/ultimate’s past year of commit activity
    Java 0 43 0 0 Updated Jan 23, 2024
  • smartbugs-certik Public Forked from smartbugs/smartbugs

    SmartBugs: A Framework to Analyze Ethereum Smart Contracts

    CertiKProject/smartbugs-certik’s past year of commit activity
    Python 0 Apache-2.0 142 0 0 Updated Sep 27, 2023
  • FAR Public

    Documents supporting the FAR(Freeze-Asset_Request) technical standard

    CertiKProject/FAR’s past year of commit activity
    0 MIT 0 0 0 Updated Sep 1, 2023
  • action-required-review Public Forked from Automattic/action-required-review

    GitHub Action that will check if all review requirements are met for a PR. This repository is a mirror of component in monorepo: https://github.com/automattic/jetpack

    CertiKProject/action-required-review’s past year of commit activity
    JavaScript 0 22 0 0 Updated Jul 13, 2023
  • solc-select Public Forked from crytic/solc-select

    Manage and switch between Solidity compiler versions

    CertiKProject/solc-select’s past year of commit activity
    Python 0 AGPL-3.0 109 0 3 Updated May 24, 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.

Top languages

Loading…

Most used topics

Loading…