8000 arrose / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View arrose's full-sized avatar
19 followers · 10 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@ZeroKnowledgefm

Block or report arrose

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Rust 4,829 679 Updated Jul 4, 2025

ProvableHQ / snarkOS

A Decentralized Operating System for ZK Applications

Rust 4,455 2,676 Updated Jul 4, 2025

ProvableHQ / leo-docs-source

📄 Documentation for Leo 🦁

Mermaid 327 221 Updated Jun 20, 2025

omni / token-bridge

Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross chain transfers

JavaScript 109 52 Updated Nov 25, 2021

sdiehl / bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskell 541 48 Updated Dec 25, 2022

< 39DF span class="text-normal">tendermint / tendermint

⟁ Tendermint Core (BFT Consensus) in Go

Go 5,810 2,099 Updated Jul 6, 2025

openethereum / parity-ethereum

The fast, light, and robust client for Ethereum-like networks.

Rust 6,842 1,719 Updated Nov 1, 2020
0