💂At Nethermind, we're looking for passionate individuals in the blockchain industry.
Join our Internship Program to gain practical experience while collaborating remotely on innovative projects with top professionals🌐
Apply here: https://t.co/KRL2cntDjQ
Come help us scale open-source communities on Ethereum and Starknet!
If you're a community builder who loves and thrives on supporting and uplifting projects, developers, and contributors, we’d like to hear from you!
Experience in open-source software development, strong communication skills, and familiarity with collaboration tools are required!
https://t.co/TBcGLR2f52
Nethermind Research is looking for sharp and curious minds to join the team!
Venture into distributed protocol design, algorithmic game theory, cryptographic primitives (zk, FHE), cryptography research & all things DeFi.
If you're passionate about shaping the architecture of blockchain, apply at https://t.co/DxPxxWSlYc
Builders! Ready to put on your hacker gloves @Ethglobal London hackathon?🇬🇧
Nethermind is joining with a $20,000 prize pool set to award the best innovatooors in the following fields🏆👇
🔗https://t.co/nV8bDTh2tI
- Best projects building on @Starknet ($5,000 pool prize)
- Blockchain infrastructure tools
- Account abstraction & user experience
- Zero-Knowledge (ZK)
- Maximal Extractable Value (MEV)
- Data availability solutions
- User security
- Metaverse development
- Institutional blockchain solutions
- Staking/restaking
- AI integration in blockchain
Nethermind Research is here to research & build on Starknet.
We are looking for 🧠
- Protocol Researchers
- Mechanism Designers
- Cryptography Researcher
- Research Engineers
- Consensus Research Engineers
🔖Bookmark https://t.co/z9H12M7uQf to keep an eye out for new listings!
Let us show you some of the research directions we will investigate in cryptographic research.
Ready? Let’s go! 🧵
🔹Starknet aligned DA layer
Ethereum’s DAS-s, although efficient, are not really “Starknet aligned”. This is because they rely on the discrete logarithm problem to ensure data availability. Hence, arguably, the security guarantees of DAS are weaker than what STARKs used to secure Starknet transactions offer. To fix that gap, we will investigate FRIDA — the transparent FRI-based DAS — to build a Starknet-aligned DA layer.
🔸SNARK CairoVM prover
We love STARKs. But we love SNARKs as well. We will build a CairoVM SNARK prover to bring Cairo to SNARK lovers. We will utilize all recent zk-tech, like folding, to make proving efficient and effortless.
🔹zkFHE
FHE unlocks another layer of on-chain transaction privacy. However, FHE operations are expensive. To make FHE more blockchain-friendly, we will implement a zk-proof system that will allow users to perform FHE operations off-chain and cheaply verify them on-chain.
🔸zk coprocessors
zk coprocessors augment the native capabilities of the blockchain, allowing features such as trustless historical data retrieval and verifiable off-chain computing. We see a great rise in zk coprocessors. But how should the prover market look like, how will the provers be synchronized, how will fees be paid, and how can we minimize the proof verification cost? We’re looking forward to working on these problems.
🔹Reputation and ID system
The advent of zk coprocessors unlocks access to on-chain (and potentially cross-chain) historical data. We can think of using this functionality to build a reputation system powered by the aggregation and interpretation of this data into a reputation score. The next step will be to build a decentralized ID system on top of the reputation system.
🔸Privacy on Starknet
We will leverage Starknet’s scalability for the design and implementation of privacy-preserving protocols. For example:
- cost-efficient private voting protocols, which can be used to improve current governance systems
- applications for the private transfer of assets
- privacy-preserving decentralized exchange
🔹More cryptographic primitives in Cairo
We want to bring more cryptographic primitives to Starknet to encourage even more cryptography-based products. This includes implementations of various elliptic curves and zero-knowledge proof systems.
🔸Hybrid arithmetics
There are so many pain points arising from writing arithmetic from field Foo to field Bar. We will look at ways to mitigate these.
🔹Soundness proofs
There are several open problems related to the soundness of STARKs and of FRI. Solving them would allow us to configure STARKs reliably in more efficient ways. We will continue our research around these questions.
🔸Soundness in the presence of hash collisions
A particular soundness problem is the following: suppose an attacker can find collisions for the Merkle tree hash function. How is the soundness of the STARK or FRI protocol affected? Following common practice, STARKs are configured so that it would be too expensive for an attacker to find collisions. But is that really necessary? We will look into it.
🔹Alternative commitment scheme
By now, many of us are folding scheme enthusiasts. However, Merkle trees are not folding-friendly. Towards circumventing this, we will research alternative homomorphic vector commitment schemes so that they can be used for folding and possibly lattice-based to preserve post-quantum resistance.
Join us & work on Starknet 🚀
And in the words of @tkstanczak "reignite your love for computer science, maths, and finance!"
Dedicated to pushing the boundaries of blockchain, we’re gearing up for a future where computational integrity meets decentralized technology. 🧠
Build with us, and let's expand Ethereum with our Layer 2 roadmap and develop the most complex distributed systems.
We are a global, remote-first, and impact-driven team that comes together at events around the world. 🌐
Start as an intern, or join as an expert or leader, and work with the sharpest minds across ecosystems!
Get up to speed with Starknet 🚀
- Cairo book: https://t.co/k3J3vlO632
- Starknet by Example: https://t.co/eTHYrLKP1h
- Tutorials for devs by devs: https://t.co/0ovVCLtpmp
- Learn syntax: https://t.co/QbE0oBTnIw
- Deploy your Starknet contracts https://t.co/bW9xQXon9n
- Submit your project: https://t.co/fzWyAQfRmm
We’re hiring security researchers to help secure the Starknet ecosystem.
With the fast-growing pace of new builders launching projects on the network, the safety of users is paramount. Nethermind Security is expanding its team of auditors and formal verification experts.
📌Keep an eye on our open roles or apply to our Internship Program here: https://t.co/z9H12M7uQf
Cairo's design principles, inspired by Rust, revolve around safety, security, and efficiency. Cairo has many features that encourage (and force) writing good code 💻🔎https://t.co/UfqBzTwq9M
These features, coupled with the introduction of Sierra, ownership principles, and a strong typing system contribute to its standing as a secure and reliable programming language.
Nethermind Security has grown to become one of the main auditors in the Starknet ecosystem. @CairoLang is our forte, and we’ve had the pleasure of working with leading Cairo protocols @argentHQ, @aave, @zkxprotocol, @avnu_fi, @Starknet_id, @mybraavos, @cartridge_gg, @nounsprophouse, @zklend, @pragmaoracle, @CarmineOptions, @ohayo_dojo, @briqNFT, @SithSwap, @tokentable. Shout out to all of you for prioritizing the safety of Starknet users. 🙇
But blockchain security doesn’t stop with audits. To secure complex protocols with the highest degree of security we’re working on updating our formal verification tool Horus to work with the latest Cairo contracts. We hope to leverage the high-level structures of the Sierra IR, as well as recent developments in SMT theories, for reasoning about finite fields to scale Horus to significantly larger contract sizes than was previously possible.
We’re ready to help secure all amazing projects that are built now and in the future. We are here to help secure the Starknet ecosystem🤝🔒
Open Roles: https://t.co/z9H12M7uQf
Internship Program: https://t.co/jM6ppGTvzA
Big things are in store for Starknet for 2024. Join us and be part of the Starknet revolution. 🚀
We're looking for bright minds, creative problem solvers, and the weirdos keeping Starknet strange. Our team of Starknauts is expanding.
Let’s work on the big challenges ahead & deliver solutions to help further Starknet’s decentralization and security!
We'll contine to support leading ecosystem builders like @argenthq, @mybraavos, and @kasarLabs, forging tools and products that strengthen their efforts!
Upcoming Juno improvements
- Juno L3s
- Fast p2p syncing: Snapsync
- Juno mainnet shadow fork for testing
- Implement low latency novel consensus algorithm
-Integrate proofs into the full-node network
-Strong support and collaboration across core dev teams: Starknet core dev calls, client diversity tracker for Starknet
Upcoming Voyager improvements & other dev tooling
- Dockerize and publish Voyager for L3s
- AI integrations
- Improve API services
- Integrate Debug tooling for Cairo
- Improve developer experience
- Celestia / @eigen_da integration with Juno or Starknet
- Unified testing framework for nodes and sequencers
- Development of FHE libraries in Cairo together with Nethermind Research
- Working on large off-chain zk-proven workloads
- Formal verification tooling for Cairo
Beyond tooling, we're deeply involved in the @Starknet ecosystem, from Starklings by @OnlyDust_com to @ensdomains integration, @Cairolang education, and governance mechanism design. On the back of a recent grant, Nethermind Research will establish a Starknet Research council.
If you’re a builder of Starknet, Ethereum or other ecosystems & want to contribute to these projects - keep an eye on our open roles page this week!
https://t.co/z9H12M7uQf
🐺 Let’s shape Starknet into the go-to place for the sharpest minds to collaborate and innovate. 🐺
Starknet is preparing for a decentralized future - today marks a giant leap in that direction.
Over the past 12 months, the @Starknet community has laid the groundwork for today’s milestone.
The huge efforts around regenesis, the release of Cairo 1.0, the improved network speed, and P2P & sequencing in Pathfinder @equilibrium_co, Papyrus @StarkWareLtd and Juno @NethermindStark, have made the roadmap ahead that much clearer.
Many challenges lie ahead. We need to achieve the decentralization of sequencers, there’s ongoing efficiency work, network stability issues, and the development of better tooling has to keep going. Thousands of Cairo developers work daily to build robust applications and resilient infrastructure. We will get there.
Nethermind’s mission is to leverage the power of Starknet for building with computational integrity, ensuring a decentralized future that's not just a vision but a reality. Since 2019, we’ve been building tooling and infrastructure, hosting events and workshops, and creating career opportunities for current and newly hatched Cairo developers.
A huge shout out to the teams and team leads behind our Starknet projects - your work and dedication go a long way in onboarding new builders and users 🙇
🐺 Juno the full node Starknet client - @Iron_Gauntlets, @TheZiebaZone, @joshklop, @omerfirmak, @StrangerNeth, @0xLedgerLegend
🐺 @0xvoyageronline the Starknet block explorer & data analytics platform - @0x_bado, @kasiazerosiedem, @cheechyuanang, @ChenWenKang1, @AnuragiPrince
🐺 Starknet RPC - @doc_product, @anishgehl0t, @WongPhilex3463
🐺 Remix Plugin - @rohitrjn
🐺 Starknet SDK - @tjelailah
🐺 Starknet by Example - @julio4__, @EdgarBarrantes
🐺 Starknet.GO - @cicr_99
🐺 Cairo VM in GO - @rodro_pino
🐺Nethermind Security Cairo auditing - @chris_19061976, @Mauricio_0218
🐺Nethermind Research - @mpfzajac, @0xjorgeth, @CryptoJK007, @0xAlbertG
With many other Starknauts working behind the scene ❤️ including @swp0x0, @eniwhere_, @elicbarbieri, @DegenDeveloper, @OgorodniyBogdan
Of course, Starknet wouldn’t be Starknet without the amazing work of @EliBenSasson and @ukolodny. Your names are forever etched into the story of this ecosystem. We thank you for your limitless passion and dedication to this community, and Uri we send you strength and support. ❤️🙏
We’re ramping up our Starknet game. More announcements tomorrow!
We’re on the lookout for individuals passionate about building world-class blockchain solutions and tools.
Join us and shape the future of Ethereum and blockchain technology!
View our open positions 👇
https://t.co/cJHp87LlGm
@twinstake_io is looking for a Financial Operations Analyst who'll help the team with various financial operations and will play a fundamental role in its growth. You can apply here 👇https://t.co/IbIlQZCCLF
Do you like to think outside the blocks?
Join our team of developers and researchers passionate about solving the most challenging problems in #Ethereum, #Starknet, and the wider blockchain space!
🔗https://t.co/kxf8258HSj
Great opportunity for #LeadSoftwareEngineer 🔥🔥🔥
We are looking for a Lead Software Engineer who is passionate about leading project teams and ready to take the reins of our Engineering Team.
Apply https://t.co/uZn5JgAIDg or contact: [email protected]
We are looking for seasoned validator infra engineers (DevOps / SRE) who would like to participate in our Lido, nodes and other validator projects. Work involves, DVT, EigenLayer AVS, moving big validator clusters between data centers and clouds, analyzing client combinations etc
Today's update from the @Rocket_Pool community is here. This is episode 281 of Rocket Fuel for Nov 1st. It includes:
- @nethermind have RPL tokenomics suggestions
- result of rETH on yETH vote
- Oct raffle results
and more!
https://t.co/K2XBQa7YGL
Do you believe blockchain can bring transparency and integrity to intricate systems?
Join us in tackling some of the most challenging problems in #Ethereum, #Starknet and beyond.
Newly added open positions👇
https://t.co/cJHp87LlGm
Our very own @0xAlbertG presented 'Fiat-Shamir security of FRI and related SNARKs' during #zk10.
In case you missed it: https://t.co/gGQEJQ7NrN
Thanks to @zeroknowledgefm for the recordings 😍