DeVikingMark/teku
Open-source Ethereum consensus client written in Java
Repositories
DeVikingMark/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
DeVikingMark/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
DeVikingMark/doc.linea
Linea documentation
DeVikingMark/sonobe
Experimental folding schemes library
DeVikingMark/bittensor
Internet-scale Neural Networks
DeVikingMark/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.
DeVikingMark/hey
Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿
DeVikingMark/flower
Flower: A Friendly Federated AI Framework
DeVikingMark/miden-vm
STARK-based virtual machine
DeVikingMark/atropos
Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
DeVikingMark/cometbft
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
DeVikingMark/alloy
Transports, Middleware, and Networks for the Alloy project
DeVikingMark/compiler
Compiler from Rust to Miden Assembly
DeVikingMark/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
DeVikingMark/psyche
An open infrastructure to democratize and decentralize the development of superintelligence for humanity.
DeVikingMark/tempo
the blockchain for payments
DeVikingMark/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
DeVikingMark/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
DeVikingMark/miden-base
Core components of the Miden protocol
DeVikingMark/nethermind
A robust execution client for Ethereum node operators.
DeVikingMark/agglayer
Rust implementation of the Agglayer.
DeVikingMark/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
DeVikingMark/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
DeVikingMark/nitro
Nitro goes vroom and fixes everything
DeVikingMark/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
DeVikingMark/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
DeVikingMark/pico
DeVikingMark/l2beat
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
DeVikingMark/celestia-app
Celestia consensus node