Any company working on vibe coding formal verification and then formally verified optimization?

VAT is the most stupid tax, if you use a service or product as part of your job, then you don't get taxed, but everything should qualify as part of my job, a bed is part of my job, if I don't sleep, I can't work, stupid incentives. No wonder invented by tax-addict french.

We could remove gas metering by requiring and verifying the proof of gas usage of contracts when they are deployed. Both upper bound usage and after-execution usage would be proven. The proof verification would still be gas-metered.

You wonder about transaction, the new transaction extension, general transaction, what it can do, how to use it to its fullest, Join my online presentation May 25th 6pm WAT (UTC+1)

My view on JAM token, the issue with polkadot wasn't its token, it was an extremely heavy barrier to entry: the technical barriers were: SDK unstable, poorly documented, trade-off always for performance resulting in difficult APIs (no integrated opt-in metering, initially not

🛠️ Reminder! Our next Runtime Developer Guide session is tomorrow at 6 PM WAT on Discord! We're excited to host Gui from Parity Technologies, a Polkadot Fellow and longtime FRAME contributor. 📚 Topic: Transactions and Transaction Extensions in Polkadot-SDK Gui will explore

Transaction, transaction extensions, session in about 10minutes, discord

PoS network running a full bitcoin node, where validators sign to send to a multisig UTXO of the next validator set every session. Multisig is 2/3 initially and decreasing with time. Any different signing or absence of signing results in slashing of stake. Validators sign when

Carrying umbrella like the knight his sword

"(e.g. if PoP would be available already 1st thing I would do would be increasing farming rewards for individuals w PoP on Hydration which would allow better, wider reward distribution w/o risk of concentration for 1-few whales)"

Noir-lang have unconstrained functions, it allows for computation that are not included in the generated proof. One basic example you need the square root of a number, you compute it in an unconstrained function, then in the circuit you check the result squared is the original

In JAM the data availability system for work package is done through the export of segment in the data-lake or it is another protocol? The data-lake is available to other nodes or mostly only shared between JAM "validators" and to be used by services and between services in

Future of programming is a language that can express complete specification, then AI/compiler will prove properties and write the executable. C, Java, Rust,... are all languages that enable a safer and easier expression of programs while keeping a more or less efficient

Any black spot in the polkadot-sdk? Any unclear part?

Maybe the next revolution will be from a DAO hiring mercenaries.

Polkadot SDK light clients don't support calling runtime apis (isn't it?), nor pallet views. Maybe the runtime code should be stored in pages, then the node can send to the light client the relevant pages alongside the relevant storage to execute the runtime api.