axoni clearmatics eis milestone vir blockchain interoperability
twee van die die meeste prominent startups in enterprise blockchain is teaming up te pak die harde maar nou seemingly inescapable probleem van interoperability
op consensus 2018 hierdie week clearmatics en axoni demonstrated hoe 'n finansiële derivative kan wees uitgereik via 'n smart kontrak sneller 'n betaling en dan instigate 'n kruis ketting atomic oordrag van waarde tussen twee verskillende networks hierdie gemerk die eerste tyd 'n derivatives kontrak het is originated op 'n enterprise blockchain en vereffen op 'n ander
die milestone is belangrik omdat interoperability is nou emerging soos 'n sleutel ontwerp doel van distributed ledger tegnologie dlt
terwyl die finansiële wêreld kan wees beweeg uit 'n staat van baie ledgers te fewer kinders blockchain architects het kom te besef wat trades behandel en transactions sal waarskynlik nooit wees originated processed en vereffen deur 'n enkele monolithic stelsel
robert sams die hoof uitvoerende beampte van clearmatics vertel
facilitating einde te einde verwerking uit punt van handel te nedersetting ons nodig te maak die veronderstelling wat wat proses is gaan reis deur verskeie stelsels eerder as 'n enkele monolithic nedersetting stelsel distributed of anders
die collaboration is beduidende ook omdat van die clout van die spelers betrokke
axoni gebaseer in nuwe york is werk met 'n groot reeks van toonaangewende finansiële institutions en infrastructure providers te beweeg trillions van notional waarde in jy s dollar op blockchain tegnologie oor 'n verskeidenheid van bate klasse
intussen sy vennoot in die demo clearmatics van london is werk met 'n consortium van banke en finansiële institutions te maak digitale fiat wat is ten volle collateralized deur kontant op die corresponding sentrale bank en transferable op 'n distributed ledger
axoni het ook is doen 'n baie van werk in die derivatives ruimte en ander gebiede van boodskap handel processes terwyl clearmatics is gefokus op die nedersetting kant van dinge sodat die pairing was 'n voor die hand liggend pas beide is gebou tegnologie gebaseer op ethereum derived architecture
indien ons kan collaborate appropriately en facilitate linkage tussen wat networks wat jy einde up met is 'n hoogs automated hoogs deursigtige proses al die manier uit handel ooreenkoms deur te nedersetting finality gesê: greg schvey die hoof uitvoerende beampte van axoni
lesse uit crypto
versterking terug dit s billike te sê blockchain interoperability is op die r d stadium
te maak sin van die probleem behels 'n baie van requirements gebaseer op gebruik gevalle en die domain programme wat al het te wees oorweeg saam sams emphasized wat die interoperability demo was net 'n bewys van begrip maar 'n belangrik 'n omdat dit dryf die gees van oop bron collaboration
interoperability behoeftes te wees tackled in 'n oop en collaborative mode- en gebou rondom oop standaarde en oop bron implementations hy gesê: toe te voeg
daar sal waarskynlik wees verskeie tipes van interoperability solutions nie baie maar meer as 'n
die dieselfde gees extends te die publiek blockchain gemeenskap waar 'n baie van sny rand werk is word gedoen op die baie tegniese aspects van die onderwerp
daar s 'n baie van overlap tussen kruis ketting atomic swaps in die cryptocurrency ruimte en die dinge wat ons is doen gesê: sams selfs al die domain aansoek is geheel en al verskillende die underlying technological primitives is baie soortgelyke
die kontrak in vraag was modeled gebruik axoni s domain spesifieke taal axlang en dan nedersetting finality van die resulting kontant betalings was achieved oor verskillende permissioned ethereum compatible ledgers
clearmatics bydrae te die demo was ion 'n oop bron interoperability protokol ontwerp te voer atomic kruis ketting transactions
die axlang smart programing taal gebruik hier was ontwikkel deur axoni te maak werk met smart kontrakte in 'n enterprise instelling 'n seker ding sodat te praat
axlang is gebaseer op scala en enables formele verification van smart kontrakte 'n rigorous mathematical metode gebruik te bewys die correctness van rekenaar programme dit kan ook compile te beide die java en die ethereum virtual masjiene
egter developers is dikwels gevra waarom 'n ander programing taal
schvey gesê: wat doen baie van werk met groot skaal aansoek ontwerp op blockchains aan die lig gebring sekere requirements nie word ontmoet deur solidity die eerste stap in ontwikkeling smart kontrakte onder die ethereum gemeenskap
in name solidity lacks formele verification wat is die vermoë om te het mathematical proofs wat die kode geskryf het compiled behoorlik schvey gesê:
word in staat te tjek vir sekere fout vectors is 'n baie kragtige begrip veral indien jy is deploying 'n groot skaal multi- party infrastructure met 'n baie van waarde gaan deur dit hy gesê:
inderdaad die bewys van begrip trou twee harde tegniese uitdagings interoperability en formele verification en daar s 'n belangrik verband tussen die twee sams gesê uit
dink 'n einde staat van distributed mark infrastructure waar jy het 'n einde te einde proses vloei occurring deur verskeie stelsels hy gesê:
dit s natuurlik gaan te wees baie belangrik wat op die semantic laag 'n stelsel neem oor 'n proses uit 'n ander stelsel en vice versa verstaan en kan demonstreer presies wat die besigheid logika is wat hulle is consuming of producing vir 'n ander stelsel te consume