← Akademiara itzuli
MAILA 1 · Doakoa
Kripto eta Blockchain Oinarriak
Kateak, transakzioak, wallet-ak eta finalitatea ulertzeko eredu mentala eraiki.
8 ikasgai · 8 Eremu-ariketa · 8 Eszenatoki praktikoak · 20 galdera · 80% gainditzeko nota
Hasi ikasten0% · 0/21
Zer egiten jakingo duzun
✓
Modulu honek egoera, adostasuna eta finalitatea lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek gakoak, helbideak eta wallet mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek transakzioaren bizi-zikloa eta tasak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek utxo eredua vs kontu eredua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Programa
▸1.1 · Egoera da sareak adosten duena14 min
▸1.2 · Adostasunak ez ditu konfiantza-suposizioak kentzen16 min
Laborategia · Jarraitu transakzioa
Ikastaro honek barne hartzen du
- ·8 ikasgai · 12 gidatutako ordu
- ·4 Laborategia · Eszenatoki praktikoak
- ·8 Kasu aplikatuak · 8 Ezagutza-egiaztapenak
- ·52 Azterketa-bankua · 80% gainditze-nota
- ·Amaiera-kredentziala: UTXO Certified · Crypto Foundations
Ikastaro honek zer espero duen zugandik
- ·Transakzio bat jarraitu eta konfiantza non dagoen azaldu.
- ·Gainditzeko nota: 80%
- ·Ez du aurretiazko ikastarorik behar.
Ikastaroaren briefinga
Prestakuntza-kontratua
Transakzio bat jarraitu eta konfiantza non dagoen azaldu.
Entregagai praktikoak
Egoera, adostasuna eta finalitatea
Modulu honek egoera, adostasuna eta finalitatea lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · TX-FLOWGakoak, helbideak eta wallet mugak
Modulu honek gakoak, helbideak eta wallet mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · KEY-BOUNDARYTransakzioaren bizi-zikloa eta tasak
Modulu honek transakzioaren bizi-zikloa eta tasak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · TX-FLOWUTXO eredua vs kontu eredua
Modulu honek utxo eredua vs kontu eredua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · TX-FLOWEbaluazio-kontratua
Ikasgai-egiaztapenak8
Modulu-laborategiak4
Amaierako azterketa20
Menderatze-atalasea80%
Ikasketa-plan osoa
Kripto eta Blockchain Oinarriak
Hasi aurretik berrikusi curriculum osoa, gaitasunak eta ebaluazio-bidea.
Ikasketa-karga gidatua12h
modulu4
ikasgai8
01
Egoera, adostasuna eta finalitatea
Modulu honek egoera, adostasuna eta finalitatea lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
1.1
Egoera da sareak adosten duena45 min · Ikasgai tekniko sakona
1.2
Adostasunak ez ditu konfiantza-suposizioak kentzen45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaJarraitu transakzioa
02
Gakoak, helbideak eta wallet mugak
Modulu honek gakoak, helbideak eta wallet mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
2.1
Gako batek baimentzen du; helbide batek identifikatzen du45 min · Ikasgai tekniko sakona
2.2
Wallet bat gako-biltegi bat baino gehiago da45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaBabestu sinadura-muga
03
Transakzioaren bizi-zikloa eta tasak
Modulu honek transakzioaren bizi-zikloa eta tasak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
3.1
Asmotik inklusiora45 min · Ikasgai tekniko sakona
3.2
Tasek lehentasuna erosten dute, ez zuzentasuna45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaJarraitu transakzioa
04
UTXO eredua vs kontu eredua
Modulu honek utxo eredua vs kontu eredua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
4.1
UTXO-k output diskretuak gastatzen ditu45 min · Ikasgai tekniko sakona
4.2
Kontu bidezko kateek egoera partekatua aldatzen dute45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaJarraitu transakzioa
- Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
- Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
- Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu gako batek baimentzen du; helbide batek identifikatzen du xehetasun huts gisa.
- Ekintza: egiaztatu gako batek baimentzen du; helbide batek identifikatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu wallet bat gako-biltegi bat baino gehiago da xehetasun huts gisa.
- Ekintza: egiaztatu wallet bat gako-biltegi bat baino gehiago da-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu asmotik inklusiora xehetasun huts gisa.
- Ekintza: egiaztatu asmotik inklusiora-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu tasek lehentasuna erosten dute, ez zuzentasuna xehetasun huts gisa.
- Ekintza: egiaztatu tasek lehentasuna erosten dute, ez zuzentasuna-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Idatzizko landa-ariketa × 8
- Ezagutza-egiaztapenak × 8
- Moduluaren laborategi praktikoa × 4
- Azken azterketa kronometratua · 20 · ≥ 80%
- Ikasgai tekniko sakona · 360 min
- Idatzizko landa-ariketa · 160 min
- Moduluaren laborategi praktikoa · 140 min
- Specialist units · 105 min
- Azken azterketa kronometratua · 30 min
IKASTAROAREN ESKULIBURUA
12hEsparrua, emaitzak eta ikasketa-estandarra
Kateak, transakzioak, wallet-ak eta finalitatea ulertzeko eredu mentala eraiki.
Ez da aurretiazko ikastaro teknikorik behar.
- Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
- Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
- Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu gako batek baimentzen du; helbide batek identifikatzen du xehetasun huts gisa.
- Ekintza: egiaztatu gako batek baimentzen du; helbide batek identifikatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu wallet bat gako-biltegi bat baino gehiago da xehetasun huts gisa.
- Ekintza: egiaztatu wallet bat gako-biltegi bat baino gehiago da-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu asmotik inklusiora xehetasun huts gisa.
- Ekintza: egiaztatu asmotik inklusiora-ri buruzko ebidentzia teknikoa baimendu aurretik.
- 01
Irakurri sei ataleko kapitulu teknikoa
- 02
Aztertu visual bakarra eta protokolo-eredua
- 03
Landu kasua eta ebidentzia-mapa
- 04
Bidali idatzizko landa-ariketa
- 05
Gainditu knowledge check eta modulu-laba
- 06
Osatu kronometratutako azken ebaluazioa
Baieztapenak eremu behagarriekin, protokoloaren portaerarekin, lehen mailako iturriekin edo argi adierazitako hipotesiekin lotu behar dira. Ezezagunak esplizitu mantendu behar dira.
Amaitzeko, idatzizko lana, knowledge check-ak, modulu-lab guztiak eta azken azterketan gutxienez %80 behar dira. Maila profesionalak capstone-a ere eskatzen du.
- Egoera da sareak adosten duena
- Blockchain batek egoera-aldaketei arauak aplikatzen dizkie eta adostasunaren bidez historia batean bat egiten du. Azterketak egoera autoritatiboa, haren suposizioak eta geratzen den reorg-arriskua identifikatu behar ditu.
- Adostasunak ez ditu konfiantza-suposizioak kentzen
- PoW, PoS eta beste mekanismoek autoritatea eta hutsegiteak modu desberdinean banatzen dituzte; segurtasun ekonomikoak ez du aplikazio-segurtasuna ordezkatzen.
- Gako batek baimentzen du; helbide batek identifikatzen du
- Private key-ak sinadura baliodunak sortzen ditu eta helbidea identifikatzaile publikoa da. Seed edo gako pribatua agerian uzteak kontrola transferitzen du.
- Wallet bat gako-biltegi bat baino gehiago da
- Wallet softwareak request-ak eraikitzen ditu, testuingurua erakusten du eta baimena eskatzen du. UIa, browser origin-a, signer-a eta gailua trust boundary bereiziak dira.
- Asmotik inklusiora
- Eragiketa bat asmotik payload-era, sinadurara, hedapenera, mempool-era, inklusiora eta finalitatera igarotzen da; fase bakoitzak arrisku eta erantzun aukera desberdinak ditu.
- Tasek lehentasuna erosten dute, ez zuzentasuna
- Fee-ek abiadura eta inklusioa eragiten dituzte, baina ez dute asmoa baliozkotzen. Fee altuko transakzio maltzur batek maltzurra izaten jarraitzen du.
- UTXO-k output diskretuak gastatzen ditu
- UTXO ereduan aurreko input-ak kontsumitu eta output berriak sortzen dira; coin selection, change eta script-ek baliozkotasuna, pribatutasuna eta kostua eragiten dituzte.
- Kontu bidezko kateek egoera partekatua aldatzen dute
- Account-based kateetan balance, nonce eta storage egoera partekatuan daude eta call batek ikusgai dagoen hartzailetik haragoko logika exekuta dezake.
HEDAPEN ESPEZIALIZATUAK
Protokolo modernoak eta gai operatiboak
Hedapen hauek oinarrizko curriculuma gaur egungo estandarrekin eta profesional batek ezagutu behar dituen segurtasun-mugekin zabaltzen dute.
EXT / 01
HD walletak, BIP-32 eta deribazio-mugak
Seed bakar batek gako hedatuen hierarkia nola sortzen duen, hardened deribazioa zergatik dagoen eta xpub batek helbide arrunt batek baino informazio gehiago zergatik azaltzen duen aztertzen da.
Segurtasun-fokuaDeribazio-bidea · hardened/non-hardened · xpub esposizioa · kontu-banaketa
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
Lehen mailako erreferentziakBIP-32 ↗
EXT / 02
PSBT, offline sinadura eta transakzio-eskualdaketa
PSBT eraikuntzaren eta sinaduraren arteko formatu egituratua da. Signer-ak inputs, outputs, change, fee eta ezezaguneko eremuak egiaztatu behar ditu, offline jatorriak ez baitu fidagarritasuna bermatzen.
Segurtasun-fokuaUnsigned transaction · input metadata · change · signer egiaztapena · PSBT v0/v2
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
EXT / 03
Taproot, Schnorr eta MuSig2 baimena
Taproot key/script paths BIP-340 bateragarria den multisig-ekin lotzen dira. Gako agregatuek on-chain aztarna sinplifikatzen dute, baina nonce kudeaketa eta parte-hartzaileen koordinazioa kritikoak dira.
Segurtasun-fokuaTaproot · Schnorr · MuSig2 · nonce diziplina · fallback
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
Modulua 01
Egoera, adostasuna eta finalitatea
Modulu honek egoera, adostasuna eta finalitatea lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ikasgaia 1.1
Egoera da sareak adosten duena
Kapitulu teknikoa
Ikasgai tekniko sakonaEgoera da sareak adosten duena
01
Eredu mentala
Blockchain batek egoera-aldaketei arauak aplikatzen dizkie eta adostasunaren bidez historia batean bat egiten du. Azterketak egoera autoritatiboa, haren suposizioak eta geratzen den reorg-arriskua identifikatu behar ditu.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak. Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
02
Benetan zer gertatzen den
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
Protokolo- eta exekuzio-mailan, aztertu behar da state eta transition eta consensus eta reorg eta finality. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
stateIkuskapen teknikoaren puntuak
transitionIkuskapen teknikoaren puntuak
consensusIkuskapen teknikoaren puntuak
reorgIkuskapen teknikoaren puntuak
finalityIkuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
- Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
- Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
04
Erabaki-irizpidea
Lotu seinale material bakoitza aktiboetan, autoritatean edo konfiantzan sor dezakeen ondorio zehatzarekin.
Ondorio praktikoa da Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
05
Egiaztapen-prozedura
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
- 01
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
- 02
Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
- 03
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
- 04
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
- 05
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
06
Analistaren entregagarria
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa. eta Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaEgoera da sareak adosten duena · Erabaki-irizpidea
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
Mekanika
state
accepted chain/application statetransition
valid state changeconsensus
history selection / finalizationreorg
accepted history can changefinality
confidence / economic or protocol guaranteeHutsegite-seinaleak
- 01
treating inclusion as absolute finality
- 02
ignoring reorg assumptions
- 03
confusing consensus security with app safety
- 04
wrong confirmation threshold
- 05
no chain-specific finality model
Egiaztapen-prozedura
- 01
identify consensus mechanism
- 02
define confirmation/finality criterion
- 03
measure reorg exposure
- 04
separate protocol validity from economic intent
- 05
document settlement assumption
Arrazoibide-katea
- 01
gertaerak → ebidentzia materiala
- 02
ebidentzia → ondorioa / autoritatea
- 03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarria
chain finality assumption recordProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
state / consensus / finality01Behatu
- state: accepted chain/application state
- transition: valid state change
02Trazatu
- consensus: history selection / finalization
- reorg: accepted history can change
- finality: confidence / economic or protocol guarantee
03Zalantzan jarri
- treating inclusion as absolute finality
- ignoring reorg assumptions
- confusing consensus security with app safety
04Egiaztatu
- identify consensus mechanism
- define confirmation/finality criterion
- measure reorg exposure
05Emaitza
- chain finality assumption record
Aginte-azalerastate · transition · consensus
Hutsegite-baldintzatreating inclusion as absolute finality
Kasu praktikoa
btc-finalitychain
Bitcoinvalue
1.8 BTCconfirmations
1reorg Policy
treasury requires 6mempool Replacement
disabledquestion
settled or still operationally reversible?Analistaren zeregina
Erantzun aurretik, identifikatu ematen den autoritatea, huts egin dezakeen konfiantza-muga eta itzulezin bihurtzen den ondorioa.
Ebidentzia mapa
Antolatu erabaki aurretik
Bereizi identitatea, autoritatea, exekuzioa eta testuingurua segurtasun-erabakia hartu aurretik.
01
Identitatea
Nork edo zerk eskatzen, jasotzen edo ordezkatzen du autoritatea?
—
02
Autoritatea
Zein gaitasun eman, mantendu edo erabil daiteke?
reorg Policy
treasury requires 603
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
value
1.8 BTCmempool Replacement
disabled04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
chain
Bitcoinconfirmations
1question
settled or still operationally reversible?Eremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuastate · transition · consensus
Hutsegite-seinaleatreating inclusion as absolute finality
Lehenik egiaztatuidentify consensus mechanism
Entregagarriachain finality assumption record
Amaiera-irizpideak
- Ebidentzia materiala aipatzen du, ez UI itxura.
- Agintea, egoera-trantsizioa edo ondorioa izendatzen du.
- Hurrengo ekintza edo erabaki erreproduzigarria ematen du.
Segurtasun-oharrak
- 01
Arrisku nagusia: ez hartu egoera da sareak adosten duena xehetasun huts gisa.
- 02
Ekintza: egiaztatu egoera da sareak adosten duena-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren koadernoa
Tokiko ikasketa-erregistroaEraiki zure ebidentzia-memoa
Idatzi zure arrazoibidea egiaztapenaren aurretik eta amaitu erabaki edo hurrengo ekintza esplizitu batekin. Oharrak gailu honetan geratzen dira.
LOCAL STORAGE
Eremu-ariketa
Garatu hiru atalak osatu aurretik.
Ikasgaia 1.2
Adostasunak ez ditu konfiantza-suposizioak kentzen
Kapitulu teknikoa
Ikasgai tekniko sakonaAdostasunak ez ditu konfiantza-suposizioak kentzen
01
Eredu mentala
PoW, PoS eta beste mekanismoek autoritatea eta hutsegiteak modu desberdinean banatzen dituzte; segurtasun ekonomikoak ez du aplikazio-segurtasuna ordezkatzen.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak. Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
02
Benetan zer gertatzen den
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
Protokolo- eta exekuzio-mailan, aztertu behar da safety eta liveness eta censorship eta economic security eta centralization. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
safetyIkuskapen teknikoaren puntuak
livenessIkuskapen teknikoaren puntuak
censorshipIkuskapen teknikoaren puntuak
economic securityIkuskapen teknikoaren puntuak
centralizationIkuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
- Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
- Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
04
Erabaki-irizpidea
Lotu seinale material bakoitza aktiboetan, autoritatean edo konfiantzan sor dezakeen ondorio zehatzarekin.
Ondorio praktikoa da Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
05
Egiaztapen-prozedura
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
- 01
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
- 02
Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
- 03
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
- 04
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
- 05
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
06
Analistaren entregagarria
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa. eta Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaAdostasunak ez ditu konfiantza-suposizioak kentzen · Erabaki-irizpidea
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
Mekanika
safety
conflicting histories preventedliveness
network continues progressingcensorship
transactions can be excluded/delayedeconomic security
cost of attacking consensuscentralization
concentration of block/finality powerHutsegite-seinaleak
- 01
generic 'decentralized' claim
- 02
no adversary model
- 03
ignoring validator/miner concentration
- 04
assuming liveness under every partition
- 05
same finality policy across all chains
Egiaztapen-prozedura
- 01
name consensus actors
- 02
identify safety/liveness assumptions
- 03
identify attack/economic threshold
- 04
inspect concentration dependencies
- 05
set workflow-specific finality requirement
Arrazoibide-katea
- 01
gertaerak → ebidentzia materiala
- 02
ebidentzia → ondorioa / autoritatea
- 03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarria
consensus threat-assumption matrixProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
consensus / tradeoffs01Behatu
- safety: conflicting histories prevented
- liveness: network continues progressing
02Trazatu
- censorship: transactions can be excluded/delayed
- economic security: cost of attacking consensus
- centralization: concentration of block/finality power
03Zalantzan jarri
- generic 'decentralized' claim
- no adversary model
- ignoring validator/miner concentration
04Egiaztatu
- name consensus actors
- identify safety/liveness assumptions
- identify attack/economic threshold
05Emaitza
- consensus threat-assumption matrix
Aginte-azalerasafety · liveness · censorship
Hutsegite-baldintzageneric 'decentralized' claim
Kasu praktikoa
consensus-risksystem
PoS chainvalidator Concentration
top 4 = 48%finality
economicbridge Dependency
yeswithdrawal Delay
7 daysreview
liveness vs finality assumptionsAnalistaren zeregina
Erantzun aurretik, identifikatu ematen den autoritatea, huts egin dezakeen konfiantza-muga eta itzulezin bihurtzen den ondorioa.
Ebidentzia mapa
Antolatu erabaki aurretik
Bereizi identitatea, autoritatea, exekuzioa eta testuingurua segurtasun-erabakia hartu aurretik.
01
Identitatea
Nork edo zerk eskatzen, jasotzen edo ordezkatzen du autoritatea?
—
02
Autoritatea
Zein gaitasun eman, mantendu edo erabil daiteke?
—
03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
—
04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
system
PoS chainvalidator Concentration
top 4 = 48%finality
economicbridge Dependency
yeswithdrawal Delay
7 daysreview
liveness vs finality assumptionsEremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuasafety · liveness · censorship
Hutsegite-seinaleageneric 'decentralized' claim
Lehenik egiaztatuname consensus actors
Entregagarriaconsensus threat-assumption matrix
Amaiera-irizpideak
- Ebidentzia materiala aipatzen du, ez UI itxura.
- Agintea, egoera-trantsizioa edo ondorioa izendatzen du.
- Hurrengo ekintza edo erabaki erreproduzigarria ematen du.
Segurtasun-oharrak
- 01
Arrisku nagusia: ez hartu adostasunak ez ditu konfiantza-suposizioak kentzen xehetasun huts gisa.
- 02
Ekintza: egiaztatu adostasunak ez ditu konfiantza-suposizioak kentzen-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren koadernoa
Tokiko ikasketa-erregistroaEraiki zure ebidentzia-memoa
Idatzi zure arrazoibidea egiaztapenaren aurretik eta amaitu erabaki edo hurrengo ekintza esplizitu batekin. Oharrak gailu honetan geratzen dira.
LOCAL STORAGE
Eremu-ariketa
Garatu hiru atalak osatu aurretik.
Laborategia blokeatuta
Gainditu modulu honetako bi ezagutza-egiaztapenak laborategia egin aurretik.
Modulua 02
Gakoak, helbideak eta wallet mugak
Modulu honek gakoak, helbideak eta wallet mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 03
Transakzioaren bizi-zikloa eta tasak
Modulu honek transakzioaren bizi-zikloa eta tasak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 04
UTXO eredua vs kontu eredua
Modulu honek utxo eredua vs kontu eredua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Amaierako azterketa
Amaierako azterketa
Ebaluazio metatua da; saiakera bakoitzean kontzeptu eta kasu praktikoetatik berreraikitzen da.
Gutxienez %80 lortu behar da. Teoria osatzeak ez du berez kredentzialik sortzen.
Gainditzeko nota80%
Puntuazio onena0%
Bankua52
Saiakera20
Saiakerak0
Denbora-muga30 min
BLOKEATUTAAmaitu teoria-checkpoint eta laborategi guztiak amaierako azterketa desblokeatzeko.