Secure randomness for Ethereum's execution layer via SNARKs and RANDAO. - View it on GitHub