1. CanyouexplainaboutIDNI?

IDNIstandsforIntelligentDecentralizedNetworkInitiatives,aswedealwithsuchkindof
technologies.WedevelopTauChainwhichisapeertopeernetworkwithaspeciallanguage,
aswe'lldescribe.OverTauChainwewilldevelopAgoraswhichisincludesacurrencyand
futuristicmarkets.LaterwewilldevelopRouters.Space,aninitiativetofreeanddecentralizethe
internetbysendingrouters(likephones)tospace.

2.Whatarethereasonsthatletyoustartthisproject?Andwhenitstarted?Oristhere
anychangeinyourplan?Andthereasonofthechange?

WestartedwithaprojectcalledZennet,apublic,distributed,anddecentralizedSupercomputer.
Thedecentralizedcomputersystemwastooffertheabilitytobuyorsellidlecomputerpowerby
ortothirdparties.Theseresourceswerepooledtogetherandcouldbeusedfornumber
crunchingandotheroperations.Thisprojectwasagoodlessonforus,butasourscope
widenedwestartedthedevelopmentofadifferentsystemwithahighlybiggerscope.Among
thewidearrayofoperations,thenewsystemshallalsoincludeallpreviousoperationswith
muchgreaterflexibility.TauChainwascreated.

Tauservesasauniversalsourceoftrustableinformation,asacollaborativesourceof
knowledge,sourcecode,andrules,inaformthatisbothmachineandhumanreadableand
processable.Itoffersagroundinwhichsciencescanbeunified,and,moreimportantly,
peoplesthoughtscanbemetandunifiedcleanly.Therehavenotbeenmanychangestothe
plan,thevisionhasalwaysbeenthesamewhilstcreatingthissystem.

3.CanyougiveasimpledescriptionofTauChain?Whatisthedifferencebetween
TauChainandEthereum?Pleaseexplainitinawaythatpeoplewithouttechnical
knowledgecanalsounderstand.

TauisauniqueprogramminglanguagethatcontainsabuiltinblockchainandDHTnetworks.
TheTauchainisabletogeneraliseanycollaborativework.Itprovidesultimateinformation
sharingcapabilities,withrichwaystoquerydata,infernewinformation,andactcollaboratively.
Itmayserveasauniversalsourceoftrustableinformation,
asacollaborativesourceofknowledge,sourcecode,andrules,inaformthatisbothmachine
andhumanreadableandprocessable.Itoffersagroundinwhichsciencescanbeunified,and,
moreimportantly,peoplesthoughtscanbemetandunifiedcleanly.


ThedifferencesbetweenTauChainandEthereumaremainlythree:
1. Selfdefining(seeimage).BitcoinsandEthereumprotocolsarefixed,thereforeitcannot
bechangedinmanycases,orachangesmightrequireaforkwhichmightbeaquite
insecureoperation.Asanexample,whatifsomeonefindsabetterblockchainalgorithm,
wouldEthereum&Bitcoinbeabletomigrate?Or,whatifBitcoinhadabuiltinand
securewaytodealwiththeblocksizecrisis,asaspecialcaseofdefiningtheprotocol?
Thenetworkshouldhavetheabilitytochangewithtime.Anytrialtopredictthe
parametersbeforehandwilleventuallyfail.Forthat,thecodeoftheclientitselfhasto
comefromtheblockchain,andwehavetobeabletomakesurethatthiscodeissafe,
andisdoingwhatisintendedtodo.Thisiswhyforbeingselfdefiningwemusthaveour
speciallogic,aswedescribebelow.
2. ContextseparationonEthereumallnodesrunthesamecode.Whatcanthereforebe
thecomputationalpowerofthewholeEthereumnetwork(forcode,notmining)?It
cannotbenomorethanonesinglehomecomputer.Thisisbecauseallnodesmustrun
exactlysamecode,aspartoftheprocessofverifyingtheblockchain.OnTaueveryuser
candecidewhichchainorapplicationtorun,giventheyallruntherootchain,which
containsthedefinitionofthenetwork(thatmightchangewithtime,asabove).
3. Logic:EthereumusesTuringcompleteness,whileTauprefersconsistencyand
decidabilityinsteadofexpressibility.Thistradeoffisrootedindeeplogicalresultssuch
asGodel'sincompletenesstheoremsandtheHaltingProblem.Trustworthinessin
Ethereumsmartcontractscanbeexploitedbycraftedinputs,therecanbebothgood
andbadinputssoeventuallyhighlyunexpectedbehaviorswillcomealong.

Tauusesalogicwhichisconsistentanddecidable(specifically,MartinLofType
Theory).Thismeansthatalltruestatementsaboutcodecanbeproved,andtheproofs
canbetrusted.Onecansupplyrequirementsforsoftware,andautomaticallyverifythat
givencodemeetthoserequirements.Bythatonecanpredeterminecode'sbehaviorand
haveamathematicalproofthatitmeetsitsrequirements,sonoundesiredbehaviorcan
possiblyhappen,aslongasitisformalisedinTau'slanguage.
Moreadvancedexplanation:Turingcompletenessisinherentlyinsecurebecause
mathematicallytherewillbealwaysbeinfinitelymanystatementsthatcannotbeneither
provednordisproved.Thingscanbeprovablycorrectorprovablywrongatthesame
time,forexample,stating"I'mabletodecidewhetherTuringcompletecodeissecure"
(whileprovidingsomeformaldefinitionofsecurity)isalmostalwaysaselfcontradictory
sentence(cf.Ricetheorem).

4.Exceptforethereum,asyouknow,whetherthereisothersimilarprojectorprojectthat
cansolvesimilarproblemsornot.

Someprojectstrytoofferadecidablelanguagededicatedforcontracts,butTauiswaymore
thanthat.Itismeanttobeageneralpurposeprogramminglanguage,andnotonlya
programminglanguage.Itcanserveasauniversallanguagethatisabletodescribeanyidea
withoutambiguityandwithoutcontradiction,ifverysimplechecksareperformedandcanbe
performedbyacomputer.

5.WhatkindoffunctionofAgorasdecentralisedcomputationalresourcesmarketcould
achieve?Pleaseuseaeasywaytodescribethebusinessmodelandbusinessprospects.
CouldAgorascompetewithMicrosoftandAmazon'scloudcomputingplatform?What
areitsadvantages?Whatisyourestimationofthepotentialagorascoinmarketcapafter
itslaunch,andwhatarethereasonsofthisestimation?

AgorasisanapplicationoverTau,beingfirstandforemostasmartcurrency.Likeanintelligent
assistantrunningonyourcomputerandfollowingyourrules,whilebeingabletocommunicate
withothersuchpeersaswell.Itcanautomaticallyreviewcontractsanddecidewhethertheyfit
yourcriteriasornot,forexample.Businessthatdon'tneedapublicarenatotakeplace,can
takeplacebetweentwoAgorasclients.ThatthankstothedecidabilityoftheTaulanguage.

Inaddition,Agoraswillofferseveralmarketsbesidesbeingmerelyacurrency.Thethreeof
themwecurrentlyplantodevelopare:
1.Hiringprogrammersinourinnovativewaythateliminatestheneedoftrust.Onecanpublish
anautomaticrewardtowhoeverwritescodethatmeetsgivenrequirements.
2.Rentingcomputationalresources,likeAWS.Thisisahugemarketbeingamajorbottleneck
andsuchthatcentralizedentitiescannotcompetewithadecentralizednetwork.

3.Intelligentdecentralizedsearchengine,likeBaidu/Google,butinawaythatthedatabaseis
opentoall,thereforequeriescanbemuchmorecomplexandinformative.

6.WhencanTauChainandAgorasbeavailable?

It'squiteimpossibletopredict,butmorelikemonthsratheryears.

7.Thetechnologydifficultyofthisprojectishigh.Whatisthemostdifficultpart?

Fortunatelythoseallideascomedowntowritingacompilertoaquitesimpleprogramming
language.Writingsuchacompilerisn'taverybigproject.Butthedifficultyisthatwehaveto
makeitperfectatthefirstversion.Afterthenetworkbeginstofunction,it'stoolatetofixor
improve.Asthenetworkisselfdefiningandchangewithtime,itdoesneedtohavesomefixed
core,andthecoreisthelanguageanditsrunningasacomputerprogram.

12.WhatdoyouthinkoftheChinesemarket?HowdoyouseeinrecentyearsChinas
developmentofdigitalcurrencyandblockchainindustry?Doyouhaveanypromotion
planinChinasuchasbuildinganofficialChinesewebsite?

TheChinesepeopleareveryrespectedandimportant.Weallsharetheroleofmakingabetter
future.Taubreaksthelanguagebarrierandallowsultimateknowledgesharingbetween
culturesasbetweendifferentdisciplinesofscience.SinceTaucanactuallycomprehendthe
ideasexpressedinitslanguage,anditslanguageitselfismultilingual(youcanwriteTaucodein
Chinesecharacterstoo,forexample,justlikethelanguagesoftheSemanticWeb).Youcould
evenaskaquestioninChinese,andautomaticallyfindananswergiveninanotherlanguage
withouttheneedoftranslation,butonlybycomparingthestructureoftheinformation.

8.ACointelegraphinterviewonAugust2015,yourpartnerMr.HunterMinerCraftersaid
"TheentireBitcoinprotocolcouldeasilybeimplementedonTau".Doesitmean
crosschaintransactionbetweenBitcoinandTauChainispossible,orTauChaincanbe
thesidechainofBitcoin?

Bitcoin'scodecanbecreatedorrebuiltinTaulanguage.Aslongastheprotocolisthesame
andthecommunicationmethodsarethesame,itisessentiallynodifferentthanotherBitcoin
clients.MuchlikeBitcoincanbecreatedinc++,candJavaprogramminglanguages.Tohave
newfeaturesthatareincompatiblewithBitcoin'sprotocol,adifferentcoinwillhavetobe
created.Andthat'swhywedoAgoras.