Veridise
@VeridiseInc
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
가입 March 2022
530 팔로잉 중 4.7K 팬
@aztecnetwork published a full post-quantum roadmap targeting 2030.
The sequencing stands out. Hardened libraries for private data land in early 2027, ahead of any proof system replacement.
Harvest-now-decrypt-later exposure gets addressed first.
더 보기
