ben2077

cairo_vm.go

cairo_vm.go is a Go 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.

ark

axelar-amplifier

Permisionless Connections Service run on the Axelar Network

ben2077

some description about me.

bitcoin

Bitcoin Core integration/staging tree

bp-core

BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol

btcd

An alternative full node bitcoin implementation written in Go (golang)

dlc-stack

Contains projects for the Bitcoin Attestors and a headless DLC/BTC Wallet for DApps

elements

Open Source implementation of advanced blockchain features extending the Bitcoin protocol

evmos

Evmos is the first decentralized EVM chain on the Cosmos Network. It's implementing the first EVM stack focused on native, cross-chain applications. Evmos is the flagship implementation of Ethermint, an EVM library built for the Cosmos Network by the Evmos Core Developement Team.

header_chain

A STARK proof of Bitcoin's header chain

hedgehog

A protocol for asynchronous layer two bitcoin payments

jolt

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

lambdaworks_stark_platinum

STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.

lnd

Lightning Network Daemon ⚡️

pool

Lightning Pool: a non-custodial batched uniform clearing-price auction for Lightning Channel Leases (LCL). An LCL packages up inbound channel liquidity (ability to receive funds) as a fixed income asset with a maturity date expressed in blocks.

pymatt

Framework for sMATT contracts

rgb-wallet

rgb20-usdt

An USDT token example for rgb20

rust-bitcoin

Rust Bitcoin library

rust-dlc

Rust library for working with Discreet Log Contracts

rust-lightning

A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!

scarb

The Cairo package manager

stone-prover

finally

subspacer

Scalable layer-2 registry and prover for subspaces

tapleaf-circuits

A proof-of-concept implementation of BitVM for bristol circuits

taproot-assets

A layer 1 daemon, for the Taproot Assets Protocol specification, written in Go (golang)

tapsim

winterfell

A STARK prover and verifier for arbitrary computations