Compact Lattice Anonymous Credentials from Tighter Approximate Range Proofs | AIChainDay