0xjarix
Follow
Lists (1)
Starred repositories
This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…
Allows to easily create tx to be signed through CLI and submitted on a Safe
Semgrep rules for smart contracts based on DeFi exploits
Simple Tutorial for Web3 Security
Infostealer and C2 developed by final-year students from the SRS major at EPITA, as part of a project for the virology course. The source code has been designed exclusively for educational purposes…
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Collection of security reviews of ZK Protocols
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Guidelines and training material to write secure smart contracts
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
A 6-part series on how to use Echidna on real-world codebases
Solidity library for advanced fixed-point math
Demystifying Exploitable Bugs in Smart Contracts
A collection of practical security-focused guides and checklists for smart contract development
Observations and tips checklist for auditing protocols on multiple chains 🧐
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Past subjects and other files, for the benefit of EPITA students.
Proof of Stake based cryptocurrency
Contient toutes les notes des cours du semestre 5 et 6 à EPITA
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
SC Audit Studio, also known as Smart Contract Audit Studio, is a powerful tool that serves as an all-in-one Integrated Development Environment for smart contract auditing.