MozirDmitriy/teku
Open-source Ethereum consensus client written in Java
Repositories
MozirDmitriy/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
MozirDmitriy/doc.linea
Linea documentation
MozirDmitriy/linea-monorepo
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
MozirDmitriy/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
MozirDmitriy/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
MozirDmitriy/agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
MozirDmitriy/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
MozirDmitriy/l2beat
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
MozirDmitriy/atropos
Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
MozirDmitriy/go-ethereum
Go implementation of the Ethereum protocol
MozirDmitriy/alloy
Transports, Middleware, and Networks for the Alloy project
MozirDmitriy/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
MozirDmitriy/erigon
Ethereum implementation on the efficiency frontier
MozirDmitriy/nethermind
A robust execution client for Ethereum node operators.
MozirDmitriy/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
MozirDmitriy/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
MozirDmitriy/prysm
Go implementation of Ethereum proof of stake
MozirDmitriy/powdr
Performance and security acceleration for zkVMs.
MozirDmitriy/crypto
Cryptographic primitives used in Polygon Miden rollup
MozirDmitriy/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
MozirDmitriy/agglayer
Rust implementation of the Agglayer.
MozirDmitriy/EIPs
The Ethereum Improvement Proposal repository
MozirDmitriy/Plonky3
A toolkit for polynomial IOPs (PIOPs)
MozirDmitriy/zebra
Zcash - Financial Privacy in Rust 🦓
MozirDmitriy/ethrex
Minimalist, stable, modular and fast implementation of the Ethereum protocol in Rust
MozirDmitriy/monorepo
Commonware Library Primitives and Examples
MozirDmitriy/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
MozirDmitriy/sp1
The fastest, most feature-complete zkVM for developers.
MozirDmitriy/openvm
A performant and modular zkVM framework built for customization and extensibility.