UBIDECO Labs

Ubiquitous deterministic computing laboratories. Strict Types, Cation Language @CationLang, AluVM

[UBIDECO Labs @ubideco]

A site dedicated to #Cation - the new programming language based on Category theory - is out. Please check our work in progress on the language design and let us know what do you think

https://t.co/gOSrdWLPbj

[UBIDECO Labs @ubideco]

The crate which we did for the #Rust ecosystem to amplify the capabilities of Rust programming language, has achieved a milestone of more than 1 million downloads!

[BTC Times @BTCTimescom]

The @rgbconsortium & @dr_orlovsky have released RGB I.0 — a scalable smart contract system for #Bitcoin & Lightning using client-side validation, zk-STARKs, and single-use seals. 🟥🟩🟦

https://t.co/BAr66rewKC

[LNP/BP Labs @lnp_bp]

Today, as a part of @indcs_org, together with @rgbconsortium, @ubideco and @pandoraprime_ch we are glad to present the formal specification for RGB smart contracts

[UBIDECO Labs @ubideco]

Proudly built on UNIDECO stack: Strict Types, AluVM, zk-AluVM, SONIC polynomial computer

[LNP/BP Labs @lnp_bp]

LNP/BP Standards Association announces RGB version 0.12 with the release candidate 1. As of today, it is the most tested and robust version.

Over the last half of the year, we have brought zk-STARK readiness to the RGB (making it "zk-STARKy"), a huge performance boost, and a lot of simplification and security improvements.

The release candidate is for all developers working with RGB, so they can integrate it into their software.

[LNP/BP Labs @lnp_bp]

New #RGB milestone: beta 6 of v0.11 is out with improvements on interfaces inheritance, scripting, data containers and invoicing.

Beta 6 comes with API stabilization & ~100 of end-to-end tests, ensuring that even most complex user stories are working.

https://t.co/0Y8G3MacUm