Skip to content
@Veneris-Group

Veneris-Group

Popular repositories Loading

  1. TOD-Location-Rectification TOD-Location-Rectification Public

    A repository for the work on locating Ponzi scheme TOD vulnerabilities and rectifying them.

    Solidity 8 1

  2. Move-Gas-Optimization-Patterns Move-Gas-Optimization-Patterns Public

    Move 2

  3. VeriMove VeriMove Public

    Forked from ekeilty17/move-smart-contracts

    Tool for the synthesis and verification of Move smart contracts

    JavaScript

Repositories

Showing 3 of 3 repositories
  • TOD-Location-Rectification Public

    A repository for the work on locating Ponzi scheme TOD vulnerabilities and rectifying them.

    Veneris-Group/TOD-Location-Rectification’s past year of commit activity
    Solidity 8 1 0 0 Updated Dec 19, 2023
  • Move-Gas-Optimization-Patterns Public
    Veneris-Group/Move-Gas-Optimization-Patterns’s past year of commit activity
    Move 2 MIT 0 0 0 Updated Jun 18, 2023
  • VeriMove Public Forked from ekeilty17/move-smart-contracts

    Tool for the synthesis and verification of Move smart contracts

    Veneris-Group/VeriMove’s past year of commit activity
    JavaScript 0 4 0 0 Updated Jul 5, 2022

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…