Skip to content

tacit

Utility

Verified Builder

smart contracts on bitcoin

ShippingLast ship 2h ago

Latest ship

Active development: 100 commits across 1 contributor

Code ActivitySource linked

10 active day(s) in z0r0z/tacit.

Builder activity

Meaningful, source-backed updates per week. Commits are aggregated, not counted individually.

Build timeline

  1. Active development: 100 commits across 1 contributor

    Code ActivitySource linked

    10 active day(s) in z0r0z/tacit.

    View evidence
  2. v1.0.0 — Tacit

    Github ReleaseSource verified

    Tacit's first canonical mainnet release: a confidential (shielded-balance) settlement pool with native ETH/USDC/USDT wrap-unwrap, a Bitcoin-native TAC bridge, a confidential AMM (cETH/cUSDC), a cBTC/cUSD CDP suite, and a cross-chain fast lane between Bitcoin and Ethereum-side value — all settled through SP1 zero-knowledge proofs. Pool: 0x0000000098A73197B3255aD9db1ed8544410f5Ba (Etherscan-verified) Prover binaries for the always-on relay are published separately under prover-bins-v7. This tag marks the deployed, live-on-mainnet state of the main branch.

    View evidence
  3. prover-bins-v7 (gen4 reflection guest)

    Github ReleaseSource verified

    Rebuilds bitcoinprove against the gen4 reflection ELF (bitcoinrelay_vkey 0x0097a385128aa14d92aebd08e5550b4b488df8e62de440ee225304f3ebd18c8d). All exec-* settle binaries are byte-identical to prover-bins-v6 (the settle guest is unchanged this generation).

    View evidence
  4. Active development: 100 commits across 1 contributor

    Code ActivitySource linked

    10 active day(s) in z0r0z/tacit.

    View evidence
  5. Active development: 100 commits across 1 contributor

    Code ActivitySource linked

    10 active day(s) in z0r0z/tacit.

    View evidence
  6. Active development: 100 commits across 1 contributor

    Code ActivitySource linked

    11 active day(s) in z0r0z/tacit.

    View evidence
  7. prover-bins-v6 (stealth lock/claim provers)

    Github ReleaseSource verified

    Adds the stealth lock/claim provers; all binaries built against the pinned confidential guest. A native note's owner is keccak(nk ‖ dom), so a sender cannot mint a spendable note for a third party: choosing nk keeps spend authority with the sender, and deriving the owner from a pubkey mints a note nobody can spend. The stealth path escrows to a one-time key instead, and the recipient claims it into a note under an nk only they can derive — the sound way to pay someone. New: exec-stealthlock, exec-stealthclaim, exec-stealthrefund, exec-stealthlockbatch, exec-bridgestealthmint. T

    View evidence
  8. prover-bins-v5 (settle harnesses rebuilt against pinned guest)

    Github ReleaseSource verified

    Settle harness binaries rebuilt against the pinned confidential guest. The v4 exec-* binaries embedded a superseded guest, so every settle proof they produced was rejected on-chain. This release rebuilds all 19 against the pinned guest ELF. Verification chain: - pinned guest ELF sha256 170504091f44dcaff09ee844e78e446244078fef687eeacf6e61378961e5bba0 - derives programvkey 0x00711089f0dc47b5512aae81461535cfd754ecbaec86dc88dc821c3ef1f4c0a4 - that vkey is present in the live pool's deployed runtime bytecode - all 19 binaries byte-verified to embed exactly that ELF, and each asserts `EXPECT

    View evidence
  9. prover-bins-v4

    Github ReleaseSource verified

    Rebuilt bitcoinprove against the current pinned reflection-prover ELF, matching the gen1 redeploy's BITCOINRELAY_VKEY. Other exec-* binaries carried forward unchanged from v3.

    View evidence
  10. SP1 prover binaries (swapbatch vkeys)

    Github ReleaseSource verified

    bitcoinprove @ bitcoinrelayvkey 0x00edafc6; exec-* @ programvkey 0x0082db7e. Matches contracts/sp1/confidential/elf-vkey-pin.json.

    View evidence
  11. SP1 prover binaries (V2 vkeys) prover-bins-v2

    Github ReleaseSource verified

    New-vkey prover binaries: settle exec-* (programvkey 0x00014cc4) + bitcoinprove (bitcoinrelayvkey 0x00580f84). For the V2 pool 0x00000000000f5DE1.

    View evidence
  12. SP1 prover binaries (settle harnesses) v1

    Github ReleaseSource verified

    Prebuilt SP1 network-prove settle binaries (exec-wrap/lp/swap/unwrap/lpremove), vkey 0x003a21ba, for worker-relay Docker build. See ops/runbooks/PROVER-BOX-SETUP.md. bitcoin_prove (reflection) added separately when rebuilt.

    View evidence

Research notes

Written by Dawnscan researchers and reviewed before publishing. Commentary with sources — not the project's own claims, and not evidence of shipping.

No published notes on tacit yet.

    Know something about tacit? Sign in with wallet to submit a research note. Notes are reviewed before they appear here.

    Sources