• Forum has been upgraded, all links, images, etc are as they were. Please see Official Announcements for more information

Latest DCG Accountability & Transparency Discussions in Discord & Reddit

Should DCG's Compensation Proposal Be Split Between DCG Dev/Tech and non DCG Dev/Tech?


  • Total voters
    17
  • Poll closed .

Hilawe

Member
Masternode Owner/Operator
Whether you're an MNO or not, I highly advise that you check out all the lively conversations that were discussed after Joel's podcast with Mark. If you're interested, first join the Dash Discord and check out the public channels and then follow the links I provide below.

If you're an MNO, ask one of the Discord mods (I'm one of them) via DM to let you into the private #mno channel where there are even more interesting conversations you don't want to miss. You'll either have to sign a message or verify your Forum MNO tag to get into the #mno channel.

1) In the public #dash-core-group channel, available for all members to see, the best threads are here:

Ryan responding to comments:
https://discord.com/channels/484546513507188745/855521238814687232/863473697465696307
Pasta stating that we lost a key dev:
https://discord.com/channels/484546513507188745/855521238814687232/867497946505543691
Quantum Explorer stating how we lost this key dev (good thing Quantum Explorer is CTO now!):
https://discord.com/channels/484546513507188745/855521238814687232/867650849194115092

2) If you do verify and join the private #mno channel, here are the most eye-catching posts from the channel:

Beginning of the community discussions after the podcast: https://discord.com/channels/484546513507188745/523262303433523200/865945328091791440
Ryan Taylor's first response:
https://discord.com/channels/484546513507188745/523262303433523200/866207901684727829
Mark Mason:
https://discord.com/channels/484546513507188745/523262303433523200/866207901684727829
Ryan Taylor:
https://discord.com/channels/484546513507188745/523262303433523200/866353737752772638
Mark Mason:
https://discord.com/channels/484546513507188745/523262303433523200/866767207434420244
I speak up as a Dash Trust Protector regarding Ryan's leadership:
https://discord.com/channels/484546513507188745/523262303433523200/867041393502978058
A well-known former Dash Trust Protector speaks up supporting my statement:
https://discord.com/channels/484546513507188745/523262303433523200/867116422211436574

3) Andy Freer, Quantum Explorer and readme (key dapp developer) have a constructive discussion on Dash Platform in Discord #thunderdome (public channel).:
https://discord.com/channels/484546513507188745/496635238995197952/868471270503743498

4) Andy Freer's Reddit post: https://www.reddit.com/r/dashpay/comments/oovqho/announcing_rion_gull_as_new_dash_incubator_po/

A significant number of the Discord community are publicly and privately calling for splitting up the current single DCG compensation proposal package in two, or by DCG dev/tech and non dev/tech compensations, to improve the accountability of DCG's non-dev side (e.g. DCG CEO, Biz Dev and Marketing). What are your thoughts on this?

Will try to keep posting more information in this thread that comes out of Discord. Similarly, I will try to post key Forum posts into Discord, which is unfortunately not publicly searchable. As a Dash Trust Protector, I want to make sure MNOs and community members outside of Discord are kept up to date to keep communications open on this important matter.

Thank you,

Hilawe

Edit: I added 3) and 4) to include comments by Andy Freer
 
Last edited:
I knew it, and I predicted it. Sooner or later, not only you will vote the numbers, but you will be forced to vote them with sliders.
7GUb2.png


The question "how much the politicians should be paid." is not a correct question.
The correct question is "how much the politicians should be paid, as a percentage of the total budget, and what are the percentages you vote for other government expenditures?" .
The citizents must have a clear view that the more they pay for a government expenditure the less remains for the rest government expenditures. And this cannot be seen when you ask them separate questions for each expenditure. You have to ask them for all the expenditures together, and with the help of sliders similar to the below.
 
If you're interested, first join the Dash Discord ...

Join Dash Discord? Thats a Joke! I am still banned there (as I am still banned here in dashtalk, too)

<POLL HISTORY>
Should DCG's Compensation Proposal Be Split Between DCG Dev/Tech and non DCG Dev/Tech?
Yes
Votes: 1 -- 100.0% vazaki3
No
Votes: 0 -- 0.0%
Not sure yet
Votes: 0 -- 0.0%
Total voters 1
This poll will close: Aug 10, 2021.
</POLL HISTORY>
 
Last edited:
Dunno why it always goes on in discord, I never use it because I don't like the format. I can't be the only one.

I certainly understand why DCG should be split but for me, I want to see see Dash Platform get it's own team and funding / proposal. A lot of people seem to think Dash Platform will only need marginal development / maintenance after release, I completely disagree. It's like saying amazon stopped working on AWS. Even if Dash Platform was perfect (highly unlikely), it would still need an ongoing developer hub (beyond incubator) to grow the ecosystem to massive proportions.
 
Last edited:
Of course it should be split. It's obvious that Ryan Taylor is incompetent for his position (and most people that he ever hired), he should have left after an alt36 fiasco. But it's all talk, I guess we have to wait until Dash leaves top100 and Ryan will say so long and thanks for all the fish.
 
GrandMasterDash: yes Discord is not everyone's bag like you said. That's why it's important to cross-post for key issues like this so people can at least read the important posts before leaving again.

I also agree that Platform MVP is just the beginning and will still need significant development and support after the Q1 2021 release.

Edit: I just don't know if all the funding support should still come from DCG or not, years down the road. Or if it should come from another DFO? That's TBD for now.
 
Last edited:
@vazaki3 You're unbanned now on Dash Discord (staydashy.com) with view-only privileges as we discussed privately. This handle is now unbanned: demo#9028. First join the server and I'll assign you the role.
 
@vazaki3 You're unbanned now on Dash Discord (staydashy.com) with view-only privileges as we discussed privately. This handle is now unbanned: demo#9028. First join the server and I'll assign you the role.
Thank you. I can now read the public discord links you posted!
 
Last edited:
I can't see anything. If I need an account then I guess it's not public.
Yes, you need an account in discord in order to see the "public" discord links.
I hate discord, but I have an account because many people from the community are there.

If you are interesting in whatever public discord link posted above by Hilawe, I could copy-pasted the content here for you to read it. Or send the content to you in a private message.
 
Last edited:
We're basically in the midst of civil war here. Everyone who values DCG should leave the "Dash Discord" and only discuss things here. I personally don't believe there is much hope, but at least that is something. I took down my last masternode today.
 
Yes, you need an account in discord in order to see the "public" discord links.
I hate discord, but I have an account because many people from the community are there.

If you are interesting in whatever public discord link posted above by Hilawe, I could copy-pasted the content here for you to read it. Or send the content to you in a private message.

It might get a bit messy posting it all here, maybe create a new thread. If you send pm then it won't get widely read.
 
You don't need read anything by Hilawe. Here's the deal. A group of community members want DCG dismantled. They want core dev to be run by Andy's Incubator and they want the marketing to be run by Mark Mason, Mastermined, and Joel Valenzuela (DashForce). For those of you who need a picture, here it is...
.
pinata3.jpg
 
Last edited:
It might get a bit messy posting it all here, maybe create a new thread. If you send pm then it won't get widely read.
1) In the public #dash-core-group channel, available for all members to see, the best threads are here:
Ryan responding to comments:
https://discord.com/channels/484546513507188745/855521238814687232/863473697465696307
babygiraffe07/10/2021

Like I said already, I'm not arguing whether or not DFN offers value to the community and whether or not we are worse off for not having it. That has no connection whatsoever to what I'm saying. What I am saying is that the specific audience "institutional investor" is not consuming content like that. Honestly, they are hardly consuming any "crypto media" that might result from that coverage. They mostly talk to each other, a select set of analysts, institutional data sources... So we need to be talking directly to those people (preferably face to face) to get our fair share of their attention, and build their trust in the project. In terms of "crypto media" they tend not to pick up articles on their own. They need to be pitched. That is a PR function and mostly helps Dash reach retail investors, which are also important certainly. Back in 2016-2018, we had a series of professional PR firms serving the network, with ~6 people assigned to our account at any one time (note they were shared across clients, but the team sizes enabled a high rate of pitching capacity in bursts as needed). We haven't had that for several years, and I think the network underappreciates the importance of PR, especially in a very crowded market with tons of noise. So we need to focus more on rising above the noise with retail investors and institutional investors... but the path to each is very different.

babygiraffe07/10/2021
I've been checking with Mark periodically on the status, but it has been several weeks since I last asked. He will need to provide the latest. I believe things were getting close last I heard. I don't think that is needed to move forward, though. There are a lot of resources I've been leveraging, ranging from personal connections to sources like Messari to identify potential targets.

babygiraffe07/10/2021
Yes, I think we do relatively well retaining our existing community, but we have not done as well reaching new audiences. This is a big focus of Arden's, and she's been doing a lot to help us understand our existing users, where they come from, and who would be a good audience for us to target that are not current users. She is being very systematic about building data, optimizing the funnel for new users, and building plans based on that BEFORE going out and spending a bunch of money on marketing. She's making sure our marketing dollars will be spent efficiently. She'll share a lot more about what she's been working on during the quarterly, but some things are long-term. For example, changing Google search results takes a long time for their algorithms to start presenting new content, even after a "fix" is made. But the sooner we correct those things, the sooner more positive and less negative items will come up when searching for Dash, which should improve our conversion rates. That's just one example where the results may lag the actions being taken, but that's all the more reason to address them right away, even if not super visible / immediate result.

babygiraffe07/11/2021
Nothing but bitcoin backports... lol. DKG, LLMQs, LLMQ-based InstantSend (made it scalable to all transactions), ChainLocks, MN reallocation via blockchain governance, Deterministic MN list, special transactions, Dash Investment Foundation (research and formation funded by DAO), overtaking BTC at the point of sale in Venezuela... I could go on. And that's before we unleash platform. No, we are not just like Litecoin. We have a very compelling story to tell... and I've seen the reaction firsthand from telling it.
dashfriend07/21/2021
My question for DCG: https://www.dashcentral.org/p/dash-incubator-2021-q2 mentions multiple times multiple devs leaving DCG. Who are these devs that have left DCG? And is https://www.dash.org/dcg/ still up to date?

pasta | keybase.io/pasta07/21/2021
Cleaned up junk in this channel. Please avoid this in the future.

pasta | keybase.io/pasta07/21/2021
I can only speak to the Core-Dev team. Codablock and Dustinface are neither actively contributing to Dash Core and are not on payroll. The current core dev team consists of myself, UdjinM6, Virgile, Pravin, Munky and Kittywhiskers. Additionally on Sept 1st Ody is joining the team. Kittywhiskers is not a member of DCG but is a community contributor paid through the incubator. I have also been in talks with two other people to contribute in the community contributor role. One (gabriel) has posted two PRs (and had one merged). The other I just spoke with today.
Quantum Explorer stating how we lost this key dev (good thing Quantum Explorer is CTO now!):
https://discord.com/channels/484546513507188745/855521238814687232/867650849194115092
dashfriend07/22/2021
@pasta | keybase.io/pasta Thank you for responding in regards to the core dev team. I'm looking forward to hearing from @Quantumexplorer in regards to the other teams.


Quantumexplorer07/22/2021
I just woke up so it's happening now.



dashfriend07/22/2021
@Ernesto_Contreras What is the position of DCG on https://ec.europa.eu/finance/docs/law/210720-proposal-amld6_en.pdf? Doesn't this proposal threaten the existence of Dash at least within the EU? Maybe @babygiraffe or Glenn have more on this.


Quantumexplorer07/22/2021
No, we did not retain him. The problem without going into too much detail stemmed from a few issues. First by the time the proposal was made he had already signed with other project. The dev in question really cares about his word, he said he was starting with other company, and didn't want to break that. While I was trying to make him an offer he couldn't refuse with the fund, I couldn't actually promise it was going to pass, which left him some uncertainty and ultimately he didn't want to break his word for something that was uncertain. I would like to say that it was a wake up call in terms of hiring, after he left we had 2 devs in core team, we now have 5, with a 6th underway already signed for September. As a team can't grow too quickly and also because we want to mainly focus on hiring in other developer teams we will only be actively searching for 1 more c++ dev for now.

EmotionalTerrorist07/22/2021
why does the platform team only have 3 devs?

Quantumexplorer07/22/2021
They do not only have 3 devs, I will be making a reply shortly.


Quantumexplorer07/22/2021
5 full time, 2 part time. I agree it's not good enough, we should have 2 more very shortly, as well as technical product owner.
 
Last edited:
It might get a bit messy posting it all here, maybe create a new thread. If you send pm then it won't get widely read.
3) Andy Freer, Quantum Explorer and readme (key dapp developer) have a constructive discussion on Dash Platform in Discord #thunderdome (public channel).:
https://discord.com/channels/484546513507188745/496635238995197952/868471270503743498

Fabio07/24/2021
After reading the comments, I'm not sure I really want to watch the quarterly call. I am already pissed. Until when has platform be delayed this time? Having had 2 proposals myself and having followed the D-A-CH embassy very closely from the ground, I am very annoyed at the double standard we display towards DCG compared to other proposals. I really think it's time DCG gets some of the heat every normal PO gets.
This level of borderline dishonesty is enfuriating. I don't like listening to marketing lies and I am asking myself how long I have already been doing so. Does DCG believe themselves what they say and are just always honestly wrong or is this darker?
How does one fire Ryan? A proposal?

Fabio07/24/2021
For the records (and football fans): I respect Ryan. He is like Jogi Löw, Germanys ex football manager. He won the worldcup (=professionalised DASH in the early days) but he stayed far too long and did not make sure to have a good successor but kept making himself "indispensable" (= bad leadership in my book). (I've been in Dash since 2014, to whom it may concern)

Quantumexplorer07/24/2021
@Fabio I think DCG is getting heat. I'm the new (interim, maybe permanent CTO). My first objective as CTO is to make it abundantly clear where we are in our roadmap.
And to greatly increase transparency on the development side of things. We just had a successful release of platform v20, which to date was the most complicated release since v14 of core I would say.
Of course that's not to mainnet, but we're getting there. I'm going on Joel's talk show on Friday and going to do my best to paint a good picture of where we are.
The main thing is as I'm taking on CTO, I don't want to promise our roadmap anymore, instead I want to show the exact tasks that we are working on. Then when each task is complete to explain to our community, even if it's technical, why we are doing this.
There will still be a roadmap, don't get me wrong, it's just that after delay and delay I feel like we need more understanding about the difficulty of the tasks involved and the fact that we ARE solving them. A lot of the stuff we do HAS NEVER been done before so we don't really have a reference to go by time wise.
I also don't think it's dishonesty on the part of Ryan and Bob before me. I think Ryan and Bob before me genuinely believed that we will launch in the time frames they provide after talking with dev teams that were not so great at giving estimates.
As we get closer to the goal however... well... it's a little harder and harder to be way off.
I bet though that a lot of people don't actually know where we are compared to the goal.
So me saying we are much closer might be meaningless.
That's why I really want to lay everything bare for everyone to see and to come to their own conclusions. There's also a few tasks that would have great benefit to be in our MVP, and I want to poll our community at some point later this year to ask if we should delay a little to include each.
Things like a proper name distribution.
We have a new product owner joining on Monday, he's a technical product owner and I think someone who will be greatly helpful to me in the task of creating a list of all tasks left to MVP (and a few extra).
It might take up to a month to have this list (unless the guy isn't good, which I doubt since he seemed great in interviews), I'm not sure how quickly it can be done by him while he's just starting. But I do promise it will get done as soon as possible.

Doeke07/24/2021
Thanks QE. Your feedback is refreshing and much appreciated. I think this is exactly the kind of transparency the community longed for.

andyfreer07/24/2021
What's your position on restoring effective DAPI access for community developers. Is that before, during or after MVP (or no plans).

Quantumexplorer07/24/2021
I personally only know of one bug that is currently being worked on, which means that they are currently already assigned to team members to fix. I think we are at a point, now at v20, where our focus is shifting from mostly writing new features to spending half our time on new features and half our time fixing or replacing code that we initially wrote as a proof of concept. I think the latter will greatly increase the stability of the system in the coming months. On top of that we will try to hire an extra developer based on the feedback given who's main responsibility will be the Javascript SDK.

andyfreer07/24/2021
Ok... can we clarify. What i'm asking is, is it a requirement of Platform releases to support community dev access (as it was on EvoNet) in the sense that it will be a working product they can use again, and what is the roadmap for that, either in time or in phase (as I mention aboved) now you just gained control of that decision / responsibility
whats the official DCG position

Quantumexplorer07/24/2021
Yes, but we only will commit to supporting already existing features on JS SDK on the day of platform releases (no regressions). Platform releases should never block development that happened on any previous version from now on. However some features of a newly released version might not be immediately available. V20 is a prime example of this. In v20 we have a proof system where data can be completely verified with threshold sigs. I will be covering what an achievement this is in the following week. However we released with only our Java SDK having verified this to be working, and without it even being officially released in that SDK. Android should come this upcoming week, iOS maybe this week or the following. JS will be before the v21 release. Until then system can work the same as in V19 if you disregard proofs.


andyfreer07/24/2021
" I will be covering what an achievement this is in the following week" ok just on this comment, I wouldn't be boasting about anything within Platform right now, when it's effectively been allowed to become a broken product for its target market for the last 6 months, effectively pulling the rug from large community of developers the Network has been supporting and funding highly.
unless of course that basic function has been restored

Quantumexplorer07/24/2021
I was not in charge during that period. And when you started incubator I did say to you that platform was not ready.

andyfreer07/24/2021
Don't remember that. Obvs DCG released evonet with public access for developers. never was it stated that DCG strategy was that developers shouldn't use it

andyfreer07/24/2021
so by this comment are you saying now that Platform is too early for developers?

andyfreer07/24/2021
yes I thought i made it clear im not holding you responsible for the regression of the API function. Im asking now because you're the person with control of this as of yesterday

Quantumexplorer07/24/2021
No, I'm saying that it was too early for developers, as was made apparent by things failing on people. I can't promise that v20 will be 100% stable either, but I do think that it's going to be a lot better than before.

andyfreer07/24/2021
Ok I mean it was working and the network and the devs were happy. So not sure why you're saying this... or that it's relevant now anyway
Just looking for like real simple straight answer - is DCG gonna prioritize community dev access to Platform (meaning restore its basic functions and maintain those across releases)
obvs if you release a new version and its got breaking changes thats fine (meaning code changes will make the dev code work). But right now its just broken (meaning no changes will make dev code work)

Quantumexplorer07/24/2021
Here's the official answer : the JS, iOS and Android SDKs for platform are now all on the same level of priority. Extra work will be going into the JS SDK to raise it to the same level as the two others.
Eventually I would also like to expand this to add a python SDK as well. <- not official, just something I want to do, as I think it would be beneficial.

andyfreer07/24/2021
"JS, iOS and Android SDKs for platform are now all on the same level of priority" excellent. and so because iOS and Android are required for DashPay, having JS at the same priority means its gonna work again, right?

Quantumexplorer07/24/2021
We are all reliant on individuals correct? I can only promise that more ressources will go into making things work better and be more stable. I can't completely promise that this will resolve all issues, but I do think that by adding more ressources to fixing the problems the problems will go away.

xkcd07/24/2021
@Fabio Honestly, you should watch the Q call, there is a lot more going that just evo and also I want to remind you that we are currently activating about a dozen new opcodes similar to what BCH has to make L1 far more useful, eg SLP, so evo is just one part of what DCG delivers to us and it isn't even the part that brings home the bacon, it's a skunk works, the real shit is running perfectly smoothly and getting a level up as Pasta and QE bring on more talented devs.

andyfreer07/24/2021
I think we need the same standard / provision for DAPI access as we do for anything else we release, needs to work to minimum level. Today its not, so i'd assume normal thing to do would be in your position work out how to get that on track. But once it is, don't see how that would be any different to any other protocol product

Quantumexplorer07/24/2021
In laymans terms Andy there will be 2 devs on JS client code (1.5 then 2 as soon as we can hire an extra), 0.5 devs on iOS, and 1 dev in Java till the end of the year.
Just for the client side libraries.

andyfreer07/24/2021
if you're saying that right now you don't know situation / don't know how long to get this working ofc I appreciate that 100%. What im saying is seems like official DCG support for this product has been lacking (actually practically withdrawn) and looking for assurances that that's now recognized and the API will fixed and working (and estimate how long or at which stage that might happen).

Quantumexplorer07/24/2021
Well we just released v20. I want to make sure v20 is working 100% well for incubator, I know there are some incubator devs still on v18 just because they can not get anything else to work.
To that extent we need incubator devs to tell us what is actually wrong with V20 once we are ready for them to upgrade. Right now we are fixing a bug in walletLib that we discovered the same day of release, when that is done we will make an official announcement inside Incubator that v20 is ready to be used by incubator devs. If incubator devs have issues at all in the week following that announcement fixing those issues will be our priority. However... after that, if someone runs into an issue, we will add that issue to our backlog of tasks to do and only tackle it once we are done with our current epics. Switching focus too often has a very big cost and I want to minimize that cost to have a faster time to market.
I have a lot of processes to codify over the next coming weeks, on top of dip writing, CTO responsibilities, development work and training of new devs. My point basically is if I'm not doing something perfectly it's just because I have a lot on my plate during this transition period. We will be increasing our jobs postings as well

andyfreer07/24/2021
It's good you're hear talking. It's providing much needed transparency and accountability

andyfreer07/24/2021
As far as I know, a dApp today can only be ran on a local 0.18 devnet, and it's quite hard to setup, Incubator's had many devs onboard who can't do that

Quantumexplorer07/24/2021
I don't want to dwell too much on the past, we both know what was wrong.

andyfreer07/24/2021
What your saying is positive and good to hear. But the reason I came in is was kinda looking for an official strategy position. I mean, e.g. in Incubator, they have to say what they're gonna do (in Rules / Proposals) and then be measured on it, because the idea is they're working for and accountable to the network. In this case i'm looking for an official general position on quality of API (is it officially supposed to work, and when, now, MVP) - because it's not shown in the last roadmap or been talked about.
The reason is because if there's not even an official position, how can DCG be measured on if it is / isn't delivering something. And in this case, future of Incubator (and the wider Platform dev ecosystem) is kinda dependant on
but I don't want to drag you over coals. What you said above is positive

Quantumexplorer07/24/2021
I agree, however all I can promise at this point is that more ressources will go into JS client than any other client. I can't promise how well people will do their work in the future, especially people who we haven't even hired yet.

andyfreer07/24/2021
ok, thanks for the feedback.

xkcd07/24/2021



Quantumexplorer07/24/2021
He told me in person he needs a complete break for a few months, and the temptation of checking discord is too much. He'll be back.
 
Last edited:
In short, Quantumexplorer's and andyfreer's design seems bullshit.
Serious persons should not trust cryptocurrencies that are based on a virtual machines (like Java or JS is)
.
Because the one who controls the
virtual machine, controls the crypto.
Thats the reason the serious developers are not attracted by their design.

There is no significant community of developers in Dash.
The Masternode Operators/Voters support a Dash core Team (DCG) that feeds a bunch of monthly paid head developers who behave like civil servants. Developers who tend to do either (almost) nothing, or do very few, or even worst irrelevant to what the dash community really needs, all the above compared of course to the amount they received and keep receiving as salary. Their current average monthly salary is 247500/30=8233 USD, as long as 30 persons are paid members of the DCG.
As a result of all the above, Dash coin that used to be the 6th coin in coinmarketcap. is now the 54th coin and keep falling.

Serious crypto code should also be FORMALY VERIFIED (like they do in Tezos or in Cardano cryptocurrencies)
 
Last edited:
We're supposed to be the leaders in decentralization, we don't just give it lip service like most other projects. Any chance we get of further decentralizing, we need to take it. I think DCG should be broken up into at least 2 distinct DFO's that fall under the umbrella of the Trust.
 
We're supposed to be the leaders in decentralization, we don't just give it lip service like most other projects. Any chance we get of further decentralizing, we need to take it. I think DCG should be broken up into at least 2 distinct DFO's that fall under the umbrella of the Trust.

Core Technology and Business Development & Marketing. Those two aspects of DCG have not meshed well, they need to be separated out.
 
That being said, Arden had a big job to jump into, Fernando was an absentee CMO, I have heard stories, I know he was overwhelmed
at times with his workload, I think that is because he was trying to be both a Core Tech CMO & a BizDev CMO. My two duffs. We really
should consider budgeting these two incongruent tasks separately. I was glad to see @QuantumExplorer (Discord handle) step up as new CTO,
he has has been very communicative.
 
Last edited:
In short, Quantumexplorer's and andyfreer's design seems bullshit.
Serious persons should not trust cryptocurrencies that are based on a virtual machines (like Java or JS is)
.
Because the one who controls the
virtual machine, controls the crypto.
Thats the reason the serious developers are not attracted by their design.



Serious crypto code should also be FORMALY VERIFIED (like they do in Tezos or in Cardano cryptocurrencies)

Has Cardano finally released their smart contracts and with formal verification?

I'm not sure it's fair to judge a VM against a formal verification system. Surely you can add formal verification to any VM. I thought there was talk of possibly using WASM with dash. My hope for WASM is that there could be some collaborative work with other projects such as beam.
 
Back
Top