Now showing1 - 3 of 3
  • Some of the metrics are blocked by your 
    Item type:Publication,
    UPPR: universal privacy-preserving revocation
    Self-Sovereign Identity (SSI) frameworks enable individuals to receive and present digital credentials in a user-controlled way. Revocation mechanisms ensure that invalid or withdrawn credentials cannot be misused. These revocation mechanisms must be scalable (e.g., at national scale) and preserve core SSI principles such as privacy, user control, and interoperability. Achieving both is hard, and finding a suitable trade-off remains a key challenge in SSI research.This paper introduces UPPR, a revocation mechanism for One-Show Verifiable Credentials (oVCs) and unlinkable Anonymous Credentials (ACs). Revocations are managed using percredential Verifiable Random Function (VRF) tokens, which are published in a Bloom filter cascade on a blockchain. Holders prove non-revocation via a VRF proof for oVCs or a single Zero-Knowledge Proof for ACs. The construction prevents revocation status tracking, allows holders to stay offline, and hides issuer revocation behavior. We analyze the privacy properties of UPPR and provide a prototype implementation on Ethereum. Our implementation enables off-chain verification at no cost. On-chain checks cost 0.56–0.84 USD, while issuers pay only 0.00002–0.00005 USD per credential to refresh the revocation state.
    Publicationtype: Conference Paper
      43
  • Some of the metrics are blocked by your 
    Item type:Publication,
    An AI-powered auto-completion tool for Solidity smart contracts
    (IEEE, 2025-10)
    Hensel, Fabian
    ;
    ; ;
    Solidity smart contracts are widely used to implement decentralized applications. However, their development remains challenging due to the language’s domain-specific complexity, the immutability of deployed contracts, which prevents post-deployment fixes, and the high risk of introducing security-critical vulnerabilities. While Large Language Models (LLMs) have advanced code generation across general domains, they often struggle to meet the structural and security-specific demands of smart contract development. Therefore, this paper presents a domain-adapted code completion model trained on 22,000 labeled code constructs extracted from Solidity contracts. The model is built on a transformer-based architecture and fine-tuned using Quantized Low-Rank Adaptation (QLoRA), a parameter-efficient method. The dataset is processed to highlight secure coding patterns and structural semantics, enabling the model to learn from both preceding and succeeding contexts. Evaluation using perplexity, the Bilingual Evaluation Understudy (BLEU) score, and the Metric for Evaluation of Translation with Explicit Ordering (METEOR) shows significant improvements with consistent gains across all three metrics compared to the base model. These results demonstrate that targeted adaptation of language models can significantly enhance coding support in Solidity smart contracts.
    Publicationtype: Conference Paper
      36
  • Some of the metrics are blocked by your 
    Item type:Publication,
    Securing blockchain-based distributed learning for heterogeneous clients through knowledge distillation and zero-knowledge proofs
    (IEEE, 2025-10)
    Nkamdjin Njike, Ghislain
    ;
    ;
    Distributed learning (DL) is gaining popularity as it enables clients (e.g., AI Agents) to enhance their machine learning (ML) models’ performance by exchanging knowledge without revealing private datasets. State-of-the-art DL approaches primarily focus on transferring knowledge between heterogeneous clients with diverse model architectures, connecting clients with those that can improve their models, and protecting data privacy. However, they overlook the threat of malicious clients that potentially downgrade the models’ performance by sharing inaccurate knowledge or excluding high-performing clients from the training procedure.Therefore, we introduce the Zero-Knowledge Blockchain-Based Knowledge Distillation Learning Framework (zkBKD). In zkBKD, heterogeneous clients communicate with a blockchain network to discover high-performing clients, verify zero-knowledge proofs (ZKPs) to ensure the correctness of the knowledge shared from other clients, and vote to eliminate malicious clients. We analyze security and privacy risks and show that zkBKD prevents membership, poisoning, and collusion attacks. We conduct extensive experiments on two standard datasets across heterogeneous clients with four model architectures. The experimental results demonstrate that zkBKD relatively improves the average model accuracy of all clients by 25.71%. Even lightweight models such as ResNet-2 achieve up to a 103.35% accuracy gain compared to independent training.
    Publicationtype: Conference Paper
      53