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 14,930 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 are looking for a Chief Information Security Officer to join our executive team. In this role, you'll: 🔒 Develop and execute a comprehensive security strategy 🔍 Identify and mitigate risks across our tech stack 📃 Ensure compliance with industry standards 🤝 Partner with engineering teams to embed security best practices View the full job description and apply here: https://lnkd.in/eiFC5AzD
-
Exciting update from Nethermind and Optimism! 🚀 We're diving into our journey with Optimism Retroactive Public Goods Funding (RPGF) and how it's propelled the development of OP-Nethermind. Read more in our blog post: https://lnkd.in/eE_EHjvc Key points: 🔹 Why add OP support to Nethermind? - One unique benefit of the Nethermind client's plugin system is that all improvements and optimizations made by our core team in the main client are immediately available to the OP Stack implementation. No forks necessary. 🔸How RPGF helped us achieve our goals: Initial Funding (RPGF 1) - Kickstarted the OP Stack plugin, enhancing our client's functionality to meet the demand for L2 solutions. 🔹 Continued Support (RPGF 2) - Enabled further development and refinement of the OP Stack capabilities. Stay tuned for more updates as we continue to innovate and expand our capabilities. #Nethermind #Optimism #Ethereum #innovation #blockchain
-
We're welcoming Postgraduate students and AI/ML enthusiasts to our Internship Program! Help us shape the future of blockchain and Ethereum through projects in disciplines such as Engineering, Robotics, Policy, Philosophy, Physics, Genetics, Economics, Finance, and more! https://lnkd.in/erRSsaZm #ethereum #internship #web3 #blockchain #blockchaininnovation #blockchaintech #web3job #computerscience #genetics #robotics #AI #machinelearning #physics
-
We’re proud to announce that our formal verification team open-sourced their EVM + Yul specification! A recipient of an Ethereum Foundation grant, EVMYulLean is an ongoing project, and we’re excited about its upcoming developments: -This specification is executable, meaning it can be run. We’ll leverage this capability to test it against the EVM execution conformance tests, ensuring the model's reliability -Full compatibility with Ethereum’s execution layer upgrade Cancun We plan to reintegrate the Yul model back into Clear to achieve the highest degree of certainty in the accuracy of the Clear model of Yul. More on Clear, our formal verification tool for Solidity smart contracts: https://lnkd.in/dZctgVWU https://lnkd.in/e257QHfr #ethereum #solidity #formalverification #blockchain #blockchaintech #smartcontract
-
We’re looking for an experienced web3 Chief Marketing Officer to advance our mission of creating accessible and borderless economic and governance solutions! Apply here: https://lnkd.in/erRSsaZm #ethereum #cmo #web3 #blockchainjob #marketing
-
The Arbitrum DAO approved the STEP Committee's recommendation to diversify 35 million ARB tokens into tokenized Real World Assets (RWAs). With Nethermind among its six members, the committee rigorously analyzed 30+ applications. The proposal, passed on July 11th with 99.44% approval, allocated: Securitize (BUIDL): 11M ARB Ondo Finance (USDY): 6M ARB Superstate (USTB): 6M ARB Mountain Protocol (USDM): 4M ARB OpenEden (TBill): 4M ARB Backed Finance AG (bIB01): 4M ARB Our goal is to diversify the treasury and boost RWA growth in the Arbitrum ecosystem! 🖇https://lnkd.in/e9tqGPfx #ethereum #arbitrum #realworldassets #assets #blockchain #blockchaintech #layer2
-
Don’t miss Nethermind’s bounties at ETHGlobal Brussels! Who’s up for the challenge? 🔹Best zkML project 🔸Best security driven development 🔹Preconfirmations innovation 🔸Large scale compute https://lnkd.in/eaMx_YdY #ethereum #ethglobal #hackathon #hacker #ethcc #competition #crypto #smartcontract #blockchain #cryptosecurity
-
Nethermind reposted this
🚀 Excited to announce that I’m starting a new chapter as an intern at Nethermind! 🚀 I'm thrilled to join a team that’s at the forefront of blockchain technology and to contribute to innovative projects that are shaping the future of Ethereum. I’m looking forward to diving deep into Blockchain Core Engineering, Cryptography Research, Security, L2 Tooling, and DeFi R&D over the next three months. This is a fantastic opportunity to grow my skills, work on challenging projects, and collaborate with some of the brightest minds in the industry. A big thank you to the Nethermind team for this opportunity. I’m ready to learn, contribute, and make the most out of this incredible experience! #blockchain #cryptography #zeroknowledgeproofs #ethereum #nethermind #internship #engineering
-
See you soon, EthCC Brussels! 🇧🇪 Keep an eye out for the Nethermind team – lots of familiar (and new) faces will be there 😊 Find us at the booth at EthCC, StarknetCC and the ETHGlobal Hackathon! Nethermind Security, Nethermind Research, AI & ZK, Starknet, blockchain core engineering and many other teams will be present! #blockchain #ethereum #blockchaininnovation #crypto #smartcontract #ethglobal #ethcc #starknet #layer2