Pinned Repositories
arbitrage-bot
Certified-DeFi
A Certified Version of Uniswap V2: A Leap Forward in True Decentralization
certik-a-tour-of-solidity-tutorials
CTF_MOVEMENT_2022
CTF_MOVEMENT_2022
move-prover-blog
Source code repository for CertiK's blog on the Move Prover
shentu
A Cross-chain Protocol with Security Scoring and Decentralized Reimbursements for Building Secure dApps and Blockchains
slither-certik
CertiK fork of Slither Analyzer
SWC-registry
CertiK Extended Smart Contract Weakness Classification and Test Cases
validator-directory
validator-directory
zkwasm-fv
Formal verification of the zkWasm project
CertiKProject's Repositories
CertiKProject/certik-a-tour-of-solidity-tutorials
CertiKProject/zkwasm-fv
Formal verification of the zkWasm project
CertiKProject/Certified-DeFi
A Certified Version of Uniswap V2: A Leap Forward in True Decentralization
CertiKProject/SWC-registry
CertiK Extended Smart Contract Weakness Classification and Test Cases
CertiKProject/arbitrage-bot
CertiKProject/move-prover-blog
Source code repository for CertiK's blog on the Move Prover
CertiKProject/shentu
A Cross-chain Protocol with Security Scoring and Decentralized Reimbursements for Building Secure dApps and Blockchains
CertiKProject/slither-certik
CertiK fork of Slither Analyzer
CertiKProject/validator-directory
validator-directory
CertiKProject/CTF_MOVEMENT_2022
CTF_MOVEMENT_2022
CertiKProject/MOVE-CTF-2022
MOVE-CTF-2022
CertiKProject/SmartPulseTool
CertiKProject/FAR
Documents supporting the FAR(Freeze-Asset_Request) technical standard
CertiKProject/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/crytic-compile
Abstraction layer for smart contract build systems
CertiKProject/datadog-api-client-typescript
Typescript client for the Datadog API
CertiKProject/echidna_fuzzer
Ethereum smart contract fuzzer
CertiKProject/erigon
Ethereum implementation on the efficiency frontier
CertiKProject/hello-20world
CertiKProject/ocaml-solidity
CertiK fork of the ocaml-solidity parser.
CertiKProject/smartbugs-certik
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
CertiKProject/solc-select
Manage and switch between Solidity compiler versions
CertiKProject/test_vulnerable
vulnerable projects to test defect_tester
CertiKProject/ultimate
The Ultimate program analysis framework.
CertiKProject/vercel_ruby
WIP Vercel Serverless Functions written in Ruby
CertiKProject/yara
The pattern matching swiss knife
CertiKProject/yara-python
The Python interface for YARA