In hoc articulo tibi de DAG (Graph acyclico directo) et de applicatione eius in vectibus distributis narrabo, et cum impedimento comparabimus.
DAG in mundo cryptocurrencie nihil novi est. Audivisti solutionem clausulae scalabilitatis problematum. Sed hodie non loquimur de scalabilitate, sed de crypto- currencies ab omnibus rebus differentes: decentralizationis, defectus mediorum et resistentiae censurae.
Ostendam etiam tibi DAC magis censurae renitentem esse et non esse internuntios accedere ad tabellarium.
In cautionibus familiares sumus, utentes directum aditum ad ipsum cursorem non habent. Cum transactionem tabellario addere vis, necesse est "rogare" scandalum producentis (a.k.a. "minor") facere. Fossores sunt qui decernunt utram rem ad proximum stipitem adderet et quae non. Fossores sunt qui exclusivum habent aditum ad caudices et ius discernendi cuius transactionem pro inclusione in fenore accipientur.
Fossores sunt medii stantes inter te et vectorem distributum.
In praxi, plerumque paucitas piscinarum fossorum collective moderatur plus quam dimidium potentiae retis computandi. Hi sunt namque Bitcoin quatuor piscinae, Ethereum duo. Si colludunt, impedire transactions quae volunt.
Praeteritis his paucis annis, propositae sunt multae variationes clausulorum, in principiis effectoribus scandalum eligendo differentes. Sed ipsi artifices non alicubi eunt, adhuc "stabant in obice": omne negotium debet ire per impedimentum producentem, et si id non admiserit, transactio re vera non est.
Necessarium est hoc impedimento problema. Et si eam solvere velimus, consilium debemus funditus mutare et caudices et caudices effectores omnino removere. Et pro catenam clausorum construendo, ipsas transactiones, etiam plurium priorum in unaquaque transactione, inclusos coniungemus. Quam ob rem efficimus structuram notam in mathematicis tamquam directam graphio acyclico - DAG.
Nunc omnes accessum directum habent ad registro, sine intermediis. Cum vis transactionem addere tabellario, simpliciter adde. Plures res parentis eligis, datam tuam adde, signum et rem tuam ad pares in retia mitte. Paratus. Nemo est qui te prohiberet quin hoc facerem, iam in tabellario rem tuam agere.
Hoc est honestissimum, maxime censurae probatio, ut res ad tabellarium sine internuntiis addere possit. Quia omnes res suas in registro solum addit, non petens ab aliquo licentiam.
DAGs tertius gradus in evolutione registriorum considerari potest. Primum registra centralizata sunt, in quibus una pars aditum ad eas continebat. Accesserunt inde caudices, qui plures moderatores iam habebant, qui res gestas in tabulis ferebant. Ac denique, nullae omnino in DAG moderatores sunt, utentes suas operationes directe addunt.
Nunc hanc libertatem, chaos ducere non debet. Pactum in registro statu habere debemus. Atque haec conventio, seu consensus, consensum in duobus significat;
- Quid accidit?
- Quo ordine hoc factum est?
Ad primam quaestionem facile possumus respondere: cum recte facta res a tabellario addita fuerit, incidit. ET AETATIS . Informationes de hoc ad omnes participes diversis temporibus possunt pervenire, sed tandem omnes nodi hanc rem suscipient et sciunt factum esse.
Si stipes, fossores statuunt quid fit. Quicquid fossores in trunco ββincludere statuit, id accidit. Omne quod non includit in scandalum, non fit.
Fossores in impedimentis etiam secundam quaestionem consensus emittunt: ordo. Permittitur ut res intra stipitem ordinare, prout libet.
Quomodo ordinem transactionum in DAC determinare?
Quia graphia nostra directa est, iam aliquem ordinem habemus. Unumquodque negotium refert ad unum vel plures, parentem. Parentes autem referunt ad parentes, et sic porro. Parentes manifesto apparent coram puero transactions. Si quae gestarum transitus a vinculo parentis attingi possunt, prorsus ordinem rerum in illa rerum serie novimus.
Sed ordo inter transactiones non semper ex sola graphi figura determinari potest. Exempli gratia, cum duae transactiones parallelae rami lacinia purus iacent.
Ad ambiguitatem resolvendam in huiusmodi casibus nitimur provisoribus ordinis sic dicti. Testes etiam eos vocamus. Hi sunt ordinarii utentes, quorum negotium est ut negotia ad retiaculum ordinate mittat constanter, i.e. ut unaquaeque earum priorum transactionum per transitus per nexus parentis attingi possit. Provisores Ordinis sunt utentes confidunt, et tota retiaculum eis innititur ne hanc regulam violarent. Ut rationaliter illis confidimus, petimus ut quilibet ordo provisor notus sit (non-anonymous) personam vel ordinationem et aliquid amittat, si regulas infringat, sicut fama vel res ex fiducia.
Provisores Ordinis ab utentibus eliguntur, et quilibet usor in suo numero creditorum provisorum in omni negotio ad retiaculum mittit. Hoc album constat ex 12 provisoribus. Hic numerus satis parvus est ut homo ad uniuscuiusque eorum identitatem et famam verificetur, et satis est ut reticulum operetur in eventu inevitabilium quaestionum cum minoritate ordinis provisorum.
Provisorum haec index ab usuario ad usorum variatur, sed indices negotiorum finitimorum ab uno usque ad provisorem differre possunt.
Nunc ut provisores iubemus, res suas in DAC rescindere possumus et omnes alias res circa ordinem ab eis creatum ordinare. Possibile est talem algorithmum creare (videatur. pro technicis).
Sed ordo retis totius statim determinari non potest: tempus est ut provisoribus ordinis sufficiens numerum negotiorum mittat ad comprobandum ordinem rerum praeteritarum finalem.
Et cum ordo solum per positiones rerum in DAG provisorum determinatus sit, omnes nodi in reticulo res omnes citius aut serius recipient et ad idem de ordine transactionum concludunt.
Ita nos convenit quod accidisse arbitramur: res quae in DAC evenit. Convenit etiam de ordine rerum: hoc vel ex relationibus transactionum constat, vel ex ordine negotiorum iussu provisorum colligitur. Consensum igitur habemus.
Hanc versionem consensus in Obyte habemus. Etiamsi accessus ad Obyte ledgerum omnino decentralized est, consensus tamen circa ordinem negotiorum centralizatus est, quia 10 extra 12 provisores ab auctore reguntur (Anton Churyumov), et solum duo ex illis independentes sunt. Quaerimus candidatos, ut unus ex provisoribus ordinis sui iuris fieri velit, ut nos adiuvet ad ordinandum e regione vectoris decentralis.
Nuper tertius candidatus independentis emersit volens ordinem provisoris nodi instituere et conservare - Universitas Nicosiensis.
Nunc quomodo duplices impendit imperium?
Secundum normas, si duae transactiones eodem nummo expendentes inveniantur, transactionem quae praecedit in ordine omnium negotiorum ultimo vincit. Secunda per consensum algorithm infirmatur.
Si fieri potest ut ordo inter duas transactiones in eodem nummo (per parentem-prolem coniunctiones) constituatur, omnes nodi statim talem conatum reiciunt in duplo expendere.
In casu necessitudinum inter duas res gestas ordo a parente non conspicuus est, ambo in lede accepti sunt, et consensus et institutio ordinis inter eos utentes provisoribus ordinis exspectabimus. Tunc prior transactio vincet, et secunda irrita fiet.
Etiamsi secunda transactio invalida fit, adhuc in registro manet, quia iam res gestas posteriores habet, quae eam indicant, quae nihil violavit nec ignoravit hanc transactionem in futurum esse invalidam. Alioquin bonum parentis negotiorum subsequentium auferre volumus, quod principale retis principium violaret - quaelibet recta transactionis in columella recepta est.
Haec regula maximi momenti est quae totam rationem criticae inceptis resistere permittit.
Fingamus nos omnes ordinis provisores colludere in conatu "censoris" unam specialem transactionem. Possunt id ignorare et numquam eum ut "parentem" rerum suarum eligere, sed quod parum est, transactionem adhuc indirecte includi possunt sicut parens alicuius alterius negotii ab aliquo usuario in retis qui non colludens. Subinde talis transactio plures ac plures filios, nepotes et pronepotes ab usoribus ordinariis accipiet, quasi viburnum crescens, et omnes provisores pacti ordinis quoque has transactiones ignorare debebunt. Tandem habebunt censorem retis totum, quod ad sabotage tantum est.
Hoc modo, DAC censura repugnans manet etiam si collusio inter provisores ordinis praestringitur, excedens impedimentum censurae repugnans, in quo nihil agere possumus si fossores arbitrantur nullas actiones includere. Et hoc sequitur ex principali possessione DAG: participatio registri est omnino independens et sine medio, et res irrevocabiles sunt.
Source: www.habr.com