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

ben2077

some description about me.

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

fuel-core

Rust full node implementation of the Fuel v2 protocol.

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 ⚡️

loop

Lightning Loop: A Non-Custodial Off/On Chain Bridge

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

reth

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

rgb20-usdt

An USDT token example for rgb20

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!

rusty-kaspa

Kaspa full-node and related libraries in the Rust programming language. This is a stable version at the initial rollout phases.

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

ton

Main TON monorepo

utreexod

A fully validating Bitcoin node with Utreexo support

winterfell

A STARK prover and verifier for arbitrary computations