miyamok
Research specialist in mathematical logic and development of proof assistant. Dr. rer. nat. (math).
unemployedJP
Pinned Repositories
blockexplorer
Project Ethereum Block Explorer, Alchemy University Ethereum development bootcamp
ecdsa-node
ECDSA Node, Alchemy University Ethereum development bootcamp
epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
escrow-hardhat
Project for Alchemy University Ethereum Course
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
GiftList
Gifts under the Merkle Tree
minlog
Proof assistant for realizability logic TCF
react-mega-tutorial
React Mega-Tutorial by Miguel Grinberg
reentrancy
Exploring the reentrancy vulnerability of smart contracts. Demonstrating reentrancy attack in Solidity and applying formal verification due to the SMT solver Z3.
smartcontract-verification
Formal verification tool for Solidity
miyamok's Repositories
miyamok/epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
miyamok/minlog
Proof assistant for realizability logic TCF
miyamok/blockexplorer
Project Ethereum Block Explorer, Alchemy University Ethereum development bootcamp
miyamok/ecdsa-node
ECDSA Node, Alchemy University Ethereum development bootcamp
miyamok/escrow-hardhat
Project for Alchemy University Ethereum Course
miyamok/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
miyamok/GiftList
Gifts under the Merkle Tree
miyamok/react-mega-tutorial
React Mega-Tutorial by Miguel Grinberg
miyamok/reentrancy
Exploring the reentrancy vulnerability of smart contracts. Demonstrating reentrancy attack in Solidity and applying formal verification due to the SMT solver Z3.
miyamok/smartcontract-verification
Formal verification tool for Solidity
miyamok/verified-epsilon-elimination
formally verified epsilon elimination procedure