StefanosChaliasos

sc-defi-security

solidity-inline-assembly

Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".

evm-smart-contracts-similarity

Detect identical and similar smart contracts based on their bytecode

c-benchmark

c-benchmark

dithesis

Thesis class for undergraduate theses at the University of Athens

zopfli

Zopfli Compression Algorithm is a compression library programmed in C to perform very good, but slow, deflate or zlib compression.

bls

A simple Python implementation of threshold BLS signatures.

circom

zkSnark circuit compiler

circom_runtime

circom runtime

cscout

C code refactoring browser

density

Superfast compression library

fluffy-go-ethereum

Official Go implementation of the Ethereum protocol

halo2

nightfall

Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks

pandar

Fast multiplications

slither

Static Analyzer for Solidity

smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

solidity

Solidity, the Smart Contract Programming Language

sqlalchemy

The Database Toolkit for Python

tg

telegram-cli

tippecanoe

Build vector tilesets from large collections of GeoJSON features.

trace-dumper

web

BALab web site

webdis

A Redis HTTP interface with JSON output

zeus

Zeus server

zkalc

A web tool that helps you compare and visualize the performance of cryptographic operations

zkevm-specs

zkp-tests

Playing with zero-knowledge proof languages

zksync-era

zkSync era

zksync-web-era-docs

zkSync Era Documentation