Summit in Paris, France covering all angles of DeFi security including auditing, tooling, and bug mitigation, by exploring some of the biggest DeFi exploits and diving into practical ways to increase security coverage for code.
Support to organize Ethereum education and grassroots community activities in Malaysia, including a conference and hackathon, local meetups, and a hacker house.
Data Availability Sampling (DAS) R&D work that includes developing a hardened S-Kademlia prototype, writing a literature review and summaries, and supporting other ongoing DAS grants.
Consensus layer
Distributed Systems and/or Formal Verification Research
Self-hosted infrastructure tool that helps stakers and validators with Ethereum node/client maintenance by providing an overview of the upcoming duties of their active validators.
Continued development of the Nimbus consensus layer client, which involves sustaining performance and stability on production beacon chain, performing R&D on light clients, and creating public documentation.
Create a set of tools that improves developer experience and enables any developer to integrate the Anon Aadhaar circuit with the proof carrying data (PCD) software development kit (SDK).
Chiquito is a step-based high-level Rust DSL (Pychiquito is a Python DSL for Chiquito) that provides better syntax and abstraction for constraint building and column placement when writing plonkish circuits and has a halo2 backend, and other backends are in the works.
Decentralized, peer-to-peer, and permissionless multiwriter event feed that is both anonymous and private. A library that implements the protocol and a proof-of-concept application that uses the library will also be developed.
Supporting an EPFL Cryptographic Research Group for one year, led by Associate Professor Alessandro Chiesa and comprising two PhD students and one postdoctoral researcher.
Proof-of-concept implementation and a technical writeup of HyperNova, a new folding/accumulation scheme similar to halo2 but for sum check-based protocols.
Expand Ethereum transaction signatures to biometric attestation methods by developing a smart contract wallet with P-256 signature verification and a zk-SNARK on-chain verifier.
Cryptography & zero knowledge proofs
Rust Implementation of Interactive Zero-Knowledge Protocols
Build open-source Rust implementations of foundational multi-party computation components, and implement a state of the art “Silent OT” protocol, i.e. Ferret.
Email verification system using zero-knowledge proofs (ZKPs), which developers can use to build various applications by designing the content of the emails to be verified.
Continued development of the Fluffy ultralight client for the Portal Network, aiming to enable resource-restricted devices to access and contribute to the Ethereum network without needing to sync the full state.
Continued development of the Nimbus execution layer client, continuing to productionize by improving performance and stability as well performing R&D on light clients and creating public documentation.
Program that provides staking resources, education, and guidance in Spanish to support Latin American communities and individuals who want to run their own nodes and validators.
An open-source Ethereum explorer simplifying and making data more accessible to non-technical users, while evolving the current UX standard for explorers.