Pinned Repositories
HodlTogether-Docs
HodlTogether is an Innovative Defi+NFT Project that allows users to Hodl their tokens, donate some amount to NGOs and gain rewards! Winner of Runner-up position at Chainlink Hackathon Spring 2021
Blockchain-Security-Audit-List
A list of notable Blockchain Security audit companies.
Customer-Data-Visualization-using-Sankey-Chart
This is a Data Visualization repository of Customer data using Sankey Chart.
ERC-721-and-IPFS-Dapp
This is a simple IPFS Dapp that allows minting of NFTs by simply uploading the files. And files are automatically stored on IPFS.
Formal-Verification-Tools-and-Resources-for-Smart-Contracts
The following repo contains Formal Verification tools and resources for smart contracts for smart contract auditors
Hyperledger-Sawtooth-Supply-Chain-with-Certifying-Client
This is an Open Source Blockchain Project that aims to bring Hospitals, Manufacturers and Regulatory Authorities on a Single Platform to ensure Trust, Transparency and Traceability of goods and services exchanged between the parties.
Simple-Farmer-Auction-on-Ethereum-Blockchain
This is a Simple Farmer Auction using Solidity Smart Contracts on Ethereum Blockchain.
Smart-Contract-Auditor-Tools-and-Techniques
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts
Wicked-Attack-Vectors-Audit-Checklist
This is a spicy audit checklist of wicked attack vectors to look for during smart contract audits.
Zero-Knowledge-Proofs-Learning-Resources
This repository contains Zk learning resources
shanzson's Repositories
shanzson/Smart-Contract-Auditor-Tools-and-Techniques
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts
shanzson/Zero-Knowledge-Proofs-Learning-Resources
This repository contains Zk learning resources
shanzson/Formal-Verification-Tools-and-Resources-for-Smart-Contracts
The following repo contains Formal Verification tools and resources for smart contracts for smart contract auditors
shanzson/Wicked-Attack-Vectors-Audit-Checklist
This is a spicy audit checklist of wicked attack vectors to look for during smart contract audits.
shanzson/Blockchain-Security-Audit-List
A list of notable Blockchain Security audit companies.
shanzson/Halmos-Formal-Verification-Tutorial
shanzson/awesome-noir
A curated list of awesome things related to learning and programming in Noir.
shanzson/BattleZips
Zero-knowledge arithmetic circuit implementation for on-chain Battleship Game
shanzson/bend-gitbook-portal
Gitbook for https://docs.benddao.xyz
shanzson/Certora-Prover-Tutorials
shanzson/Damn-Vulnerable-Defi-Solutions
shanzson/DeFiVulnLabs
To learn common smart contract vulnerabilities using Foundry!
shanzson/Deprecated-Mafia-Huddle-Wallet
shanzson/Foundry-Example-Template
This repo contains Foundry example tests, minimalistic staking contract and Chainlink Mock Oracle
shanzson/Fuzzing-using-Echidna
Guidelines and training material to write secure smart contracts
shanzson/halmos
A symbolic testing tool for EVM smart contracts
shanzson/Hardhat-template
shanzson/Intro-to-Programming-in-Yul-Assembly
shanzson/Intro-to-Zk-using-Snarkjs
shanzson/Itos-Commons
shanzson/Itos-liqtree
shanzson/NFT-Attack-Vectors
This Repository contains list of Common NFT Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.
shanzson/pet-park-assignment
Take home assignment for evaluation
shanzson/Quadrata-immunefi
shanzson/scaffold-eth-2
Open source forkable Ethereum dev stack
shanzson/semgrep-smart-contracts
Semgrep rules for smart contracts based on DeFi exploits
shanzson/shanzson
Welcome to my Github profile!
shanzson/solidity-notes
shanzson/Uniswap-V3-task
shanzson/uniswapv3-by-examples
UniswapV3 by examples