Active development: 100 commits across 1 contributor
Code ActivitySource linked
10 active day(s) in z0r0z/tacit.
Utility
Verified Buildersmart contracts on bitcoin
Code ActivitySource linked
10 active day(s) in z0r0z/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 evidenceGithub 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 evidenceCode ActivitySource linked
10 active day(s) in z0r0z/tacit.
View evidenceCode ActivitySource linked
10 active day(s) in z0r0z/tacit.
View evidenceCode ActivitySource linked
11 active day(s) in z0r0z/tacit.
View evidenceGithub 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 evidenceGithub 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 evidenceGithub 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 evidenceGithub ReleaseSource verified
bitcoinprove @ bitcoinrelayvkey 0x00edafc6; exec-* @ programvkey 0x0082db7e. Matches contracts/sp1/confidential/elf-vkey-pin.json.
View evidenceGithub ReleaseSource verified
New-vkey prover binaries: settle exec-* (programvkey 0x00014cc4) + bitcoinprove (bitcoinrelayvkey 0x00580f84). For the V2 pool 0x00000000000f5DE1.
View evidenceGithub 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 evidenceWritten 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.