Skip to content

@Zellic Zellic

Change the repository type filter

All

    Repositories list

    17 repositories

    • publications

      Public
      Zellic's audits, publications, and reports
      17•155•0•0•Updated Dec 12, 2024Dec 12, 2024

    • Masamune

      Public
      A smart contract security search utility
      securitysecurity-auditsmart-contractssecurity-tools
      JavaScript
      •
      GNU General Public License v3.0
      •13•69•2•0•Updated Dec 1, 2024Dec 1, 2024

    • telescope

      Public
      Telegram enterprise account sovereignty
      HTML
      •
      Other
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • telescope-webui

      Public
      TypeScript
      •
      Other
      •0•0•0•0•Updated Nov 20, 2024Nov 20, 2024

    • solidity-parser

      Public
      Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
      Python
      •
      GNU Affero General Public License v3.0
      •2•54•2•0•Updated Aug 29, 2024Aug 29, 2024

    • movetool

      Public
      Rust
      •1•9•0•0•Updated Jul 22, 2024Jul 22, 2024

    • public-addresses

      Public
      0•0•0•0•Updated May 29, 2024May 29, 2024

    • fhe_attacks

      Public
      attack implementation against FHE
      Sage
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated May 17, 2024May 17, 2024

    • .github

      Public
      0•0•0•0•Updated Oct 20, 2023Oct 20, 2023

    • DonkeySwap

      Public
      Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
      Move
      •0•5•0•0•Updated May 2, 2023May 2, 2023

    • poc-hacks

      Public
      Solidity
      •4•40•0•0•Updated Mar 29, 2023Mar 29, 2023

    • nextjs-template

      Public
      Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS
      TypeScript
      •
      Other
      •2•2•0•0•Updated Jan 2, 2023Jan 2, 2023

    • BokkyPooBahsDateTimeLibrary

      Public
      Formal verification of the popular BokkyPooBah's DateTimeLibrary
      SMT
      •
      Other
      •2•4•0•0•Updated Nov 25, 2022Nov 25, 2022

    • example-ctf-challenge

      Public
      A self-contained example Ethereum challenge using Paradigm's CTF framework
      ethereumsmart-contractssolidityctfctf-toolsctf-challenges
      Python
      •5•25•0•0•Updated Nov 25, 2022Nov 25, 2022

    • weth

      Public
      Formal verification of WETH9.sol with Z3
      Python
      •
      Other
      •4•55•0•0•Updated Nov 19, 2022Nov 19, 2022

    • solc-typed-ast

      Public
      A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
      TypeScript
      •
      Apache License 2.0
      •24•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • move-prover-examples

      Public
      A gentle, example-based guide to getting started with the Move prover.
      tutorialsmart-contractsmoveformal-verification
      Move
      •6•41•0•0•Updated Sep 24, 2022Sep 24, 2022