7 citations · 7 across the 6 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2025
VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
Guofu Liao, Taotao Wang, Shengli Zhang +3
Fine-tuning large language models (LLMs) is crucial for adapting them to specific tasks, yet it remains computationally demanding and raises concerns about correctness and privacy,…
cs.CR2025★ 7 cited
A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning
Zhizhi Peng, Chonghe Zhao, Taotao Wang +7
Machine learning is increasingly deployed through outsourced and cloud-based pipelines, which improve accessibility but also raise concerns about computational integrity, data priv…
cs.CR2024
Programming on Bitcoin: A Survey of Layer 1 and Layer 2 Technologies in Bitcoin Ecosystem
Guofu Liao, Taotao Wang, Qing Yang +7
This paper surveys innovative protocols that enhance the programming functionality of the Bitcoin blockchain, a key part of the "Bitcoin Ecosystem." Bitcoin utilizes the Unspent Tr…