-
-
-
rust-bitcoin-script-stack Public
Forked from FairgateLabs/rust-bitcoin-script-stackHelper lib to write complex bitcoin scripts
Rust Apache License 2.0 UpdatedJun 28, 2024 -
better_scripts Public
Another take on https://github.com/BitVM/rust-bitcoin-script
Rust UpdatedJun 23, 2024 -
-
rust-bitcoin-scriptexec Public
Forked from BitVM/rust-bitcoin-scriptexecRust Creative Commons Zero v1.0 Universal UpdatedMar 3, 2024 -
-
-
rv32i-to-bitvm Public
Forked from zippiehq/rv32i-to-bitvm -
-
zerosync_setup Public
My setup for running and testing ZeroSync on an aws machine
-
ZeroSync Public
Forked from ZeroSync/ZeroSyncA STARK proof to sync a Bitcoin full node in an instant.
-
LightSync Public
Generate a validation proof over bitcoin block headers using StarkWare's Cairo toolchain
-
giza Public
Forked from maxgillett/gizaA Cairo VM prover implemented using Winterfell
Rust Apache License 2.0 UpdatedSep 22, 2022 -
cairo-lang Public
Forked from starkware-libs/cairo-langFork of the cairo-lang repository to make the recursive verifier work with giza
Python Other UpdatedSep 18, 2022 -
cairo-sha256 Public
Forked from cartridge-gg/cairo-sha256Computes SHA256 of arbitrary length inputs.
Cairo MIT License UpdatedAug 16, 2022 -
winterfell Public
Forked from maxgillett/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedJul 3, 2022 -
zkRelay Public
Forked from informartin/zkRelayPython GNU Lesser General Public License v3.0 UpdatedApr 7, 2021