Introducing Clear: the complete framework for interactive theorem proving in web3. A formal verification tool for Solidity smart contracts that expresses any on-paper verification into mechanized proofs. Read more in our blog post: https://lnkd.in/dZctgVWU Clear under the hood ⚙️ 🛡 Ensures stronger guarantees and greater expressivity (leveraging ITP & hard formal methods) 🛡 Splits the task of verifying contracts into simpler sub-problems, enabling proof reuse and compositionality → achieving scalable verification not previously possible 🛡Allows extraction into Lean 4, using interactive theorem proving and Mathlib to verify complex smart contracts To ensure the highest level of certainty in the correctness of our model, we’re running our specification against EVM execution conformance tests. #ethereum #solidity #formalverification #maths #blockchain #security #cryptosecurity #innovation #hacker #yul #evm
Nethermind
IT Services and IT Consulting
London, London 15,643 followers
Builders & researchers with expertise in Ethereum, Protocol Engineering, L2, DeFi & Smart Contracts Security & Auditing
About us
Nethermind has a world class team of builders and researchers with expertise in Ethereum, protocol engineering, layer 2 scaling, decentralized finance, smart contracts development and enterprise blockchain. We provide technology, R&D and consulting services for blockchain and DeFi businesses. The Nethermind team actively contributes to Ethereum core development and supports many Ethereum projects to help further develop the ecosystem. Working with amazing partners such as StarkWare, POA, EWF, Baseline, Provide and many more, Nethermind is building the future of blockchain and DeFi. Build with Nethermind. Github: https://github.com/NethermindEth Contact us on: [email protected] For technical assistance, join us on our Discord: https://discord.gg/PaCMRFdvWT
- Website
-
http://nethermind.io
External link for Nethermind
- Industry
- IT Services and IT Consulting
- Company size
- 201-500 employees
- Headquarters
- London, London
- Type
- Privately Held
- Founded
- 2017
- Specialties
- DeFi, Ethereum, Layer 2 scaling , Blockchain, Protocol engineering, and Research & Development
Locations
-
Primary
30 Churchill Place
London, London E14 5EU, GB
Employees at Nethermind
-
Mikolaj Barwicki
Group Leader & Engineering Manager at Nethermind
-
Eliot Stock
CPO, Nethermind
-
Tomasz Kajetan Stańczak
Building #Ethereum @Nethermind, @Flashbots ⚡️🤖, @Oiler 🛢 DeFi, Starknet, Twinstake, Forta
-
Greg Lesniakiewicz
Director of Investment Technology at Willett Advisors (Michael Bloomberg's Family Office)
Updates
-
We’re excited to announce that Nethermind and Matter Labs just completed the first ever formal verification of ZKsync's on-chain zk-verifier. 🎉 Our formal verification means the code behind the ZKsync zk-verifier has been mathematically proven to be correct—no bugs, no vulnerabilities. This is a major milestone for blockchain security and is a result of a close collaboration between Matter Labs and our Formal Verification team, led by Julian Sutherland. We will be publishing a more in-depth article on this in the following weeks. As we continue to help pave the way for more robust, secure blockchain infrastructure, we want to thank Julian Sutherland, Denis Firsov, and Igor Zhirkov for their contributions to this project!
-
Heading to #Token2049? Come and meet the Nethermind team in Singapore next week! The leadership team including Nethermind Founder Tomasz Kajetan Stańczak will be there along with the marketing and development teams. Send us a dm if you would like to schedule a meeting! Or check out the talks, panels, and meetups we will be attending below https://lnkd.in/e8hPG6YD
-
Nethermind is looking for a PCB Design Engineer! 🚀 📌 Location: Edinburgh, United Kingdom (In-person - 100%) We are seeking a skilled hardware engineer to join our team and contribute to the design of printed circuit boards for an advanced palm vein scanner. If you excel in designing reliable, secure PCBs and have a passion for biometric technology, we want to hear from you. Check out the full description and apply below 👇 https://lnkd.in/eyKNFm2k Or see the full list of our open positions here 📖 https://lnkd.in/dEjg22BT
-
Nethermind is seeking a proactive and versatile Content Marketing Manager who can spearhead our content initiatives at a rapidly growing, remote-first organization! 🚀 If you thrive in a globally distributed team and are confident in working independently to create, curate, and manage content across multiple platforms and brands in Web3, we want to hear from you! Having a keen eye for detail and a passion for storytelling and words is crucial. This role also requires a blend of creativity, project management, and analytical skills to ensure our content engages our audience and aligns with our brand values. Check out the full description and apply below 👇 https://lnkd.in/eSqnjaMx Or see the full list of our open positions here 👀 https://lnkd.in/dEjg22BT
-
Nethermind reposted this
I’m excited to share that I’ve joined Nethermind as an intern on the Smart Contract Auditing team! 🚀 Over the next three months, I'll be working on auditing projects, dedicated to enhancing the robustness and security of smart contracts across the ecosystem. Looking forward to diving deep into analyzing and finding vulnerabilities, strengthening protocols, and ensuring the reliability of decentralized applications on the network. Grateful for the warm welcome from the Nethermind team and looking forward to work and grow alongside some of the brightest minds in the industry!
-
We are looking for a Senior Engineer for Switchboard, a product powered by Nethermind!🔐 Our team is creating a preconfirmation platform to enable near-instant confirmations on Ethereum L1, rollups, and beyond. Join the Switchboard team and help us build the future of Ethereum! Ideal Candidates for this role should demonstrate: 1.Expertise in Rust or Go programming languages. 2.Strong understanding of Ethereum, MEV, and the block-building process. 3.Proven experience designing and implementing complex systems using advanced cryptography. 4. Excellent problem-solving and debugging skills, with a keen eye for optimizing performance. If you believe you are a good fit for the role, we would love to hear from you! Check out the full description and apply below👇 https://lnkd.in/epimHPdG or see the full list of our open positions here https://lnkd.in/dEjg22BT
-
We're excited to announce that Nethermind Security has completed a thorough audit of LayerAkira (https://layerakira.xyz/), an innovative hybrid orderbook DEX and liquidity layer built on StarkNet! This audit focused on LayerAkira's hybrid order book infrastructure, which offers gasless order management, non-custodial asset security, and seamless integration with StarkNet dApps to enhance market depth. Users submit signed orders to an off-chain orderbook that will match and execute the trades. Users maintain custody of their funds. All deposits, withdrawals, and settlements are maintained by smart contracts. Read the public report here 👇 https://lnkd.in/ej4kHi7U #starknet #dex #smartcontractsecurity #securityreview
-
We’re hiring an Application Security Engineer!🔐 Join our team and work on enhancing the security of our applications by integrating security practices into the SDLC and safeguarding against vulnerabilities. Check out the full description and apply below!👇 https://lnkd.in/dRFm9FVh
-
🚀 New publication from Nethermind Research Discover Mova, a folding scheme that modifies Nova to remove certain critically expensive steps. As a result, Mova is much faster than Nova and requires only 3 rounds of communication. Check out all the details below, and stay tuned for our upcoming work that leverages some of Mova’s principles! https://lnkd.in/dexYstwZ