keyanm retweetet
keyanm
187 posts
Big shoutout to @atlanter and @okhodakivskyi from @lantr_io as they had a pivotal role in helping us optimize the node.
Phil @phil_uplc
Update on Midgard: We have a functional node, with support for state settlement on the L1, and state commitment finalization. You can transact on the L2 at lightening speeds with low latency and the results are displayed in your wallet (a fork of Lace) in real-time. Next up in the pipeline is the delivery of L1 deposits and withdrawals, and the forced transaction inclusion mechanism. Things are coming together nicely and we’re extremely excited to bring this into the hands of the community.
English
keyanm retweetet
@keyanmskt You want to show future midgard contribution right ^^ :)
English
Who is down to make a MVP for this? With let’s say 3 projects. I don’t mind coordinating efforts/contributing. My only requirement is fully OSS repo to participate.
Matthieu Pizenberg@mattpiz
Track all on-chain network fees generated by a project (token on dexes, built protocols activity, etc.). Nobody built something like that open source right? @TapTools @poki_portfolio @BendingAI @SteelSwap @SundaeSwap @liqwidfinance @strikecardano
English
@keyanmskt Your flat code is awesome 🔥 That's what inspired me to do this!
English
If you're writing tests in Aiken, you can compile them to UPLC and then use our formal verification tool to automatically prove them.
You don't even need to really write a new property, just state that your test must always be true.
English
@keyanmskt UI. Why does Aiken use a screaming red color for "0 tests failed"?
Alarm: nothing went wrong! 😄
English
@midgardprotocol 11/
For encoding of integers and bytearrays you can checkout the Pallas codebase. It is well documented, and helped me quite a lot in implementing the Aiken version:
github.com/txpipe/pallas/…
English
@midgardprotocol 10/
> Abyss will be 0
> BlackAndWhite will be 10 followed by an encoded integer
> And Colored will be 11 followed by 3 encoded integers
English