Common court with Kleros proposal

The point this quote was not argue for reusing the code, but to show that the decision to fork the Kleros cryptonetwork is not motivated by the codebase.
Since we take reports of issues in our codebase really seriously (all the reports are answered and do back and forth until we either fix the issue, convince the reporter that there is not bug or it is made clear that the reporter is not able to exhibit the attack on a testnet).

At this point this not a proposal to join a flock team, but the Aragon network to get a stake in Kleros. Note that by being an Aragon DAO, Kleros is already in the network even if token incentives are not aligned (and this proposal would align them). If this were to go to a large one (and it seems this would be the version you prefer), you could have more PNK given to ANT holders than by other means and they could eventually chose to rename the ticker. We could have something like “Kleros, court of Aragon” which could show relation without losing previous branding effort.
However I don’t think they would as Kleros-PNK are more known than ANJ.

If by commitment you mean commitment to the vision and manifesto, definitely. I completely approve the manifesto and it is well written (that’s in my top crypto manifesto list on par with Mike’s Cryptosystem Manifesto).
In the case of a milestone deal which would encompass all the remaining PNK supply, this would let funding decisions to ANT holders.
However, giving control of the court to ANT holders is not desirable from a cryptoeconomic perspective and I don’t think the ANJ plan had planed to give ultimate control of the court to ANT holders.

I’ve already wrote about this, but I’ll auto-quote:

Thanks.
Then I don’t see a misalignment. It’s just that working with Kleros, the Aragon network would have this generic dispute resolution system way faster than expected (without delaying on DAOs usecases, due to economies of scale and specialization Kleros has).

I don’t understand this. ANT holders OWN the court. It is their funds spend on its development and maintenance, they approve the roadmaps of the teams developing it. ultimately they are the beneficiaries of its success.

As I understand it, ANJ holders are just ANT holders with extra skin the game (related to their performance as jurors)

The cryptoeconomics of Kleros are based on the fact that the court is controlled by PNK token holders (or ANJ in Aragon One planed fork).
In case of 51% attack on PNK-ANJ, the value of the token would drop to near 0, destroying the stake of the attackers.
However, if you now allow ANT (which should be valuable for other purpose) to have full control on the court, thus be able to make it misbehave. You also open to a 51% attack by ANT holders which would suffer far less from the result of their attack. Moreover, the 51% attack on ANT would be way easier to pull off as ANT holders generally have a low voting turnout compared to drawn jurors in Kleros systems (turnouts of around 60-100% compared to ~10% AGP).
I let the Aragon One team answer on this, but I don’t believe they had planned to give full control to ANT holders instead of ANJ ones.

I was not talking about that kind of control I’m talking about upgrades to the contracts. Not court decisions or making rulings

By being arbitrary, contract upgrades grant full control to whoever can make them. So my previous point still stands.

Arrived here from the tweet: https://twitter.com/phil_h/status/1166652471034437633

many aspects relevant to DAOs: inter-DAO dynamics, network effects, token economics, open source ethos, community values

I admit, amazing in-dept discussion.

I remember my post in another thread about the Court: Aragon Court v1




I believe Kleros has potential to excel as a standalone product.

I believe Kleros can succeed in all sorts of dispute resolution problems.

Dispute resolution is fundamental to DAO, I was able to accept the argument that the codebase wasn’t easy to integrate (because it isn’t) and having own version is justified.

I still believe there is a massive potential for collaboration, on the slightly different terms.

Aragon to use plugin architecture

The dispute resolution can be resolved in any number of ways:

  1. RNG, by default 1000 block in the future

  2. Kleros (both parties opt-in to Kleros)

  3. https://www.hkiac.org/ - Hong Kong International Arbitration Centre

  4. https://www.ili.org/ - International Law Institute

  5. Pick a jury, 2-of-3: Clement, Luis, Vitalik

  6. https://heliast.io/ - some entity that has incentives to maintain reputation

  7. Plutocratic or democratic (proof of humanity) vote of ANT holders

  8. Jur - https://medium.com/jur-io/our-pledge-to-the-community-a-letter-from-jurs-team-65a2626a343e- check this out, it was posted literally Today!

RNG is the the default option, it is in place to incentivise something else.




Kleros has some advantages:

  • a few successful pilots with real money on the line
  • community of jurors who have experience
  • solid crypto-economics, game-theory incentives in play

The code quality is very good. Many rounds of feedback and audits. Long lines - more code fits in the screen. I like this code style. Code style that I do not like: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/ownership/Ownable.sol (76 lines to communicate one simple thing)




I’m not ready to commit my soul.

I highly appreciate Aragon values, fight for freedom. It’s one of the most revolutionary, groundbreaking and forward thinking projects out there. I can imagine that in 10 years 20% of global GDP will operate on Aragon.

(currently United States has around 15% and China 10% of global GDP)

At the same time being controlled by ANT holders at this stage feels limiting, oppressive. Kleros has a strong vision and might be better off operating independently as a pluggable service to Aragon court.

“Kleros is focused on dispute resolution, no matter the usecase and can easily adapt to what is the most needed for the ecosystem. Due to economies of scale and specialization in dispute resolution, I think the Kleros team can deliver dispute resolution systems for all Aragon usecases and still be able to support other usecases at the same time.”

Additional suggestion

Simplify this ERC: https://github.com/ethereum/EIPs/issues/1497

simplicity = wider adoption.

Personally I do not agree with some of the design choices.

Just because there are a few apps already in existence (all build by Kleros) it does not mean it is set in store forever.

Avoid fallacy of sunken cost. Same remark towards Aragon Court PoC implementation. Just because there is some code out there, using plugin architecture with RNG as default and Kleros as opt-in is perfectly feasible.

We are in year 11 of blockchain, year 5 of Ethereum, Aragon is young, Kleros is young…

2 Likes

As it has been pointed out in the thread before, developing a decentralized court protocol has always been a part of the roadmap. In the original whitepaper, the Aragon Court is highlighted as a network service that would be really beneficial for sovereign DAOs, as they cannot use the traditional legal system should a dispute arise.

Context

During 2018, a lot of research was made on the Court, including developing an agent-based simulation of the model to test our assumptions.

After Aragon 0.6 was released on mainnet, we were able to direct more focus into the research and development needed to launch the Aragon Network v1 as a sovereign DAO. The issue was that DAOs that can execute fund transfers on simple majority votes, are vulnerable to 51% attacks, in which an attacker could convince a majority of token holders to vote for a proposal to transfer all the funds out of the DAO and split it among those who vote for it.

To solve this problem, we came up with the idea of Proposal Agreements, in which a subjective oracle is used to resolve disputes on whether proposals are valid or not according to the rules of the organization. Minority stakeholders can be sure that only proposals that adhere to these rules can pass and be executed, regardless of how much support a malicious proposal could have. Proposal Agreements are useful not only for the Aragon Network DAO itself, but for other Aragon organizations that decide to use it.

Given that we had this clear need for dispute resolution, and we wanted the Aragon Network to be live as soon as possible, we heavily considered using Kleros for an initial version of the Aragon Court rather than implementing it from scratch. We were impressed by some of their research and we were pretty aligned on protocol economics.

Since the initial conversations we had with the Kleros team at the beginning of the year, we told them that our intention was to reuse as much as possible from what they had already implemented, but we clearly communicated that we wouldn’t be using the canonical Kleros version, but another instance with a different token derived from ANT.

Technical concerns

While performing some technical due diligence before starting with the integration process, we detected multiple things that triggered us to start thinking about performing a substantial fork of the protocol.

One of the first things that we were worried about is that Kleros’ implementation had a lot of additional complexity in order to support a hierarchical court structure with different sub-courts that would resolve different types of disputes. The Aragon Network v1 only needed one court type to resolve disputes over Proposal Agreements, so all this added complexity was not worth the added attack surface.

In Kleros’ implementation, there is a special role for a ‘governor’ entity, which has complete and absolute power over the contract (being able to perform any arbitrary call from the Court contract). We thought that the governor has too much power, being able to resolve any dispute as they please, having the ability to mint an unlimited amount of juror tokens, removing the ETH deposited in the contract to pay for fees. Even though the team wants the governor to eventually be a DAO, at the moment the address that governs the live protocol is an externally-owned account, which means that if one private key were to be stolen, the protocol would be completely compromised. Relying on Kleros today requires not only trusting that the dispute resolution protocol works properly, but also that the owner of this account doesn’t intervene in the dispute.

The subjective oracle that is used to resolve disputes around Proposal Agreements is paramount to the security of the Network and of all the organizations that decide to use it as well. During our review, we were quite concerned about how few tests had been implemented (very little testing outside of the ‘happy path’) and how the team didn’t plan to do a security audit (and actually advocated against them).

After our review and few weeks before Kleros’ release, bounty hunters found two critical issues in Kleros’ implementation that would have completely undermined the mechanism. This further confirmed our decision of continuing with our own implementation.

Missing features

Apart from some of the above concerns about Kleros’ implementation, there were some features that we felt were important that Kleros didn’t have at the moment nor had plans to implement:

  • Lack of incentivization for executing gas heavy functions like drafting jurors for a dispute or slashing jurors that voted for a losing ruling. In most cases execution requires someone altruistically calling them (or at the very least an interested party paying for the computation for a larger group). In the case of drafting, until someone executed all pending drafts, the court will not accept jurors staking or unstaking.
  • Kleros lacked a way to require users to pay a subscription fee in order to have the right to use the court. Subscription fees allow jurors to expect a predictable income from being staked into the court even if they aren’t selected to adjudicate a dispute or the dispute volume of the court drops.
  • Kleros only supports paying fees with ETH, without support for ERC20s.

Aragon Court implementation

The Aragon Court has taken some ideas from Kleros and implemented them with a better architecture and cleaner code. We’ve never had a problem recognizing that Kleros has had a big influence in our work and implementation of the Aragon Court. But even though the Aragon Court project started as a fork of Kleros’ code, we haven’t been able to reuse any code.

Our plan is to continue improving the Aragon Court protocol with important changes such as using futarchy as the way to resolve disputes that are appealed all the way.

Even if we had used Kleros for the Aragon Network v1, we were planning on implementing future versions of the Aragon Court in-house to add those things. With the information that we had at the beginning of the year, we decided on starting our own implementation in a way that can be modified in the future, rather than using Kleros and starting to implement future versions of the Aragon Court from scratch further down the line. We were not confident in the state of the Kleros codebase in order for us to modify it to add these features, so we decided to start from scratch.

I am really happy and proud of the work the team has been doing on the Aragon Court and how it is shaping up.

8 Likes

There is less than 100 lines dedicated to handle the subcourt system (this, this, this, this, this, this and this).
If I’m very well in favor of simplicity, I think the risks of redoing an new implementation far exceed the risk of the subcourt systems. This also means the Aragon court will not be able to expend to usecases other than proposal agreement.

Moreover the current draft of the ANJ court is 3325 lines of code compared to the 1259 lines of code of Kleros. So even assuming finishing ANJ court draft takes no line of codes, Kleros would still be 2-3 times simpler.

The governor is the only point lacking to make Kleros a fully decentralized cryptosystem. It is there only because Aragon DAOs do not allow to make arbitrary calls to smart contracts which are required for the Kleros DAO to be able to act as the governor. We asked the Aragon team for a module to make arbitrary calls and was answered it was not currently supported and I was not given any estimate of when it would be.
Due to that we had to launch without the governor, leaving the Kleros Cooperative team to enforce decisions made on the Kleros DAO itself.
However, we did not stay waiting and are developing a governor (see smart contract code and Figma UI) to translate plain English decisions of the Kleros DAO into smart contract calls.
It is really unlikely for the ANJ court to be finished before the Kleros governor is finished (and Aragon One team could have implemented an arbitrary call module which would have allowed us to transfer the governor to the Aragon-based Kleros DAO).

If Aragon One team thought there were not enough tests, they could have collaborated to create more.
Tests are testing the ‘happy path’, as this is where they are good at. Tests are not good at finding vulnerabilities. This study by trail of bits notes that

we didn’t find any statistically significant correlation between our estimate of unit test quantity and quality and the presence of either findings in general or high-low findings

and concluded

Finally, manually produced unit tests, even extensive ones, likely offer either weak or, at worst, no protection against the flaws an expert auditor can find.

This quantitative study confirms my qualitative experience as an auditor. Tests are really good to find out if something is not working on the normal path. But for finding (and fixing) vulnerabilities which can be exploited by malicious parties, audit/reviews are way more efficient.

The contract had back and forth security reviews with 4 Kleros team members (myself included). I did not write this contract and there is no reason that my skills would be good enough for external auditing and then suddenly not work for auditing Kleros related code. Note that it would not have been true if I did write the contract (as the set of mistakes I can make and vulnerabilities I can miss is likely to be highly overlapping) but I did not write this contract.

The contracts then undertook a 50 ETH per critical vulnerability bug bounty which was widely advertised:

  • Contacting security researcher who gave me feedback including one who found a vulnerability awarded 50ETH. He actually found a possibility of storage modification not caused by an underflow in depth. To the best of my knowledge, this had never been found on any real contracts.
  • Ethdev on reddit.
  • Solidified where another 50 ETH was paid (this one was a stupid mistake).

I had 18 confirmation of people who confirmed reviewing the contracts. The number is probably higher as most people would not bother to confirm their review or send a message is they haven’t found anything.

Obviously all issues were fixed and we then extended the bounty period with the fixed contracts.

I’m not saying that external security audits are useless (I’m an auditor), but team having internal auditors can achieve the same security result doing internal audits and putting extensive bug bounties (bug bounties are really important as otherwise there would be no reason to trust the team not to release insecure applications due to business logic).

Collaborating, we would have the resource to do the above security procedure and in addition have an external audit.

I really don’t get this argument. This is a pre-release bug bounty program, the goal is to have people finding vulnerabilities at this step, so hackers don’t find them when they are deployed. Having people finding vulnerabilities shows that it works and that people are actually reviewing it. Having people finding vulnerabilities which are fixed shows that security procedures are working, not that they are disfunctionning. Ethereum foundation itself pays a lot bounties.

Firms hiring private auditors may require them not to disclose there findings. They generally tend to have multiple vulnerabilities at the audit stage as well. Transparent firms (and Aragon One is doing a really great work being transparent) publish the findings. I’m definitively not gonna say Aragon code is insecure because auditors found vulnerabilities in their code (this report with critical vulnerability for example).

On this, you just need “1 actor” doing it. This doesn’t seem an important feature for now, but something with similar effect is planed for the next versions.

There is nothing which prevents implementing that in the Arbitrable smart contract. Making a fork is not required.
Due to legal concerns about security law, I would not be comfortable for subscription fees to be done at the court level.

ANJ court supports one unique fee token. I guess it will be wrapped ETH so the result would be the same (minus the extra wrapping step). Or if it is ANT, that would create friction.

I understand some of the points made above and appreciate the feedback but it should be pointed out that no vulnerability was found other than the bounties made as part of the security procedure (that’s what they are there for).
It should also be noted that no vulnerabilities were ever found in deployed Kleros contracts.
It should also be noted that our code is relatively short (1259) and reviewing it would not take a significant amount of time.

Overall when I see these arguments, this reminds me of all the Ethereum killers thinking they can do better than Ethereum but in reality, we’re all aiming to create a better, more collaborative and open mechanism rather than compete within small spheres.
I hope that the Aragon community can look at all the arguments placed above and the significant progress made by Kleros with far less resources than any of our competitors. The ecosystem is not a zero-sum game and collaboration generally bring more value to both parties.

1 Like

Which is totally fine for an initial version with a clear objective. Supporting subcourt like functionality would be possible to add in the future without requiring a massive rewrite.

As you know, a system with half the lines of code is not 2 times simpler. You can cram a lot of stuff into one line making the code worse, and you can even give up new lines entirely and write everything in one line. You can also write ‘smart code’ in fewer lines and make the codebase more complex.

We don’t optimize for quantity of lines of code. Readability, modularity and proper inline documentation are far more important than a vanity metric such as having less lines of code.

The Agent app allows this and it was released as a beta in February. The Melon Council DAO is currently using it for parametrizing Melon protocol parameters and managing their ENS names.

Comprehensive testing and full coverage are not silver bullets, but they are definitely a really important part of the development process for a quality codebase. Security-wise, there are some vulnerabilities that are really hard to catch with tests, specially those that arise from edge cases that the developers don’t think are possible, but most mistakes can certainly be caught with a good test suite that tests all the possible interactions with the system.

Having bounty hunters find 2 critical vulnerabilities days before deploying the protocol seems really scary. The point that I was trying to make is that when we were reviewing the codebase we didn’t feel confident and 2 critical vulnerabilities were actually found before the release.

This is a perfect example of an issue that is close to impossible to discover with just testing. It was found months before releasing Aragon to mainnet. By the time that we started the bug bounty program, no critical bugs were found.

AFAIK, anyone would still be able to create disputes without paying the subscription fee. Requiring all jurors to check whether a contract is up to date with payments doesn’t seem like a useful use of juror’s attention.

It hasn’t been decided how it will be parametrized yet. ETH is a terrible unit of account to pay for services such as arbitration fees given how volatile it is.

We didn’t set out to build a Kleros killer, but to have the best dispute resolution protocol for the Aragon Network and other DAOs. When we looked at Kleros we did indeed think that we could do better, started with the intention of doing a small fork but we ended up having to rewrite the entire thing.

At the end of the day what it comes down to for me and what everyone in the community should be thinking about, is what is best for the Aragon Network. There are two different implementations with different technical merits and a proposal to acquire some tokens to use a particular instance of one implementation (and such instance is at the moment controlled by one address that could mint an arbitrary amount of tokens).

Given that the team has made clear that they don’t plan on focusing solely on Aragon, what the Aragon Network would be acquiring is just the ‘network effect’ of the current Kleros juror network. I do think that the Aragon Court implementation will be superior once completed, but simply using Kleros’ implementation with a different token would be totally free in any case.

2 Likes

Not entirely sure what is meant by an “arbitrary call contract” (unless you mean something like the Agent app), but isn’t the point of aragonOS that you can sort of do that yourself without having to wait for Aragon One et. al to do it?

what I don’t understand is why people here are doing what they are doing? is it for the money for the power or for progress? if its for progress then forking is the best what can happen. Its all about diversity which makes the overall systems more robust i think.

1 Like

Obviously there are people in both camps. I like to think that the people in this thread are in the latter camp, however I disagree that this means forking is necessarily better.

Network effects are real and strong, and I do think there is some value in not forking unless you really need to. I also think people working on the Aragon Project share this same sentiment, but that they felt it was the best course of action this time around. :slight_smile:

yes I understand that the community is very important but Kleros don’t lose their community only because aragon is forking them and if the community would move then kleros can copy their code. its a fair game i think. if you have more money you can move faster and perhaps then you can swallow other projects by being ahead of the game but then what do you loose you are still in the game and you are the one of the few who knows the system best to make it even better. but sure your ego can hurt yourself its a game against yourself. Forking is only bad if the community is ego driven and not progress driven. ego driven projects are doomed i think they are boring and they don’t progress. but if people loose money thats not nice. so perhaps its possible to somehow bond tokens together based on the influence a token has/had on the actual project (convection voting bonding curve or convection voting air drop )

Yeah for sure, lines of code is just a basic heuristic. But reading ANJ court code I had the feeling this heuristic produced pretty decent complexity estimate.

That’s really cool and congratulation on all the progress made since we talked about that :champagne:! We’ll definitely watch for its release.

From my auditor experience, less than 20% of vulnerabilities could have be caught up by testing (and the one which were, were really obvious and would have hardly be missed by other reviewers).
Because when you hack contracts, you generally use some path people did not thought about (including in tests).
But as I say in my security class:


So I won’t ever complain of people making too much tests.

Note that the commit issue was not directly affecting the release (as commit and reveal were not to be used at this point). There were still more than 1 week for people to hunt on the updated contract and it included all devteam internal auditing the contracts again (and I can tell you that spending more than 1 week on 1300 lines of code is not gonna lead to more bugs to be found). The release started with limited funds at stake as only the T2CR was connected. It has now been live for 6 months, had approximately 350k$ worth of value passed through it and no single bug were found in the live version.
No bugs were ever found in live version of contracts made by Kleros Cooperative or contracts I audited (which is quite an accomplishment and I don’t have knowledge of other people with this record, even if there is still is a risk for bugs to be found in the future, so we should never feel too confident).

And even if Aragon One team were still not convinced, they could review it again and pay for an audit.

Yeah, but unfortunately, there does not seem to be non custodian (or with equivalent security risks) stablecoins. DAI is going in this direction but there is still a bit of work.

And the other instance is still at the smart contract draft stage. It seems highly unlikely for Aragon One to release a court before the Kleros governor (which is required to make Kleros a fully decentralized cryptosystem) is released.
Having a live system with a centralized point, which will remove this centralized point (in due course and can show progress in this direction so it’s not just com) by the time you use it is equivalent to waiting for a fully decentralized system at launch (except that in the second case there, you wait longer).
So no matter which road Aragon goes, they will have a fully decentralized cryptosystem at launch of the Proposal Agreement dapp.

The arbitrable smart contract could verify that the subscriptions fees were paid. And even in the ANJ court scenario, DAOs would still be able to create disputes without paying subscriptions fees by using the original Kleros.

Kleros team doesn’t plan to focus “solely” on Aragon, but plan to support all the required DAO usecases as it is itself a DAO.
I don’t think network effects are to be undervalued, anyone can fork Bitcoin (and a lot of people did, even at early stage) but you can now see that the original network is by order of magnitude the most important and valuable.

Yeah, that’s what I meant :slight_smile: . And we are currently doing it (see smart contract code in development and Figma UI in development).

The original Aragon One plan (as announced in Aracon) was to use Kleros code with another token. So the decision to fork the cryptonetwork (put a new token instead of PNK) was made before the decision to fork the code.
So the first decision is to fork the cryptonetwork. And unfortunately, beside ego, power and money (the Aragon One team has to find usecases to ANT to avoid its value decreasing too much) I don’t see any other reason.
Money may be a valid reason (depending of one’s morale) and that’s why this proposal proposes to fuse these cryptonetworks (live Kleros and draft ANJ court) with ANT holders getting some PNK so that the most monetary interesting way is to work together.
The decision to fork the code was only made after and thus cannot be the cause, but only made in support the decision to fork the cryptonetwork.

If Aragon were to go with another system, that would be good to have different systems competing and we would see some evolution theory giving more chance to the best ones to rise. But here there is just some planed cosmetic modification such that an user using the dapps would not be able to tell which is which (except thanks to branding).

The original reason of forking was to put an ANT derivative token. The Kleros team proposed a way to work together while still providing (greater in my opinion) financial benefits to ANT holders. Aragon One team discussed with us, with different team members having different opinion. Then they cancelled meetings and stopped responding.

I fully agree on that and that is exactly the point of the proposal. To find a progress driven way to collaborate contrary to an ego driven way with communities fighting each others.
At the end of the day, Kleros is an Aragon user and communities share almost exactly the same values.

I’m sorry, but this just doesn’t seem reasonable. Why would anyone ever pay for another project to be audited to figure out if they want to use said project? That sounds like a fast way to bleed funds.

I think this is a gross mischaracterisation of everything Jorge just told you.

I respect the difference in opinion here, but I wish this discussion could be discussed in a civil manner. There’s obviously a high degree of tension here, and the AGP seems to have sparked some outlash from the Kleros community as well. Calling people working on Aragon “ego-driven” and implying that they are money hungry is not fair.

I, of course, also agree that it’s not cool that Aragon One (or whoever you talked to) cancelled meetings/went dark without saying anything, if that is what happened.

1 Like

We are speaking about 1300 lines of code there. And Kleros Cooperative does internal audits of projects we use (Uniswap, Realitio, Gnosis multisig and MiniMeToken to name a few) and even put bug bounties on them. You don’t pay for audit straight up, you first review and try break it. If you can’t and want to use it, then you can put more resources.

The decision to fork the code was made after the decision to fork the token. So nothing that Jorge told about the code could have been a reason to fork the cryptosystem (and I don’t think Jorge is claiming that the decision to fork the token is due to the code).

I did not call them “ego-driven” and I’m sorry if my words reflected that (I think we should try to be excellent to each others), but I said that at least one of the following must be true:

  • The original decision to fork the system was because of ego (A1 team had a plan to make a court, they then realized that Kleros system was better than their plan and chose to use it, but letting another project do what you had envisioned can be bad for ego and communication).
  • The original decision to fork the system was because of power (a desire to have more control on how the project would go).
  • The original decision to fork the system was because of money (finding utility to ANT which kept losing value compared to ETH hold in the treasury).

I’m not able to know which one (I can’t read people mind), so I can only hope this was because of money and/or power (wanting money and power is not something inherently evil, it’s normal to wish for the token you created to be valuable and it can also be normal to think that stuff would be better done within your network) that this proposal proposes to solve.
If I was convinced it was just about ego, I would not even have bothered to make a proposal as it could not be fixed with it.

1 Like

as I understand when bitcoin forked there was bitcoin cash and all people who had BTC got the same amount of BCH. But because Aragon is more then Kleros the fair way i think would be to figure out how much value Kleros has brought to Aragon. For this both communities has to be asked through a process for example conviction voting. Because conviction voting only works for the present and not for the past community members could vote only how much % of Aragons value is based on Kleros today. Based on this % Kleros holder would receive ANTs not the other way round. If Kleros forks aragon then ANT holders get Kleros tokens based on the %.

I generally disagree with this position. I think there ought to be some sort of middle ground where teams can maintain an independent identity, vision, and roadmap – while remaining both economically and culturally aligned with the Aragon Network and its constituency.

I think the bonding curve does a good job of providing economic alignment, and in terms of cultural alignment I think that Clement has expressed the sentiment that he and his team are aligned with those values.

When I imagine the Aragon Network as a successful and largely autonomous digital jurisdiction–it is not because every participant has adopted Aragon branding and produce products/services with Aragon in the name… its because you have independent teams with independent identities and visions aligned around common infrastructure and adopted structures which align their success with that of the Aragon Networks success, and in return they become preferred by Aragon’s constituency.

I see the top down grants process that we have for Nest and Flock as a bootstrapping mechanism, but not a long term solution, and I would like to see more experimentation with novel approaches to incentive alignment. And I am largely supportive of the idea of Kleros’ linking PNK with ANT…

However, I also don’t really get or agree with the framing from Clement’s side about the morality (or lack thereof) of forking. There seems to be a lot of dissonance between “its open source” and “its okay to fork” or use the ideas and reimplement them–just not in this case. This doesn’t make sense to me, I think the ability to fork (software or networks) is one of the most interesting aspects of the decentralized space and the thing that I think is most likely to ensure that these things that we are building have net-positive social impact.

Clement has stated repeated that if Aragon’s implementation was more different it would be less of an issue:

However, the fact is that it is an entirely separate implementation, and will likely continue to diverge over time.

Reading between the lines, It seems that the only issue in this case is that the Aragon Court is perceived (or is in reality) a threat to Kleros’ market position or future prospects.

I am absolutely okay with the idea of forking protocols and replacing the token with ANT derivatives, funding the development of those forks and prioritizing features that ANT holders deem a priority.

In fact I wrote a whole blog post last year, Community Aggregation Theory :cat2: - Aragon - Medium, discussing how communities (and their native currencies) can use their unique values, ideologies, and governance to aggregate value by systematically forking protocols that do not 1) accept or accrue value to their preferred currency, 2) operate inefficiency and extract to much value.

It’s my belief that community and governance are where value will accrue precisely because any specific service protocol built on open infrastructure and open source code can and should be forked until it is commoditized.

I also do not see this as a threat to Aragon’s users, because I don’t think Aragon’s target user base is service protocols targeting Aragon DAOs–I see Aragon’s target user as communities of open source software developers, freelancers, forums, political parties/activists, etc. The types of things that you need to do collective fund management or decision making, but would probably not normally be something that you would incorporate with a traditional legal entity.

I also think that in the case that an entrepreneur is trying to create a service protocol that might otherwise compete with the Aragon Network, linking the token to ANT from day one using a bonding curve is a win, win. It provides a baseline level of liquidity, and the ANT that is held as collateral can be used by the project vote in AGPs and direct resources and priorities related to the underlying Aragon infrastructure. And by doing so removes the motivation for the Aragon Network to fork their service protocol in the first place.


Getting back on topic… at this time regardless of how this proposal goes I don’t think it makes sense to stop working on Aragon One’s implementation of the Court. Dispute Resolution is so critical to unlocking the most impactful DAO use cases that having multiple teams working independently towards making the best possible solution seems reasonable.

I would also love to see Kleros choose to become more actively engaged and a legitimate stakeholder in the Aragon Community–They could do this by linking PNK and ANT using Aragon Fundraising when it launches, and as people lock up ANT in the bonding curve the Kleros Cooperative or Kleros DAO could use that ANT to influence future AGP decisions and perhaps allocate some resources towards their project. This doesn’t require a proposal or permissions form the Aragon Network, and it would provide an addition fundraising vehicle for the Kleros team (instead of their selling the remainder of their PNK in a follow on IICO).

The benefit to Kleros is that that it would put the Aragon Court and Kleros Court on equal economic footing and remove any underlying barriers to collaboration, while at the same time giving them more control over the underlying infrastructure that they have adopted for their projects governance.

Assuming this were to happen, I would also likely support Nest grant(s) with specific deliverables focused on integrating Kleros as an option for proposal agreements in Aragon.

7 Likes

This sound super interesting but i don’t understand it. how would you link PNK and ANT and why would I lock up ANT in this bonding curve and why can the Kleros DAO then use my locked up ANTs to vote?

i dont understand that as well. for that Kleros need a good USP in order to comete against Aragon and when aragon can fork everything from Kleros where is the point for Kleros to exist. at the end of the day the tokens comepte with each other and ANT holders want that the price of ANT goes up. To prevent a competion between ANT and Kleros tokens there has to be a official agreement or something like this?

1 Like

Aragon Fundraising uses the agent app to manage the collateral reserves. This allows for a “safe execute” role, which can be used to perform actions on behalf of that address while restricting certain actions like transferring tokens. This means that an organization using fundraising can actually vote with the AGP process with the ANT that is collateralizing the bonding curve.

If PNK is attached to a bonding curve that is collateralized by ANT, the Kleros Court would offer similar upside to ANT holders that the Aragon Court would since the intention is not to use ANT directly for staking in the court but rather use “ANJ” a derivative of ANT based on a bonding curve.

The tokens would compete with each other, but there wouldn’t be an incentive for ANT holders to use defaults in the Aragon Client to bias users towards the Aragon Court over the Kleros Court, because from an economic stand point it doesn’t matter which of the two ends up being more successful as both will lock up ANT in a bonding curve.

1 Like