gm and happy new year 🥂✨
עלינו
Industry-leading formal verification tools & smart contract audits.
- אתר אינטרנט
-
http://www.certora.com
קישור חיצוני עבור Certora
- תעשייה
- Software Development
- גודל החברה
- 51-200 עובדים
- משרדים ראשיים
- Tel Aviv, Central District
- סוג
- בבעלות פרטית
- הקמה
- 2018
- התמחויות
מיקומים
-
הראשי
30 Chaim Levanon
Tel Aviv, Central District 6997543, IL
עובדים ב- Certora
עדכונים
-
Thrilled to have contributed to the security of Sonic Labs alongside OpenZeppelin and Quantstamp, Inc.
Sonic Gateway audits are complete, reviewed and verified by security firms: ⚪ OpenZeppelin 🔵 Quantstamp, Inc. 🟢 Certora Read the audits here: https://lnkd.in/dC6-8T8J
-
Celebrating the sixth anniversary, pioneering Web3 security and Formal Verification! Want to join the journey? Apply here https://lnkd.in/dbm9WHjc
Certora will be six years old tomorrow. We learned so much thanks to the amazing Web3 community for the last six years. We are especially proud of six things: (1) Top-class strongest engineering team, (2) Top loyal clients who are building sophisticated and reliable DeFi protocols, (3) Our investors who constantly introduce us to new challenges and constantly stand up for us, (4) A disruptive product Certora Prover which solves one of the hardest problem in computer science (5) The quality of our security services to prevent bugs of our clients and (6) Our core values and goals that provide company focus. In the next six years, we want to improve every one of these aspects and make DeFi safe. Onward! Shelly Grossman & Mooly
-
Certora פרסם מחדש את זה
Last week, Midgar attended the DeFi Security Summit in Bangkok. It was an exciting three days of listening to security researchers and security experts discuss various topics of blockchain security. With over $1bn USD stolen through web3-related incidents last year alone, we still have a long way to go. But it's hard not to feel optimistic, meeting some of the most competent web3 security researchers on the planet (imagine everyone there being the smartest kid in your high school...). Also, huge congratulations to Certora and everyone affiliated who worked to organize and put together such a great event. Another one for the books! 👊
-
Certora פרסם מחדש את זה
The third edition of the DeFi Security Summit came to a close just two days ago in Bangkok, and what an event it was! This year, we welcomed a record-breaking number of attendees, both onsite and online. It’s amazing to see our community growing, and I’m thrilled to have been part of organizing DSS for the third time. DSS is driven by three core goals: connecting protocol builders, security researchers, and tool developers to strengthen collaboration; providing essential education for white hats and protocol developers on attack vectors, available security technologies, and challenges in the space; and drawing new talent into these critical communities. Thank you to our speakers for delivering top-quality insights, to the steering committee for their thoughtful selection of sessions, to our wonderful sponsors who made the conference possible, and to attendees from all backgrounds—whether you’re a newcomer who joined DeFi 101 or an experienced white hat asking the experts tough questions. This event wouldn’t have been possible without the incredible efforts of the rest of the organizing team, who have worked tirelessly over the past few months, and the dedicated volunteers on the ground, who were essential to ensuring everything ran smoothly. With limited local connections, their hard work made all the difference. As we wrap up another successful summit, we’re already looking forward to what’s next for DSS and the DeFi security community. Together, let’s make web3 safer for all!
-
Certora פרסם מחדש את זה
Who's coming to DevCon in Bangkok 🇹🇭 next week? Thrilled to announce that RareSkills is hosting the first-ever all-day event for Builders and Breakers - "RareDay" on November 10th. 🥷 RareSkills Book of ZK (Part 2) - ZK with Bulletproofs IRL Launch with Jeffrey Scholz 🔥 Exciting fireside chats with chads from Certora and Monad Labs 🛀 Ice Baths to beat the heat in Bangkok Smart Contract Devs, ZK folks, Auditors and Security Researchers - this event is for you. If you're a BD, highlight your technical background in the application. Attendees will be highly curated. 🎟️ Register now: https://lu.ma/8e61a3gh
-
Why are team retreats so valuable for companies? It’s not just about stepping away from daily tasks—it’s about recharging, aligning, and building the kind of connections that make us stronger together. Last week, the Certora team experienced exactly that. ✨ Strengthened our bonds: Beyond daily work, we got to know each other better, deepening connections that go beyond our roles and building the trust that fuels our teamwork. 💡 Brainstormed new solutions: With everyone in one place, ideas flowed freely. We tackled challenges from new angles and came up with fresh approaches to make our products and processes even better. 🌱 Explored our values and mission: We revisited what drives Certora, reflecting on the values that guide us and how we can keep them at the core of everything we do. 🤝 Enjoyed bonding time: Whether over shared meals, activities, or informal chats, we had the chance to relax together, creating memories that make us thrive as a team. 🚀 Aligned on future goals: We came away with clear priorities for where we’re heading and how we can continue to contribute to the security of the DeFi ecosystem. These kinds of moments remind us why we’re here and drive us forward with renewed energy and commitment. Excited for what’s ahead! P.S. We’re hiring! If you’re passionate about DeFi security, take a look at our open positions: https://lnkd.in/dbm9WHjc
-
With the increasing use of #WebAssembly (WASM) in blockchains, ensuring the correctness of the programs running on it is crucial. We’re thrilled to support #WASM in our formal verification toolset with ✨ Sunbeam ✨, a new tool designed for verifying the high-level functional correctness of #Rust smart contracts. Here’s how Sunbeam works ⬇️ 🔘 Sunbeam allows users to write correctness properties using a lightweight specification language embedded in Rust, then verifies that the smart contract satisfies these properties. 🔘 Instead of verifying the Rust source code directly, Sunbeam compiles the Rust to WASM bytecode and confirms that the generated WASM adheres to the specified properties. This means it can verify code that will be deployed on the blockchain without needing to trust the Rust compiler. Currently, Sunbeam focuses on Soroban smart contracts within the Stellar Development Foundation blockchain. Our goal is to ensure high standards for smart contract verification in the Stellar ecosystem. Want to dive deeper and know more about how Sunbeam works? Check out our new blog post: https://lnkd.in/dzKQj9JD
-
We’re #hiring a new Senior Python Developer in Brno, South Moravia. Apply today or share this post with your network.
-
Certora is hiring! We’re looking for a 🪄 Formal Verification Wizard 🪄 to join our team. If you have: ✨ A strong background in Math, Physics, or Computer Science ✨ Passion for applying cutting-edge technology to financial systems ✨ Experience in code security This could be your next adventure. Apply now (link in the comments) ⬇️ #hiring #formalverification #audit #web3 #defi #security #codesecurity #smartcontracts