StefanosChaliasos/Awesome-ZKP-Security StefanosChaliasos/Awesome-ZKP-Security

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
  • Created 4 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
StefanosChaliasos/Awesome-ZKP-Security
github

StefanosChaliasos

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A curated list of awesome security resources for ZK.

More Repositories

1

sc-defi-security

Solidity
10
star
2

solidity-inline-assembly

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

evm-smart-contracts-similarity

Detect identical and similar smart contracts based on their bytecode
Go
5
star
4

zk-rollup-security

Alloy
5
star
5

types-bug-study-artifact

Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".
Python
3
star
6

agile-data-cleaning

Agile data cleaning with bash commands, python scripts and pandas library.
Jupyter Notebook
2
star
7

zkrollup-benchmarking

Benchmark zkRollup implementations
Python
2
star
8

c-benchmark

c-benchmark
Python
1
star
9

verificatum-docker-demo

This is an unofficial repository with a dummy demo on how to deploy verificatum mixnet with docker images
Python
1
star
10

Intro_CS_Lab

Material for Introduction to Computer Science Labs
HTML
1
star