Scalable Transparent Argument of Knowledge that avoids trusted setup and uses hash-based security; proofs are larger but post-quantum friendly assumptions are appealing.