Simon Perriard's Projects
Extension of the Karger Stein algorithm for 3-uniform hypergraphs
Compiler for Amy language written in Scala
Solidity implementation of the BabyJubJub twisted Edwards curve
Library of basic circuits for circom
Damn Vulnerable Defi challenges with extended solutions
An Amazon's Dynamo inspired DHT written in C
Web3 Foundation Grants Program
Each one of these contracts contains a vulnerability. Find it :)
Lightweight encrypted messaging app in python
ML class project that aims to identify the Higgs boson from original data from CERN, using Python ML libraries
Road Segmentation
OpenZeppelin Contracts is a library for secure smart contract development.
Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.
RedStone Oracles documentation
A guide to how rustc works and how to contribute to it.
Static analyzer for Substrate FRAME's pallets
Software security course labs (EPFL)
Manage and switch between Solidity compiler versions
Solidity, the Smart Contract Programming Language
Thesis code