fernantho's repositories
On-Chain-Investigations-Tools-List
Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!
aavegotchi-contracts
Aavegotchi diamond and its facets, deployment and upgrades. See the docs: https://docs.aavegotchi.com/
beacon-APIs
Collection of RESTful APIs provided by Ethereum Beacon nodes
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
deposit-verifier
A smart contract to enhance the user experience of the `eth2` deposit contract.
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
SSZ-SimpleSerialize
Website for SSZ
bls-hsm
Open source project implementing BLS remote signer in the Nordic nrf9160 and nrf5340 ARM Cortex-M33 based SoCs
certora-tutorials
Practical tutorials of Certora Prover
contracts
StakeWise smart contracts.
EIPs
The Ethereum Improvement Proposal repository
lido-dao
Lido DAO smart contracts
lido-oracle
Pythonic Lido Oracle daemon
liquity-dev
Liquity monorepo containing the contracts, SDK and Dev UI frontend.
osx
Aragon OSx Protocol
rocketpool
A next generation decentralised Ethereum proof of stake network and pool, currently in beta and built to be compatible with Ethereum 2.0 and the Beacon Chain.
SecretNetwork
𝕊 The Secret Network
seen-contracts
Seen Haus contract suite
teku
Java Implementation of the Ethereum 2.0 Beacon Chain
zrnt
ZRNT - Executable spec for ETH 2.0, implemented in Go