Repositories
lucidLuckylee/leon
Léon - The Neovim Flake
lucidLuckylee/Ligerito.jl
implentation of Ligerito
lucidLuckylee/Spotify--Tidal
Firefox web browser extension to scrape the spotify library and carry it over to Tidal.
lucidLuckylee/spotify-downloader
A modular, Python-based command-line application for downloading music from YouTube using yt-dlp. Supports interactive menu navigation, system resource checks, pending download tracking, and logging.
lucidLuckylee/Mathilda
My NixOs configuration.
lucidLuckylee/BitVM
A Trust-minimized Bitcoin Bridge
lucidLuckylee/rust-bitcoin-script-analyzer
Fork of BitVM's rust-bitcoin-script with a better and reworked stack analyzer.
lucidLuckylee/rv32i-to-bitvm
lucidLuckylee/rust-bitcoin-scriptexec
lucidLuckylee/dotfiles
my configuration Files
lucidLuckylee/bitvm-ctv-demo
lucidLuckylee/pace_2024
Pace Challenge 2024
lucidLuckylee/elementlabs-bitvm
lucidLuckylee/rust-bitcoin-script-stack
Helper lib to write complex bitcoin scripts
lucidLuckylee/better_scripts
Another take on https://github.com/BitVM/rust-bitcoin-script
lucidLuckylee/bitvm_proc_macro
Proc Macros for BitVM
lucidLuckylee/bitcoin
lucidLuckylee/zerosync_zpv
ZeroSync Zipped Proof Verifier
lucidLuckylee/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
lucidLuckylee/LightSync
Generate a validation proof over bitcoin block headers using StarkWare's Cairo toolchain
lucidLuckylee/zerosync_setup
My setup for running and testing ZeroSync on an aws machine
lucidLuckylee/giza
A Cairo VM prover implemented using Winterfell
lucidLuckylee/cairo-lang
Fork of the cairo-lang repository to make the recursive verifier work with giza
lucidLuckylee/cairo-sha256
Computes SHA256 of arbitrary length inputs.
lucidLuckylee/winterfell
A STARK prover and verifier for arbitrary computations