Giulio rebuffo's repositories
verkleipfs
Verkle Tree stored on IPFS
uncensored-flashbots-block-validation-geth
Fork of https://github.com/ethereum/go-etherem with block validation API.
Giulio-Ethereum-Wallet
A wallet that takes as password a file
tokenbridge
Mono repository of Token Bridge (Oracle, UI, Deployment, Monitor). TokenBridge is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross chain transfers
caplin-pods-config
pods for caplin
EIPs
The Ethereum Improvement Proposal repository
Language:PythonCC0-1.0000
execution-apis
Collection of APIs provided by Ethereum execution layer clients
CC0-1.0000
go-xdelta
Xdelta for Go
Language:CNOASSERTION000
hive
Ethereum end-to-end test harness
Language:GoGPL-3.0000
Language:Solidity000
my-formal-verifications
these are my training to perform good formar verification on the EVM
tokenbridge-contracts
Smart contracts for TokenBridge