28.
Zcash Ironwood proposes a formally verified shielded pool
A new shielded pool backed by formal verification and audits would be an unusually rigorous upgrade path for privacy-preserving cryptocurrency
@zkDragon on Backlist
1 appearance on the backlist front page in the last 30 days.