saxenism
Working towards a decentralised future. EVM Auditing + Research + Development
Bluethroat LabsIndia
Pinned Repositories
defi-tits
DeFi Testing is broken. Doesn't matter how many auditors have had a stab at your protocol, if you haven't sufficiently tested your protocol, you are basically gambling with your user's funds. This repository is created to publicly critique the quality of the testing suite of major DeFi protocols. Reach out to me on twitter @saxenism if you would want to contribute.
EVM-Varta
Consider this your EVM 101
gnosis-tutorial-dao
quick-pocs
A small little repos to explore my curiosities about different Solidity behaviours using Foundry
rlp-encoded-txn-generator
safu-zk
A website documenting anything and everything about ZK security. I suck at devops stuff, so if you cannot access the website as safuzk.com then try https://saxenism.github.io/safu-zk/
saxenism-expressions
Personal Website + Blogging (related to Solidity, Ethereum and EVM chains in general)
solana-messaging-app
A messaging app built on top of Solana where you get to store your messages on the Solana blockchain and view them too
solana-my-money
Creating your own spl-tokens (cryptocurrency) on the Solana network using the Anchor framework
ZK-Land
A public repository consisting of all my initial ZK experimentations
saxenism's Repositories
saxenism/gnosis-tutorial-dao
saxenism/defi-tits
DeFi Testing is broken. Doesn't matter how many auditors have had a stab at your protocol, if you haven't sufficiently tested your protocol, you are basically gambling with your user's funds. This repository is created to publicly critique the quality of the testing suite of major DeFi protocols. Reach out to me on twitter @saxenism if you would want to contribute.
saxenism/EVM-Varta
Consider this your EVM 101
saxenism/safu-zk
A website documenting anything and everything about ZK security. I suck at devops stuff, so if you cannot access the website as safuzk.com then try https://saxenism.github.io/safu-zk/
saxenism/quick-pocs
A small little repos to explore my curiosities about different Solidity behaviours using Foundry
saxenism/solana-calculator
The hello world of Solana development (on Anchor)
saxenism/ZK-Land
A public repository consisting of all my initial ZK experimentations
saxenism/circom-md5
This repository contains Circom circuits that verify md5 encryption
saxenism/circom-stack
Circom implementation of a stack data structure. Basically, we expect an input of different states of a stack. Those states should correspond to the stack instruction input. This circuit needs to validate if the inputed stack states are indeed valid according to the instructions passed.
saxenism/RunETH
An on-chain proof-of-workout dApp built on the Ethereum Blockchain
saxenism/rust-playground
Rust 1o1
saxenism/rlp-encoded-txn-generator
saxenism/saxenism-expressions
Personal Website + Blogging (related to Solidity, Ethereum and EVM chains in general)
saxenism/ao-cookbook
Get cooking with ao - the decentralized computer with infinite threads 🐰 🕳️ 👈
saxenism/audits
saxenism/boojum-mentorship-program
A repository consisting of my efforts to deeply understand the Boojum proving system
saxenism/ctf-blockchain
A summary of 100+ CTF blockchain challenges
saxenism/ethereum-python
saxenism/fastpages
An easy to use blogging platform, with enhanced support for Jupyter Notebooks.
saxenism/huffc
A low level assembly language for the Ethereum Virtual Machine
saxenism/Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
saxenism/miden-vm
STARK-based virtual machine
saxenism/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
saxenism/NonFungibleFinance
testing out deployment on chiadao
saxenism/pinaka-frontend
saxenism/SCSVS
Smart Contract Security Verification Standard
saxenism/smart-contract-best-practices
A guide to smart contract security best practices
saxenism/VRGDAs
Variable Rate Gradual Dutch Auctions.
saxenism/zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
saxenism/zk-security-reviews
Collection of security reviews of ZK Protocols