Blockchain
Blockchain Certificate Verification
Tamper-proof academic credentials on an EVM chain
- Solidity
- Hardhat
- Next.js
- ethers.js
- +2
Blockchain · Major Project
Static analysis that flags reentrancy, overflow and access flaws
Overview
Compiles a Solidity file with solc, walks its abstract syntax tree and runs detectors in the spirit of Slither: external calls before state updates, unchecked arithmetic on old compiler versions, missing access modifiers, tx.origin checks and unchecked return values. Findings come back with severity, line and a fix hint, and the report compares results with Slither on a set of deliberately vulnerable contracts.
What makes it stand up
Module breakdown
Runs solc and loads the JSON AST.
Walks functions and tracks state reads and writes.
One rule per vulnerability class with its own tests.
FastAPI endpoint that accepts a contract and returns findings.
React view highlighting findings in the source.
After this, you will be able to
Technology stack
You receive
Keep looking
Blockchain
Tamper-proof academic credentials on an EVM chain