Tau (@Tau_net) header
Tau (@Tau_net) profile picture

Tau

@Tau_net

Programmable currency. Programmable everything.

 Worldwide
tau.net/
Joined February 2015
  • Tweets3.9K
  • Following188
  • Followers15.3K
575Media
Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)Photo by Tau (@Tau_net)
Pinned Tweet
Tau (@Tau_net) profile picture
Tau
@Tau_netAug 4
Blockchain upgrades usually require new software and a coordinated restart across all nodes. Tau Net introduces technology that allows a blockchain to amend itself without a hard fork, client updates, or downtime. This demo shows how Tau Net users can upgrade the network's consensus mechanism simply by stating their requirements and agreeing to them. You can change the law of the Tau Net blockchain right inside a block, ushering in a new era of blockchain and software governance capabilities. Showcasing Pointwise Revision: Pointwise Revision is a built-in mechanism that jointly takes new software requirements and the current specification as input. Then outputs a program that consistently satisfies both the new requirement and the maximum of the previous specification. This allows software to update correctly according to given rules, and it is all handled by providing only the required changes to the software. Explore testnet alpha here: github.com/IDNI/tau-testnet
10
32
3
74
7,722
2,000 USDT total prize pool. Our $AGRS trading competition with @origamitech_ is live. Pair: AGRS/USDT on MEXC Rankings: eligible trading volume Ends: 25 Nov, 00:00 UTC Rules and entry: app.origami.tech/competition…
Official Tau and Origami Tech competition artwork showing 2,000 USDT and MEXC branding on a purple geometric background.

ALT Official Tau and Origami Tech competition artwork showing 2,000 USDT and MEXC branding on a purple geometric background.

2
1
7
645
1/4 Good catches from the Tau team in the 9 November commits: rule updates that change behavior, better timing checks and invalid-recipient checks for testnet transactions. 👇
2
7
613
more replies
3/4 Tomáš fixed a snag for fresh testnets: the starting block's zero timestamp could block timed-release transfers. Admission now estimates next-block time; final block-time checks still decide inclusion. github.com/IDNI/tau-testnet/…
fix(#74): admission clock for parks, retract, and i5 by tklip · Pull Request #92 · IDNI/tau-testnet

fix(#74): admission clock for parks, retract, and i5 by tklip · Pull Request #92 · IDNI/tau-testnet

Summary Admission time checks use the later of chain tip timestamp and wall clock, as a best guess of the next block time. Retractable parks work right after genesis without changing apply or genes...

github.com
1
2
197
4/4 Invalid recipient keys can look well formed. Tomáš's fix rejects them before transactions enter the testnet queue, including after a chain reorganisation. Block checks are unchanged. github.com/IDNI/tau-testnet/…
Refuse invalid BLS recipient keys at mempool admission by tklip · Pull Request #96 · IDNI/tau-tes...

Refuse invalid BLS recipient keys at mempool admission by tklip · Pull Request #96 · IDNI/tau-tes...

Problem py_ecc KeyValidate returns False for a bad point and does not raise. _validate_bls12_381_pubkey in commands/sendtx.py ignores that return value. So the helper accepts a bad key. Admission d...

github.com
2
175
1/4 Devs David and Andrei keep Tau testnet dev moving: catching conflicting rules, repairing a testnet miner restart path and avoiding unnecessary rebuilds. 👇
2
2
15
895
more replies
3/4 A policy or governance change can require a fresh rule checker. The testnet's fallback miner lacked a way to restart it. Andrei added that path, rebuilding from the program baseline. github.com/IDNI/tau-testnet/…
fix(createblock): let the fallback miner proposal respawn its evaluator · IDNI/tau-testnet@fe6b128

fix(createblock): let the fallback miner proposal respawn its evaluator · IDNI/tau-testnet@fe6b128

When a block activates governance or revises a policy composite, the engine collapses the proposal's evaluator with proposal.reset(), which needs a respawn callback. The authority's...

github.com
1
3
325
4/4 Updating Tau's commit date and ID used to force unchanged files to recompile. David isolated those details in one compiled file. Less needless rebuild work for contributors. github.com/IDNI/tau-lang/com…
Keep the commit hash and date in one translation unit · IDNI/tau-lang@a24dcb4

Keep the commit hash and date in one translation unit · IDNI/tau-lang@a24dcb4

Every target compiled with -DTAU_GIT_* defines, and defs.h included the generated header holding the commit date and hash, so each commit changed the compile of every file and ccache never hit acro...

github.com
2
283
1/4 More progress on Testnet: Andrei Korotkoff broadened testnet signature and rule checks, including during replay. Useful work for developers and node operators. Merged source; rollout unverified. 👇
1
7
2
22
4,100
more replies
3/4 Rule checks now cover block application and replay, including rule offers. Andrei's code rejects reserved inputs and wrong value sizes. Its text checks do not prove a rule is scoped correctly. Merged testnet source. github.com/IDNI/tau-testnet/… github.com/IDNI/tau-testnet/…
fix(engine): run the user-rule screens on op-0 txs at apply · IDNI/tau-testnet@a477480

fix(engine): run the user-rule screens on op-0 txs at apply · IDNI/tau-testnet@a477480

A proposer can include a user_tx that never went through admission. Apply now refuses the same rule text admission refuses -- reserved input streams, balance-reading fee rules, o5/o8 writes without...

github.com
1
4
2,842
4/4 A practical detail for node operators: Andrei's signature work adds a required Arkworks BLS dependency, with no fallback. New tests compare valid and malformed signatures. github.com/IDNI/tau-testnet/…
feat(signing): verify transaction signatures with arkworks · IDNI/tau-testnet@d6e5406

feat(signing): verify transaction signatures with arkworks · IDNI/tau-testnet@d6e5406

Transaction signature verification moves from py_ecc to py_arkworks_bls12381, which returns the same verdicts as py_ecc G2Basic.Verify at about 150x less cost per verify. Nodes must agree on every ...

github.com
6
2,796
1/3 Lead Dev David removed repeated solver setup and fixed an empty-value crash in Tau Language yesterday. Two useful improvements for developers working with numeric conditions and logic values. 👇
2
15
1,553
2/3 When simplifying numeric regions, Tau created a new solver for each related check. David's change keeps the solver ready and adds or removes conditions as needed, cutting repeated setup work. In development. github.com/IDNI/tau-lang/com…
Share one solver over the feasibility checks of an hsb normalization · IDNI/tau-lang@e42382c

Share one solver over the feasibility checks of an hsb normalization · IDNI/tau-lang@e42382c

The product of to_dnf and the cells of decompose started a fresh cvc5 solver for every check. The fold of two small 2-D constants took 90 s, nearly all of it creating solvers. An lra_session keeps ...

github.com
1
4
725
3/3 A newly created, empty Tau logic value could crash a check for zero or one. David added guards that treat it as zero, plus a regression test for both checks. A useful catch for library developers. github.com/IDNI/tau-lang/com…
Read the empty tau_ba element as zero · IDNI/tau-lang@e8d7169

Read the empty tau_ba element as zero · IDNI/tau-lang@e8d7169

is_zero and is_one dereferenced the main formula of a default-constructed element and crashed. The default constructor stays: the constant variant needs it. is_zero answers true and is_one false.

github.com
5
627
Tau retweeted
l0g1x (@tau_l0g1x) profile picture
l0g1x@tau_l0g1xOct 30
Round 3: Sun 1 Nov, 12:00 UTC. Taumorrow Chess vs Claude Opus 5.5, 10 games, 5 per colour. Since 9 : 1 vs Sonnet 5.5 the engine learned from its own positions only, admitted by the logic. About 100,000 characters of Tau formulas, no neural net. chess.taumorrow.com
2
14
4
24
1,798
People should be able to use Email as intended. They can with Tau Wallet with their on-chain rules that stop their funds being stolen. - even if a signed transfer is submitted. - even if your private key is leaked The future of self-custody is your rules, enforced on-chain.
CZ 🔶 BNB (@cz_binance) profile pictureCZ 🔶 BNB
@cz_binanceOct 28
Do NOT click links in emails. Do NOT download attachments. Even from people you trust, they may unknowningly have a virus on their computer.
2
10
29
3,094
Behind every Binance or other crypto hack are people who expected their savings to be safe. Their safety conditions should be part of how the software is built. That’s the promise Tau is working toward: programs that enforce on-chain rules users specify.
14
1
32
2,619
The Binance hack shows that we urgently need better fraud prevention for Wallets. Tau's Wallet enforces your spending rules on-chain, so the node enforces an approved-address rule. An unapproved transfer is blocked even if the front end is compromised.
CZ 🔶 BNB (@cz_binance) profile pictureCZ 🔶 BNB
@cz_binanceOct 29
This 👇 seems to be caused by teapawt.net/DebugBear/status/21158… it appears to be an injection attack on the front end. injecting incorrect tx, but showing a valid tx for the user to sign.
4
22
5
42
5,709
Load more