Browsing: Ethereum

January 14th tl;dc (too long, didn’t call) Disclaimer: This is a digest of the topics discussed in the recurring Eth1.x research call, and doesn’t represent finalized…

Keep it coming tldr; Runtime Verification audit and verification of deposit contract Runtime Verification recently completed their audit and formal verification of the eth2 deposit contract…