Skip to content
@PositiveSecurity

Positive Security

Web3 security research
README.md

Who are we?

We are a team of distributed ledger security researchers who provide smart contract auditing services on Ethereum, TRON, TON, Hyperledger Fabric platforms.

In our audits we use formal verification and fuzzing methods for deep and comprehensive analysis of code security. We also actively investigate the security of projects with zero knowledge and related cryptography.

We run CTF competitions on various platforms that cover not only the challenges of cracking smart contracts, zero disclosure projects (ZKP) and cryptography, but also aim to develop the formal verification skills of the community.

Contacts:

Pinned Loading

  1. zk-audit-guide zk-audit-guide Public

    Checklist for security audit of ZKP projects by @positivesecurity

    22

  2. tron-audit-guide tron-audit-guide Public

    Checklist for security audit of tron projects by @positivesecurity

    14 1

  3. ton-audit-guide ton-audit-guide Public

    Checklist for security audit of TON projects by @PositiveSecurity

    10

Repositories

Showing 9 of 9 repositories
  • PositiveCTF Public

    A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.

    PositiveSecurity/PositiveCTF’s past year of commit activity
    Solidity 6 2 0 0 Updated Oct 2, 2024
  • ConCert Public Forked from AU-COBRA/ConCert

    A verified implementation of the DEX/AMM protocol in ConCert

    PositiveSecurity/ConCert’s past year of commit activity
    Coq 3 MIT 19 0 0 Updated Sep 25, 2024
  • .github Public
    PositiveSecurity/.github’s past year of commit activity
    0 0 0 0 Updated Sep 16, 2024
  • ton-audit-guide Public

    Checklist for security audit of TON projects by @PositiveSecurity

    PositiveSecurity/ton-audit-guide’s past year of commit activity
    10 0 0 0 Updated Sep 16, 2024
  • zk-audit-guide Public

    Checklist for security audit of ZKP projects by @PositiveSecurity

    PositiveSecurity/zk-audit-guide’s past year of commit activity
    22 0 0 0 Updated Sep 12, 2024
  • tron-audit-guide Public

    Checklist for security audit of tron projects by @PositiveSecurity

    PositiveSecurity/tron-audit-guide’s past year of commit activity
    14 1 0 0 Updated Sep 11, 2024
  • discussions Public
    PositiveSecurity/discussions’s past year of commit activity
    0 0 0 0 Updated Jul 29, 2024
  • blockscout-go-api Public

    Golang client for Blockscout API

    PositiveSecurity/blockscout-go-api’s past year of commit activity
    Go 1 MIT 2 0 0 Updated Apr 6, 2024
  • LICENSE Public

    Open Source License from Positive Security

    PositiveSecurity/LICENSE’s past year of commit activity
    0 0 0 0 Updated Sep 21, 2023

Top languages

Loading…

Most used topics

Loading…