Microsoft Magnetar istražuje kako dokazati izvršavanje programa
Datum članka: 16. 10. 2026. 09:18 · Vijesti iz IT svijeta · Istraživanje računalstva
Microsoft Research je 15. listopada predstavio Magnetar, istraživački sustav za dokazivanje izvršavanja programa. Takav dokaz može potvrditi računanje, ali ne potvrđuje istinitost podataka koje je program dobio.
Izvor vijesti · Microsoft Research, 15. 10. 2026.
Provjera rezultata bez ponavljanja cijelog posla
Magnetar je virtualni stroj za kriptografske dokaze koji se oslanja na RISC-V. Istraživači opisuju izvršavanje programa i izradu dokaza koji druga strana može brzo provjeriti, bez ponavljanja kompletnog računanja. Sustav je namijenjen programima opće namjene, uključujući kod iz jezika poput Rusta i Goa.
Microsoft u svojem mjerenju na 15 testova navodi znatno ubrzanje prema uspoređenim sustavima za dokazivanje na jednakom hardveru. To su rezultati istraživačkog tima u određenim uvjetima, a ne obećanje ubrzanja običnih Windows aplikacija. Magnetar nije nova opcija koju će korisnik ovoga tjedna pronaći u postavkama Windowsa.
Što dokaz može reći, a što ostaje izvan njega
Zamislite dogovoreni program koji zbraja vrijednosti iz datoteke. Dokaz izvršavanja može pomoći provjeriti da je upravo taj postupak proveden nad zadanim ulazom. Ako je netko u datoteku prije toga upisao pogrešne vrijednosti, matematički ispravno zbrajanje neće ih pretvoriti u točne podatke.
Isti je razlog zbog kojega u poslovnom procesu treba odvojiti podrijetlo podataka, pravilo obrade i rezultat. Dobar postupak čuva verziju ulazne datoteke, opisuje tko je ovlašten mijenjati je te bilježi koja je verzija programa korištena. Kriptografski dokaz može biti koristan dio takvog sustava, ali ne zamjenjuje sve te korake.
Za čitatelja koji prati razvoj tehnologije zanimljiv je pomak prema provjerljivom radu između različitih sustava i organizacija. Pri procjeni konkretne primjene tražite jasan odgovor na tri pitanja: što se točno dokazuje, tko vjeruje početnim podacima i koliko košta stvaranje dokaza. Brza provjera na kraju ne govori sama koliko je zahtjevan cijeli postupak. Jednako treba razumjeti ograničenja i način povezivanja s postojećim programima.
Trebam li zbog ovog istraživanja zamijeniti prijenosnik?
Ne postoji osnova da se samo zbog ove objave mijenja uredska oprema. Čitanje dokumentacije, učenje i rad na malim primjerima drukčiji su zahtjev od produkcijskog stvaranja velikih dokaza. Za konkretan projekt treba izmjeriti stvaran program; u članku nismo testirali Magnetar na uređajima iz ponude.
Za uobičajen uredski i obrazovni rad uspoređujemo obnovljeni HP ProBook 650 G8 s Core i7-1185G7 i novi HP 250R G10 s Core 5-120U. Oba imaju 16 GB RAM-a, SSD od 512 GB, Windows 11 Pro i FHD zaslon klase 15,6 inča. Usporedba pokazuje trošak slične radne konfiguracije, bez tvrdnje o rezultatima specifičnog istraživačkog programa.
Naša preporuka
ProBook u stanju Prihvatljivo odgovara korisniku koji želi niži početni trošak za dokumente, preglednik i učenje. Novi HP namijenjen je kupcu koji želi nekorišten uređaj i noviju platformu. Aktualne cijene s PDV-om i potvrđena ušteda obnovljenog vidljive su u bloku proizvoda.
Ako računalo kupujete za razvoj, prije narudžbe sastavite kratak popis alata i najzahtjevnijeg zadatka. Usporedite ga s konfiguracijama obnovljenih prijenosnika i ostavite prostor za stvarno mjerenje. Istraživačku najavu čitajte kao razvoj mogućnosti računalstva, a odluku o kupnji donesite prema poslu koji danas trebate obaviti.
Novo ili obnovljeno – odaberi što ti više odgovara
Oba uređaja odgovaraju istoj namjeni: Prijenosnik za dokumentaciju, učenje i opći uredski rad; bez Magnetar benchmarka.
Uredski prijenosnici s 16 GB RAM-a, SSD-om od 512 GB, 15,6-inčnim FHD zaslonom i Windowsom 11 Pro. Obnovljeni ProBook: i7-1185G7, dodirni mat zaslon, stanje Prihvatljivo; novi HP: Core 5-120U i novija platforma. ProBook za niži trošak; novi HP za nekorišten uređaj.
Obnovljeni model financijski je isplativiji pri kupnji: nabavna cijena niža je za 145,66 €.
HP ProBook 650 G8
- CPUIntel Core i7 1185G7
- RAM16 GB SO-DIMM DDR4
- DISK512 GB SSD PCIe
- GPUIntel Iris Xe Graphics
- EKRAN15.6"
618,00 € s PDV-om
Cijena na 5. 10. 2026.: 618,00 € · O referentnoj cijeni
Stanje: Prihvatljivo · Jamstvo: 2 godine · Na zalihi
Pogledaj proizvod
Laptop HP 250R G10
- CPUIntel Core 5 120U
- RAM16 GB DDR4
- DISK512 GB SSD
- GPUIntel Graphics
- EKRAN15.6 "
763,66 € s PDV-om
Cijena na 19. 9. 2026.: 803,85 € · O referentnoj cijeni
Stanje: Novo · Jamstvo: 36 mjeseci · Na zalihi
Pogledaj proizvodPogledajte i ostale modele: HP – Prijenosna računala · HP – Prijenosna računala
Obnovljeno u Green Techu
Detaljno obnovljeno i 100 % testirano prijenosno računalo
Testirano i provjereno2 godine jamstva
Svaki obnovljeni laptop iz Green Tech ponude prolazi detaljan postupak obnove i testiranja u 11 koraka. Biramo laptope renomiranih proizvođača – Dell, Lenovo, HP i Fujitsu – građene za dugotrajan rad. Rezultat je provjeren uređaj, 100 % funkcionalan i spreman za rad.
- Vizualni pregled i razvrstavanje: provjera kućišta i zaslona te razvrstavanje u klase stanja (kao novo, vrlo dobro, dobro).
- Hardverska dijagnostika: testiranje procesora, matične ploče, RAM memorije i ostalih ključnih komponenti.
- Novi disk: ugrađuje se novi SSD; stari diskovi se ne koriste, radi sigurnosti i novog početka s vašim podacima.
- Test pod opterećenjem: provjera stabilnosti sustava, procesora i grafike pod visokim zahtjevima.
- Provjera baterije: mjerenje kapaciteta: baterija ima više od 60 % izvornog kapaciteta, a uz oznaku batteryCARE+ više od 80 % (nova ili s najviše 150 ciklusa punjenja).
- Sigurno brisanje podataka: potpuno uklanjanje svih podataka prethodnog korisnika.
- Detaljno čišćenje: profesionalno čišćenje iznutra i izvana.
- Nova tipkovnica: s hrvatskim znakovima ispisanima laserom, bez naljepnica.
- Obnova kućišta: poklopci se obrađuju bojama i premazima koji odgovaraju originalnom tvorničkom izgledu.
- Zaslon i pikseli: provjera ispravnosti zaslona i piksela prema ISO standardima.
- Instalacija sustava: svjež, licencirani Windows prema specifikaciji modela.
Svaki uređaj dobiva 2 godine tvorničkog jamstva, uz mogućnost produženja prema modelu. Za iznose veće od 100 € dostava je besplatna. Misli zeleno, kupi obnovljeno.