radik878

@radik878 ยท User

GitHub profile โ†— ยท Compare

10 followers121 repositories

Repositories

radik878/teku

๐Ÿš€ Open-source Ethereum consensus client written in Java

โ˜… 0Forks 0

radik878/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

โ˜… 0Forks 0

radik878/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.

โ˜… 0Forks 0

radik878/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.

โ˜… 0RustForks 0

radik878/atropos

Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments

โ˜… 0Forks 0

radik878/reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

โ˜… 1RustForks 0

radik878/wasmtime

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

โ˜… 0Forks 0

radik878/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

โ˜… 0RustForks 0

radik878/agave

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

โ˜… 0RustForks 0

radik878/l2beat

L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.

โ˜… 0TypeScriptForks 0

radik878/foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

โ˜… 1RustForks 0

radik878/prysm

Go implementation of Ethereum proof of stake

โ˜… 0GoForks 0

radik878/leo

๐Ÿฆ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

โ˜… 0RustForks 0

radik878/elliptic-curves

Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

โ˜… 0RustForks 0

radik878/erigon

Ethereum implementation on the efficiency frontier

โ˜… 0GoForks 0

radik878/ethrex

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

โ˜… 0RustForks 0

radik878/AEADs

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

โ˜… 0Forks 0

radik878/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

โ˜… 0RustForks 0

radik878/miden-client

Client library that facilitates interaction with the Miden blockchain

โ˜… 0RustForks 0

radik878/Ziren

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

โ˜… 0RustForks 0

radik878/EIPs

The Ethereum Improvement Proposal repository

โ˜… 0PythonForks 0