Nethermind Security
@NethermindSec
Comprehensive security from @Nethermind, from audits to formal verification. Book now: http://nethermind.io/nethermind-security
🛡️ Nethermind Security Audit Complete @NethermindSec has completed the audit of Kintsu’s liquid staking protocol for @monad — reviewing sMON’s staking logic, withdrawal mechanics, and more. Another step toward secure and reliable liquid staking on Monad.
Zero-knowledge tech is powerful, but only when built securely Nethermind Security audits the full zK stack: circuits, verifiers, and cryptographic assumptions across Noir, SP1, RISC Zero, Circom, and more. 🔗 Explore our zK audit hub: nethermind.io/zk-audits-and-…
At the Lean Ethereum PQ Workshop in @Cambridge_Uni, organized by @drakefjustin and the @ethereumfndn, Nethermind’s Formal Verification team presented research on end-to-end verification of zkVMs for L1 proving. Sessions focused on post-quantum signatures, recursive SNARKs, and…
youtube.com
YouTube
pq2-05: e2e Formal Verification
We’re partnering with @NethermindEth to conduct a comprehensive security audit of the Freehold Wallet! Security and transparency are at the core of everything we build — this audit will help ensure our wallet’s infrastructure, authentication, and API layers meet the highest…
Major strides from our Formal Verification team this week - check out this update from our Head of Formal Verification. 👇 x.com/JulekSU/status…
Some things happening this week: - First draft of the CertiPlonk framework for formally verifying zk circuits written in Plonky3: github.com/NethermindEth/… - Generalised FRI model merged into ArkLib: github.com/Verified-zkEVM…. - First draft of batched FRI: github.com/Verified-zkEVM……
Auditing upgrades like @OriginProtocol's OETH staking means more than checking boxes - it’s about stress-testing assumptions and safeguarding value for users at scale. Glad to see the results of that work go live. 🛡️ x.com/OriginProtocol…
OETH is getting a major upgrade. 🛡️ The upgrade has passed audits from @NethermindSec, @OpenZeppelin, and @sigp_io — three of the most respected firms in Ethereum security. OETH staking is becoming more secure, transparent, and efficient than ever. (1/3)
OETH is getting a major upgrade. 🛡️ The upgrade has passed audits from @NethermindSec, @OpenZeppelin, and @sigp_io — three of the most respected firms in Ethereum security. OETH staking is becoming more secure, transparent, and efficient than ever. (1/3)
United States Trends
- 1. GTA 6 15.2K posts
- 2. GTA VI 23.3K posts
- 3. Rockstar 55.4K posts
- 4. Antonio Brown 6,962 posts
- 5. Nancy Pelosi 135K posts
- 6. GTA 5 1,933 posts
- 7. Ozempic 20.9K posts
- 8. #TNFonPrime 1,555 posts
- 9. #bandaids 3,659 posts
- 10. Free AB N/A
- 11. Silver Slugger 5,561 posts
- 12. Paul DePodesta 2,323 posts
- 13. #LOUDERTHANEVER 1,533 posts
- 14. Rockies 4,377 posts
- 15. Fickell 1,227 posts
- 16. Grisham 1,931 posts
- 17. Elon 409K posts
- 18. Justin Dean 2,139 posts
- 19. GTA 7 1,511 posts
- 20. Kanye 27.5K posts
Something went wrong.
Something went wrong.