Tachyon utilizes recursive SNARKs to aggregate zero-knowledge proofs into a single proof per block for full nodes to verify

Cryptographic mechanisms used to verify the authenticity and integrity of digital messages or documents.

Approaches to processing more transactions without sacrificing security or decentralization, spanning rollups, sharding, data compression, and faster consensus designs.