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

Zero-Knowledge-Proofs-Learning-Resources. This repository contains Zk learning resources

Rust-smart-contract-security-resources.

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.

Wicked-Attack-Vectors-Audit-Checklist. This is a spicy audit checklist of wicked attack vectors to look for during smart contract audits.

Formal-Verification-Tools-and-Resources-for-Smart-Contracts. The following repo contains Formal Verification tools and resources for smart contracts for smart contract auditors

Simple-Farmer-Auction-on-Ethereum-Blockchain. This is a Simple Farmer Auction using Solidity Smart Contracts on Ethereum Blockchain.

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.

Customer-Data-Visualization-using-Sankey-Chart. This is a Data Visualization repository of Customer data using Sankey Chart.

Haunted-House-Game-with-Enemy-AI. The document contains important scripts used in the project and the exported asset of game. The game has main focus on A* path tracing algorithm mostly used in games in AI. To open the game in Unity, import the unity package inside HauntedHouse Document.

File-Encryption-and-Decryption-using-AES-Algorithm-and-Socket-Programming. This Repository Demonstrates File Encryption using AES algorithm. The Client Encrypts the File using a password and sends it to the Server. The Server then Decrypts it using the same password.

Awesome-AI-Safety. AI Safety resources compiled when deep diving into AI alignment at Singapore AI Safety Hub (SASH)

DappToken-ICO. This is an ICO of a token called DappToken which is an ERC20 token

LLM-Security-Notes.

Halmos-Formal-Verification-Tutorial.

Compliantelligent. Python

Ethereum-Smart-Contract-for-Secure-Message-File-Sharing. This is a Solidity Smart Contract for Ethereum Blockchain that gives different powers to multiple organisations like the Investigative Agencies and the Judiciary for securely sharing data between them.