Bu tədqiqat, elektrikli avtomobil şarj sessiyasının sonunda yaradılan bir qəbzin yalnız bir verilənlər bazası qeyd kimi saxlanması əvəzinə, daha sonra dəyişdirildiyinin müstəqil şəkildə anlaşıla bilməsini təmin edən Proof-of-Charge adlı yoxlanıla bilən bir qeyd platforması hazırlayır. Sistem şarj sessiyasınu deterministik bir qəbzə çevirir, qəbz məzmununu SHA-256 ilə xülasələyir, zaman üzrə sıralanmış sayğac ölçmələrini Merkle kökü ilə əlaqələndirir və çox sayda qəbzi tək bir Merkle batch kökü altında birləşdirərək yalnız bu kompakt öhdəliyi blockchain-ə qeydə alır. Ayrıntılı şarj və faturalandırma məlumatları isə zəncir xaricində PostgreSQL'də saxlanılır.

Prototip FastAPI, PostgreSQL, Python, Solidity və lokal Ethereum uyğun Anvil hazırlama zənciri istifadə edilərək tətbiq edilmişdir. 10, 50, 100, 500 və 1000 qəbzlik iş yüklərinin hər biri on dəfə ölçülmüş; cəmi 50 ölçməli tədqiqatın hamısında istənilən, yaradılan, qeydə alınan, batch'e alınan, doğrulanan və ixrac edilən qəbz identiklikləri uzlaşdırılmış; batch kökü kontrolları və lokal blockchain müqayisələri uğurlu olmuşdur. Ortalama qəbz əməliyyate gecikməsi test edilen iş yüklerinde 7,152–7,853 ms/qəbz, orta throughput isə 127,54–141,23 qəbz/s aralığında hesabatda bildirilmişdir.

Tədqiqatın dikkat çekici yönlerinden biri, blockchain'in bütün şarj qeydinı saklamak üçün deyil, dışarıdan karşılaştırılabilecek kiçik bir bütünlük kontrol noktası kimi kullanılmasıdır. Şarj istasyonu identikliyi, istifadəçi verisi, sayğac örnekleri, fiyatlandırma və settlement detalları zəncir xaricində kalırken çox sayda qəbzin tək batch kökü tək blockchain əməliyyatıyle temsil edilebilmektedir. Yerel deneylerde 10 qəbz üçün batch sabitleme əməliyyatı 143.329 gas birimi tüketirken 1000 qəbz üçün 143.365 gas birimi tüketmiştir; bu yaxınlık, zəncire qəbzlərin kendisinin deyil sabit boyutlu bir kökün gönderilmesinden mənbəlanmaktadır.

Bununla belə sistem, qeydə alınmış bir məlumatın sonradan dəyişdirilməsini görünür hale getirmeyi amaçlar; ilk etibarlı kriptoqrafik taahhüt oluşturulmadan əvvəl yanlış üretilmiş, sahte və ya hiç sisteme gönderilmemiş bir şarj olayının real olduğunu sübut etmir. Tədqiqatda real şarj cihazı imzası, sayğac düzeyinde rəqəmsal imza, sertifikatt zənciri, etibarlı zaman möhürü, açar yaşam döngüsü, ictimai blockchain şəbəkəsindaki finality və ya real OCPP/OCPI işletme verisi tətbiq edilməmişdir. Bu səbəbdən Proof-of-Charge, mənbə məlumatın fiziksel kimi doğru olduğunu garanti eden bir ölçmə sistemi deyil; qeyd oluşturulduktan sonraki bütünlüğü və tutarlılığı yoxlanıla bilən hale getiren bir prototiptir.

Türkiyə baxımından şərh: Mimari, kavramsal kimi Türkiye'deki elektrikli avtomobil şarj platformlarında da dəyərlendirilebilecek genel bir qeyd və audit yanaşmasıdır; ancak tədqiqatda Türkiye'deki şarj işletmecileri, lokal sayğac altyapısı, real şarj protokolleri, ödeme və mutabakat sistemləri və ya lokal işletme şərtləri test edilməmişdir. Bundan əlavə bildirilen gecikmə, throughput və blockchain əməliyyat dəyərləri birbaşa Türkiye'deki istehsal altyapısına aktarılamaz. Gerçek kullanım üçün lokal şarj cihazları, real sayğac verisi, identiklik və açar idarəetməsi, şəbəkə altyapısı, verilənlər bazası ölçeği və operasyonel mutabakat süreçleri üzərində ayrıca təsdiqləmə gerekir.

Tədqiqatın əsas problemi nədir?

Elektrikli araç şarjı yalnız aracın bataryasına enerji verilmesinden ibaret değildir. Halka açıq bir şarj sessiyasında sürücü, şarj noktası işletmecisi, e-mobilite hizmet sağlayıcısı, roaming platforması, ödeme sağlayıcısı və başqa enerji sistemi aktörleri eyni rəqəmsal qeyd zəncirinde yer alabilir. Sayaç okumaları, zaman möhürləri, tarifeler, əməliyyat identiklikləri və yekun fatura daha sonra ödeme uyuşmazlığı və ya audit üçün təkrar incelenmek zorunda kalabilir.

Tədqiqatın hədəflediği sorun şudur: Bir verilənlər bazasında bulunan yekun qəbzin, qəbz oluşturulurken istifadə edilən zaman üzrə sıralanmış sayğac verisiyle həqiqətən eyni kayda bağlı kaldığı və sonradan değiştirilmediği nasıl müstəqil şəkildə yoxlanıla bilən?

OCPP və OCPI kimi protokoller şarj altyapısı ilə backend və ya fərqli hizmet sağlayıcıları arasında məlumat alışverişini desteklemektedir. Lakin tədqiqatçıların vurguladığı boşluk, məlumat iletiminin kendisinin uzun vadeli qəbz bütünlüğünü sübutlayan müstəqil bir təsdiqləmə mexanizmi olmamasıdır.

Proof-of-Charge ne anlama geliyor?

Bu tədqiqatda Proof-of-Charge, tək bir hash dəyərinden daha geniş bir kavramdır. Terim; tamamlanmış bir EV şarj qəbzinu zaman üzrə sıralanmış sayğac qeydlərina, batch üyeliğine və blockchain-ə sabitlənmiş kriptoqrafik taahhüde bağlayan bütün təsdiqləmə zəncirini ifade etmektedir.

Əsas akış şöyledir:

Neden bütün qeyd birbaşa blockchain-ə yazılmıyor?

Tədqiqatçılar blockchain'i tətbiq verilənlər bazasının əvəzinə koymamaktadır. Tam bir şarj sessiyasında istifadəçi və EVSE identiklikləri, sayğac örnekleri, zaman möhürləri, tarife detalları və settlement dəyərləri bulunabilir. Bu detalların tamamının zəncir üzərində tutulması depolama yükünü və əməliyyat maliyetini artırabileceği kimi hassas məlumatların gereksiz şəkildə yayımlanmasına da yol açabilir.

Platform bu nedenle hibrid bir yapı kullanmaktadır:

• Off-chain: Tam oturum qeydləri, sayğac dəyərləri, qəbzlər, batch üyelikleri və təsdiqləmə geçmişi PostgreSQL'də saxlanılır.
• On-chain: Yalnız çox sayda qəbzi temsil eden kompakt batch Merkle kökü saxlanılır.

Blockchain burada “bütün gerçeği taşıyan verilənlər bazası” deyil, daha sonra lokal qeydla karşılaştırılabilecek dış bir kriptoqrafik referanstır.

Kanonik qəbz neden gerekli?

Kriptoqrafik hash hesaplamasında eyni bilimsel və ya ticari anlamı taşıyan iki JSON belgesinin byte düzeyinde fərqli olması fərqli hash üretir. Anahtar sırası, Unicode biçimi, zaman dilimi yazımı, sayı yuvarlama biçimi və ya gereksiz boşluklar değişirse hash də değişebilir. Tədqiqatçılar bu problemi önlemek üçün poc-c14n-v1 adlı açıq bir kanonikleştirme profili tanımlamıştır.

Profilde yeni qəbzlər kompakt UTF-8 JSON kimi serileştirilir; nesne açarları Unicode kod noktasına görə sıralanır, sıra sırası anlamlı kabul edilir, metinler Unicode NFC'ye normalleştirilir, zaman möhürləri UTC biçimine çevrilir və enerji/fiyat/settlement miktarları ROUND_HALF_UP metodu ilə üç ondalık basamaklı dizgiler halinde temsil edilir. Negatif sıfır 0.000'a çevrilir.

Eksik zorunlu alan, null dəyər, fazladan alan, zaman dilimi belirtilmemiş timestamp, sonlu olmayan sayı, duplicate JSON açarı, bilinmeyen profil və ya desteklenmeyen algoritma durumunda əməliyyat “fail closed” olacak şəkilde layihələndirilmişdir.

Tədqiqatçılar Python 3.13.3 və Node.js v23.10 tətbiqlarının belirlenmiş uyğunluq vektörü üçün eyni UTF-8 byte sırasıni və eyni SHA-256 sonucunu ürettiğini bildirmektedir. Bu test yalnız incelenen Python–JavaScript eşleşmesini doğrular; hər programlama dili və ya hər JSON serileştiricisi üçün evrensel birlikte çalışabilirlik sübutı değildir.

Şarj oturumu matematiksel kimi nasıl temsil ediliyor?

Tədqiqatda bir şarj sessiyası bu genel yapı ilə tanımlanmaktadır:

\[ S=\{sid,uid,evse,tx,t_s,t_e,M,P,type\} \]

Burada sid oturum identikliyi, uid istifadəçi identikliyi, evse şarj noktası identikliyi, tx əməliyyat identikliyi, \(t_s\) və \(t_e\) başlangıç/bitiş zamanları, \(M\) sıralanmış sayğac verisi, \(P\) fiyatlandırma yapısı və type isə oturumun yalnız şarj, yalnız deşarj və ya çift yönlü olduğunu belirtmektedir.

Sayaç akışı:

\[ M=\{m_1,m_2,\ldots,m_n\} \]

şəklindədir. Hər \(m_i\) bir zaman möhürü ilə enerjiyle ilgili ölçmələri taşır.

V2G üçün enerji hesabı nasıl modelleniyor?

Qəbz yalnız araca aktarılan enerjiyi deyil, araçtan geri verilen enerjiyi də temsil edebilmektedir. Enerji xülasəi:

\[ E=\{E_{\mathrm{import}},E_{\mathrm{export}},E_{\mathrm{net}}\} \]

kimi tanımlanır və əsas invariant:

\[ E_{\mathrm{net}}= E_{\mathrm{import}}-E_{\mathrm{export}} \]

şəklindədir. Yalnız şarj sessiyasında export sıfırdır. Yalnız deşarj sessiyasında net enerji negatif ola bilər. Çift yönlü oturumda eyni qəbz hem ithal edilen hem geri verilen enerjiyi içerebilir.

Settlement üçün mənbə metnin açıklamasında brüt ithalat maliyeti \(C_{\mathrm{import}}\), brüt ihracat kredisi \(C_{\mathrm{export}}\) və net tutar \(C_{\mathrm{net}}\) tanımlanmakta və:

\[ C_{\mathrm{net}}= C_{\mathrm{import}}-C_{\mathrm{export}} \]

ilişkisi istifadə olunur.

Mənbə notasyonu uyarısı: Tədqiqatın Bölüm 4.3'ünde bu maliyet alanları açıklanırken Eşitlik (6) enerji değişkenlerini yeniden yazmaktadır. Bu səbəbdən Eşitlik (6)'daki gösterim ilə hemen altındaki maliyet açıklaması arasında mənbə daxili notasyon tutarsızlığı bulunmaktadır. Verianla bu ifadeyi sessizce dəyişdirməmektedir.

Qəbz hash'i neyi koruyor?

Kanonik qəbz \(R\) oluşturulduktan sonra:

\[ h_R=H(R) \]

hesaplanmaktadır. Prototipte \(H\), SHA-256'dır. Qəbzin zaman möhürü, enerji miktarı, fiyat alanı, identikliyi və ya sayğac Merkle kökü değişirse yeniden hesaplanan hash fərqlilaşır.

Bu mekanizma “qəbzdaki bilginin fiziksel dünyada doğru olduğunu” sübut etmir. Kanıtlanan şey, müəyyən kanonik içeriğin hash oluşturulduktan sonra değiştirilip değiştirilmediğidir.

Neden sayğac məlumatlarının ayrıca Merkle kökü var?

Yalnız son enerji toplamını hash'lemek, o sonuca ulaşırken istifadə edilən ölçmə sırasıni birbaşa bağlamaz. Bu səbəbdən hər sayğac örneği əvvəl hash'lenmekte:

\[ h_i=H(m_i) \]

və ardından:

\[ root_M= MerkleRoot(h_1,h_2,\ldots,h_n) \]

hesaplanmaktadır. Sayaç qeydinın dəyişdirilməsi, silinmesi, yeniden sıralanması və ya sonradan araya başqa bir örnek eklenmesi yeniden hesaplanan kökü değiştirebilir.

Örnekler timestamp'e görə sıralanmakta, import və export kWh cinsinden kümülatif yönlü sayğaclar kimi ele alınırdır. Değerler 0,001 kWh hassasiyetine yuvarlanmakta və azalan kümülatif sayğac dəyəri olası reset və ya məlumat bozulması kabul edilerek reddedilmektedir.

Bununla belə prototip eksik sayğac örneğini proqnoz etmez, sayğac resetini otomatik düzeltmez, saat kaymasını onarmaz və kaynağın belirtmediği birimi dönüştürmez. Ən önəmlisi, bir sayğac örneği sisteme ilk etibarlı taahhütten əvvəl hiç gönderilmemişse, yalnız Merkle ağacı bunun eksik olduğunu müstəqil şəkildə bilemez.

Batch Merkle kökü neden ikinci dəfə kullanılıyor?

Birinci Merkle ağacı tək bir oturumun sayğac sırasıni temsil ederken ikinci Merkle ağacı çox sayda qəbzi temsil eder:

\[ B=\{h_{R1},h_{R2},\ldots,h_{Rk}\} \]

və:

\[ root_B= MerkleRoot(h_{R1},h_{R2},\ldots,h_{Rk}) \]

elde edilir. Blockchain'e hər qəbz üçün ayrı əməliyyat gönderilmesi əvəzinə yalnız \(root_B\) gönderilir.

Yeni batch'lerde poc-batch-merkle-v1 profili istifadə olunur. Profil UTC batch gününü, zaman aralığını, sıralama kuralını, yaprak sayını və Merkle ağacı oluşturma bağlamını taahhüde bağlamaktadır. Qeydlar normalize edilmiş UTC başlangıç zamanı, NFC normalize oturum identikliyi və qəbz hash byte'larına görə deterministik kimi sıralanmaktadır.

Profil duplicate session ID, duplicate receipt hash, duplicate leaf encoding, bozuk hash və geçersiz indeksleri reddetmektedir. Tek sayda düyün bulunan bir Merkle seviyesinde son düyün kendisiyle eşleştirilmektedir.

Bir qəbzin batch içinde olduğunu nasıl sübutlıyor?

Sistem bütün batch'i paylaşmadan tək qəbzin batch üyeliğini doğrulayabilecek müstəqil JSON membership proof üretmektedir. 1000 yapraklı deterministik örnekte tədqiqatçılar:

• Merkle ağaç derinliğini 10,
• kardeş hash sayını 10,
• serileştirilmiş JSON proof boyutunu 2064 byte,
• proof oluşturma müddətini yaklaşık 0,060 ms,
• proof təsdiqləmə müddətini yaklaşık 0,057 ms

kimi bildirmiştir. Bu süreler eyni lokal deney ortamındaki tanısal ölçməlerdir və genel amaçlı blockchain proof performansı kimi şərhlanmamalıdır.

Təsdiqləmə neden qatlı?

Tek bir hash kontrolü verilənlər bazasındakı hər tutarsızlık türünü eyni hassasiyetle lokalize edemez. Bu səbəbdən tədqiqat beş tamamlayıcı kontrol yüzeyi kullanmaktadır:

1. Qəbz təsdiqləməsı: Kanonik JSON yeniden hash'lenir.
2. Sayaç təsdiqləməsı: Normalize sayğac satırlarından meter Merkle root yeniden hesaplanır.
3. Veritabanı audit'i: Oturumdan yeniden yaradılan qəbz, qeydlı JSON və normalize sütunlar karşılaştırılır.
4. Batch təsdiqləməsı: Üyelik snapshot'ı və batch root yeniden hesaplanır.
5. On-chain təsdiqləmə: Yerel batch root blockchain sözleşmesinden okunan kökle karşılaştırılır.

Bu yapı yalnız “təsdiqləmə uğursız” demek əvəzinə bozulmanın hangi qeyd qatında ortaya çıktığını belirlemeye yardımcı olmaktadır.

Blockchain hangi etimadlik xüsusiyyətlərini təmin etmir?

Tədqiqatçılar blockchain'in əhatəsinı özellikle sınırlandırmaktadır. Mövcud prototipte məzmun bütünlüğü, sayğac yeniden hesaplama, batch təsdiqləmə, database audit və zəncir üzerindeki kök müqayisəsı tətbiq edilmişdir. Lakin identiklik təsdiqləmə və kaynağın realliği istehsal aşamasına bırakılmıştır.

Gerçek dağıtım üçün mənbə; rəqəmsal imzalar, sertifikat zəncirleri, etibarlı açar idarəetməsi, revocation, trusted timestamp, səlahiyyətli nəşrcı auditi, replay koruması, contract governance, məxfilik mekanizmaları və harici authoritative session registry ilə uzlaştırma kimi ek kontroller təklif edir.

Buna görə “blockchain'də var” ilə “ölçmə kesinlikle real” eyni bilimsel iddia değildir.

Tədqiqat ne söylüyor, ne söylemiyor?

Tədqiqatın dəstəklədiyi nəticələr:

• Deterministik EV şarj qəbzi istehsali və təkrar hash təsdiqləməsı tətbiq edilmişdir.
• Zaman sıralanmış sayğac qeydləri oturum düzeyinde Merkle kökü ilə taahhüt edilebilmiştir.
• Qəbzlar batch Merkle kökü altında toplanarak tək blockchain əməliyyatıyle temsil edilebilmiştir.
• 10–1000 qəbzlik cəmi 50 ölçməli təkrarda bütün tanımlanan correctness kontrolları geçmiştir.
• Yeddi kontrollü post-finalization tutarsızlığın tamamı əvvəlden belirlenmiş ilgili təsdiqləmə qatlarında saptanmıştır.
• Charge-only, discharge-only və bidirectional sintetik qeydlar eyni əsas qəbz/təsdiqləmə memarlığıyle temsil edilmiştir.

Tədqiqatın desteklemediği və ya test etmediği nəticələr:

• Gerçek şarj stansiyasından gələn məlumatın fiziksel kimi doğru olduğunu sübutlamamaktadır.
• İlk kriptoqrafik taahhütten əvvəl uydurulmuş və ya hiç kaydedilmemiş bir oturumu otomatik kimi aşkarlama etmemektedir.
• Gerçek OCPP və ya OCPI istehsal sisteminde denenmemiştir.
• Canlı V2G şarj cihazı və ya enerji piyasası settlement'ı test edilməmişdir.
• Halka açıq Ethereum/EVM ağındaki gecikmə, fee və ya finality performansını ölçmemektedir.
• Digital signature, PKI, issuer authentication və ya trusted timestamp tətbiqmaktadır.
• Nəticələr tək Apple M1 Max deney ortamından başqa aparatlara birbaşa genellerütubətez.
• Yerel Anvil gas ücretleri real şəbəkə maliyeti kimi kullanılamaz.

Tədqiqatın Metodu və Nəticələri

Deney ortamı

Hər iş yükü üçün bir warm-up tədqiqatsı yapılmış və ardından on ölçməli təkrar realleştirilmiştir. Toplam 50 ölçməli workload–seed kombinasyonu orchestration seed 20260801 istifadə edilərək rastgele sıraya konmuştur. Tədqiqat hiçbir gözlemi outlier kimi çıkarmamıştır.

Qəbz əməliyyate performansı

Ortalama gecikməler iş yükü arttıkça tək yönlü monoton bir artış göstermemiştir. Güven aralıklarının örütubətli ölçüde örtüşmesi nedeniyle tədqiqat, örneğin 50 qəbzin 100 qəbzdan intrinsik kimi daha hızlı olduğu sonucunu çıkarmamaktadır. Daha dar şərh, test edilen tək lokal ortamda qəbz başına orta pipeline gecikməsinin yaklaşık eyni bantta kalmasıdır.

Kuyruk gecikməsi isə daha belirgin bir davranış göstərmişdir. 1000 qəbz iş yükünde p99 gecikməsi 15,076 ms'ye çıkarken 10 qəbz iş yükünde 11,032 ms'dir. Bu səbəbdən yalnız orta dəyəre bakmak böyük iş yüklerindeki tail latency davranışını tam kimi göstermemektedir.

Pipeline-da əsas zamanı nə sərf edir?

1000 qəbz iş yükünde aşamalara ayrılmış orta süreler şunlardır:

Tədqiqatın kendi implementasyonunda baskın qəbz-pipeline komponenti PostgreSQL persistence olmuştur. Qəbz oluşturma və sayğac Merkle hesaplama süreleri bunun yanında çox kiçiktür. Tədqiqatçılar daha iyi nəticə göstermek amacıyla mövcud per-receipt persistence yolunu toplu insert ilə dəyişdirməmiştir.

Blockchain batch sabitlemesi nasıl ölçeklendi?

Gas istifadəsi 10 ilə 1000 qəbz arasında yalnız çox kiçik ölçüde değişmiştir. Bunun nedeni Solidity sözleşmesine bütün qəbzlərin deyil, bir adet sabit boyutlu Merkle batch kökü və ilgili metadata'nın gönderilmesidir.

Cədvəldaki wei dəyərlərinin iş yükü büyüdükçe azalması “böyük batch blockchain'də mutlak kimi daha ucuzdur” şəklində şərhlanmamalıdır; transaction fee gas istifadəsi ilə o lokal əməliyyatdeki effective gas price'ın çarpımına bağlıdır. Üstelik bu deneyler otomatik mining kullanan lokal Anvil zəncirindedir. Değerler real Ethereum, Layer-2 və ya başqa ictimai ağların ücretleri değildir.

Tədqiqatın batch yanaşmasındaki əsas ölçekleme ilişkisi:

\[ C_{\mathrm{session}} = \frac{C_{\mathrm{tx}}}{N_{\mathrm{receipts}}} \]

şəklindədir. Aynı batch əməliyyatınin daha fazla qəbzi əhatəası halinde əməliyyat başına deyil, kapsanan qəbz başına efektif sabitleme maliyeti azalır.

Yeddi kontrollü məlumat dəyişdirmə testi ne gösterdi?

Yeddi senaryonun tamamı əvvəlden tanımlanmış davranışı göstermiş və hər senaryodan sonra savepoint rollback ilə verilənlər bazası orijinal duruma döndürülmüştür. T7 testinde real Anvil əməliyyatı bozulmamış; təsdiqləyiciya kontrollü şəkildə alternatif bir external root məlumatlarek müqayisə qatı test edilmişdir.

Bu deney bir hücum aşkarlama olasılığı və ya real saldırganlara qarşı etimadlik nisbətı ölçmemektedir. Amaç, fərqli qeyd yüzeyleri değiştirildiğinde hangi bütünlük qatının tutarsızlığı yakaladığını deneysel kimi göstermektir.

V2G-ready desteği ne kadar real?

Prototip charge-only, discharge-only və bidirectional sintetik oturumları eyni qəbz şeması içinde işleyebilmektedir. İthal edilen enerji, ihraç edilen enerji, net enerji, import maliyeti, export kredisi və net settlement tutarı ayrı alanlardır.

Lakin tədqiqat real çift yönlü şarj cihazına bağlanmamış, batarya degradasyonunu modellememiş, aggregator davranışı incelememiş, enerji piyasasını simüle etmemiş və real grid hizmeti realleştirmemiştir. Buna görə “V2G-ready” ifadesi mövcud tədqiqatda esas kimi məlumat modeli və settlement qeyd yapısının çift yönlü enerjiye hazır olması anlamındadır.

Mənbə və Metod Qeydi

Tam orijinal tədqiqat adı: A Reproducible Blockchain-Anchored Proof-of-Charge Platform for Auditable EV Charging Receipts

Müəlliflər və sıraları: Nexhibe Sejfuli-Ramadani; Valentina Angelkoska; Florim Idrizi; Valentin Rakovic; Erenis Ramadani; Aleksandar Risteski.

Sorumlu yazar: Aleksandar Risteski.

Eş katkı/eş birinci yazar: Mənbədə belirtilmemiştir.

Qurumlar:

• Faculty of Natural Sciences and Mathematics, University of Tetova, Tetovo, North Macedonia.
• Faculty of Economics, University of Skopje, Skopje, North Macedonia.
• Faculty of Electrical Engineering and Information Technologies, Ss. Cyril and Methodius University, Skopje, North Macedonia.
• Tarmac LLC, Skopje, North Macedonia.

Jurnal: Future Internet

Nəşriyyat: MDPI, Basel, Switzerland

Cilt / sayı / məqalə: 18 / 8 / 423

Alınma tarihi: 6 Temmuz 2026

Revizyon tarihi: 2 Ağustos 2026

Kabul tarihi: 8 Ağustos 2026

Yayın tarihi: 10 Ağustos 2026

DOI: 10.3390/fi18080423

Rəsmi nəşr bağlantısı:https://doi.org/10.3390/fi18080423

Mənbə növü: Tədqiqat məqaləsi; uygulanmış yazılım prototipi və kontrollü hesaplamalı performans qiymətləndirməsi.

Rəyçilik statusu: Hakemli jurnalde yayımlanmış məqalə.

Lisenziya: Creative Commons Attribution (CC BY).

Maliyyələşdirmə: Tədqiqat dış finansman almamıştır.

Məlumat əlçatanlığı: Tədqiqatda real EV şarj istifadəçisı məlumatları deyil sintetik məlumatlar istifadə edilmişdir. Mənbə məqalə; kod, sintetik məlumat istehsal betikleri, deney iş akışları, yaradılan məlumat setleri, ham zamanlama gözlemleri, run-level metrikler, istatistiksel xülasəler, şəkiller, canonicalization test vektörleri, membership proof'lar, tamper-matrix çıktıları və provenance manifestlerinin proje deposunda ictimaiyyətə açıq olduğunu bildirmektedir. Məqalədeki erişim tarihi 7 Ağustos 2026'dır.

Müəllif töhfələri: Mənbədə Nexhibe Sejfuli-Ramadani kavramsallaştırma və proje yönetiminde; Nexhibe Sejfuli-Ramadani, Erenis Ramadani və Valentin Rakovic metodolojide; Nexhibe Sejfuli-Ramadani və Erenis Ramadani yazılımda; Nexhibe Sejfuli-Ramadani, Erenis Ramadani, Valentina Angelkoska və Florim Idrizi təsdiqləməda katkı sahibi kimi belirtilmektedir. Mənbə ayrıca formal analiz, məlumat kürasyonu, görselleştirme, yazım, audit və digər katkıları yazar bazında ətraflı kimi bildirmektedir.

Maraqlar toqquşması: Mənbə, Erenis Ramadani'nin Tarmac LLC tarafından istihdam edildiğini; digər müəlliflərın ticari və ya finansal çıkar çatışması oluşturabilecek ilişki bulunmadığını beyan ettiklerini bildirmektedir.

Mənbə daxili notasyon tutarsızlığı: Bölüm 4.3'te settlement alanları maliyet değişkenleri C_import, C_export və C_net kimi açıklanmasına rağmen Eşitlik (6) görünür şəkildə enerji xülasəi E değişkenlerini təkrar etmektedir. Sonraki Eşitlik (7) isə C_net = C_import − C_export maliyet ilişkisini vermektedir. Bu notasyon fərqi mənbəta bulunduğu biçimiyle not edilmiştir və sessizce düzeltilmemiştir.

Əsas metodsel məhdudiyyətlər: Test oturumları sintetiktir; canlı OCPP/OCPI sistemi istifadə edilməmişdir. Tekrarlanan benchmark tək Apple M1 Max ortamındadır. Blockchain testi lokal Anvil zəncirindedir və otomatik mining kullanmaktadır. Python–JavaScript canonicalization uyumu test edilmiş olsa da bütün diller doğrulanmamıştır. Sayaç düzeyinde rəqəmsal imza, issuer certificate təsdiqləməsı, etibarlı timestamp, etimadli açar yaşam döngüsü, privacy-preserving disclosure və harici authoritative session registry uzlaştırması tətbiq edilməmişdir. İlk etibarlı taahhütten əvvəl uydurulmuş və ya atlanmış məlumatların varlığı Merkle mexanizmi tarafından tək başına aşkarlama edilemez.

Bu Verianla məqaləsindeki bilimsel metod, rəqəmsal nəticələr, etimadlik əhatəsi və məhdudiyyətlər incelenen tədqiqatya dayanmaktadır. Dış təsdiqləmə yalnız nəşr identikliyi və rəyli jurnal durumunu təsdiqləmək amacıyla kullanılmış; dış mənbəlardan yeni deneysel performans dəyəri, yeni etimadlik iddiası və ya yeni blockchain sonucu əsas bilimsel içeriğe eklenmemiştir.