CertiK
Popular repositories Loading
-
-
rocq_zkvm_tactics
rocq_zkvm_tactics PublicWork for the Ethereum Foundation zkvm rocq tactic grants
Rocq Prover 6
-
SWC-registry
SWC-registry Public archiveForked from SmartContractSecurity/SWC-registry
CertiK Extended Smart Contract Weakness Classification and Test Cases
-
-
validator-directory
validator-directory PublicForked from bnb-chain/validator-directory
validator-directory
-
shentu
shentu PublicForked from shentufoundation/shentu
A Cross-chain Protocol with Security Scoring and Decentralized Reimbursements for Building Secure dApps and Blockchains
Repositories
- vostd Public Forked from asterinas/vostd
A community preview of ongoing formal verification efforts for Asterinas
CertiKProject/vostd’s past year of commit activity - affine-certik-fork Public Forked from toeverything/AFFiNE
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
CertiKProject/affine-certik-fork’s past year of commit activity - stump-the-auditor-contracts Public
CertiKProject/stump-the-auditor-contracts’s past year of commit activity
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…