Skip to content

@Veneris-Group Veneris-Group

Change the repository type filter

All

    Repositories list

    3 repositories

    • TOD-Location-Rectification

      Public
      A repository for the work on locating Ponzi scheme TOD vulnerabilities and rectifying them.
      Solidity
      •1•8•0•0•Updated Dec 19, 2023Dec 19, 2023

    • Move-Gas-Optimization-Patterns

      Public
      Move
      •
      MIT License
      •0•2•0•0•Updated Jun 18, 2023Jun 18, 2023

    • VeriMove

      Public
      Tool for the synthesis and verification of Move smart contracts
      JavaScript
      •
      Other
      •4•0•0•0•Updated Jul 5, 2022Jul 5, 2022