Algorand recently open sourced it Pointproofs library, a cryptographic tool, written Rust, that enables high performance, cross-commitment, proof aggregations. The paper is to be presented at ACM CCS 2020 this year. Expecting to see numerous applications such as self-validated transactions, stateful smart contracts, etc. See this blog for more details.