repos
26
ecosystems
7
languages
3
commits
1,286
─── top repos · by commits
─── repositories
26 totalA STARK proof to sync a Bitcoin full node in an instant.
A Trust-minimized Bitcoin Bridge
bitvm repository
Smarter Bitcoin Contracts
A Trust-minimized Bitcoin Bridge
A STARK proof to sync a Bitcoin full node in an instant.
Smarter Bitcoin Contracts
Smarter Bitcoin Contracts
A STARK proof of Bitcoin's header chain
Inline Bitcoin scripts in Rust
Generate a validation proof over bitcoin block headers using StarkWare's Cairo toolchain
Bitcoin Script interpreter implemented in Rust
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Experimenting with recursive circuits in Plonky2 for zkCoins
Bitcoin Script interpreter implemented in Rust
Procedural Rust Macros for the BitVM rust implementation
Zerosync-StarkNet Proof Verification Toolkit
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Computes SHA256 of arbitrary length inputs.
─── peer developers
─── ecosystems
─── languages
- Rust13
- Cairo6
- TypeScript2
─── subscriber view
Unlock the full view of lucidLuckylee
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.