@Zellic
Guthub

Zellic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    214
  • Global Org. Rank 38,983 (Top 13 %)
  • Followers 45
  • Registered over 4 years ago
  • Most used languages
    Python
         40.0 %
    Move     20.0 %
    Sage     10.0 %
    Solidity
         10.0 %
    SMT     10.0 %
    TypeScript
         10.0 %

Top repositories

1

publications

Zellic's audits, publications, and reports
111
star
2

solidity-parser

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
52
star
3

weth

Formal verification of WETH9.sol with Z3
Python
45
star
4

poc-hacks

Solidity
38
star
5

move-prover-examples

A gentle, example-based guide to getting started with the Move prover.
Move
30
star
6

Masamune

A smart contract security search utility
Python
20
star
7

example-ctf-challenge

A self-contained example Ethereum challenge using Paradigm's CTF framework
Python
10
star
8

DonkeySwap

Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
Move
4
star
9

BokkyPooBahsDateTimeLibrary

Formal verification of the popular BokkyPooBah's DateTimeLibrary
SMT
3
star
10

nextjs-template

Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS
TypeScript
2
star
11

fhe_attacks

attack implementation against FHE
Sage
1
star