Bitlayer is a layer 2 solution built on Bitcoin that aims to improve scalability without compromising security. It uses validity proofs (ZK-proofs) to efficiently validate transactions.