Skip to content
@Bitcoin-Wildlife-Sanctuary

Bitcoin Wildlife Sanctuary

A cat, a wolf (stark), two leaves (Merkle tree), and a circle (circle curve)

Popular repositories Loading

  1. bitcoin-circle-stark bitcoin-circle-stark Public

    Building blocks of a Circle STARK verifier in Bitcoin script

    Rust 135 23

  2. catnet catnet Public

    Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺

    Python 20 5

  3. covenants-gadgets covenants-gadgets Public

    Gadgets for covenants: Schnorr trick and txid reflection

    Rust 16 6

  4. covenants-examples covenants-examples Public archive

    Examples of covenants in Bitcoin script

    Rust 15 4

  5. scrypt-poc-bridge scrypt-poc-bridge Public

    TypeScript 11 3

  6. bitcoin-simulator bitcoin-simulator Public

    a simulator of a local bitcoin testnet based on Rust and Sqlite

    Rust 7 6

Repositories

Showing 10 of 29 repositories
  • circle-plonk-recursive-verifier-circom Public

    Circom for the Circle Plonk recursive verifier

    Bitcoin-Wildlife-Sanctuary/circle-plonk-recursive-verifier-circom’s past year of commit activity
    Circom 3 MIT 0 0 0 Updated Dec 24, 2024
  • circle-plonk Public

    Using stwo to implement a Plonk prover and verifier over Circle STARK

    Bitcoin-Wildlife-Sanctuary/circle-plonk’s past year of commit activity
    Rust 4 2 0 0 Updated Dec 24, 2024
  • stwo Public Forked from starkware-libs/stwo

    A fork of stwo for Bitcoin-friendly proof systems

    Bitcoin-Wildlife-Sanctuary/stwo’s past year of commit activity
    Rust 0 Apache-2.0 91 0 1 Updated Dec 24, 2024
  • circle-plonk-plus Public

    A constraint system for Circle Plonk Plus

    Bitcoin-Wildlife-Sanctuary/circle-plonk-plus’s past year of commit activity
    1 MIT 0 0 0 Updated Dec 24, 2024
  • bitcoin-circle-stark Public

    Building blocks of a Circle STARK verifier in Bitcoin script

    Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark’s past year of commit activity
    Rust 135 MIT 23 2 3 Updated Dec 23, 2024
  • circom Public Forked from iden3/circom

    zkSnark circuit compiler

    Bitcoin-Wildlife-Sanctuary/circom’s past year of commit activity
    Rust 0 GPL-3.0 281 0 0 Updated Dec 23, 2024
  • poseidon2-m31 Public

    Poseidon2 over the M31 field

    Bitcoin-Wildlife-Sanctuary/poseidon2-m31’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Dec 22, 2024
  • circom-compat Public Forked from arkworks-rs/circom-compat

    Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

    Bitcoin-Wildlife-Sanctuary/circom-compat’s past year of commit activity
    Rust 0 Apache-2.0 122 0 0 Updated Dec 19, 2024
  • dsl Public

    Compiler infrastructure for Bitcoin Script

    Bitcoin-Wildlife-Sanctuary/dsl’s past year of commit activity
    Rust 3 MIT 1 0 0 Updated Dec 14, 2024
  • rust-bitcoin-scriptexec Public Forked from BitVM/rust-bitcoin-scriptexec

    Bitcoin Script interpreter implemented in Rust

    Bitcoin-Wildlife-Sanctuary/rust-bitcoin-scriptexec’s past year of commit activity
    Rust 2 CC0-1.0 24 0 0 Updated Dec 14, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…