ZKsync is an ever-expanding network of verifiable blockchains, secured by mathematics.