Copertina

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Qizhe, Liang, Boxuan, Chen, Hao, Li, Guoqiang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Computation and Language Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics
di: Zhu, Derui, et al.
Pubblicazione: (2024)

Large Language Models Cannot Reliably Detect Vulnerabilities in JavaScript: The First Systematic Benchmark and Evaluation
di: Fei, Qingyuan, et al.
Pubblicazione: (2025)

AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models
di: Xing, Hengrui, et al.
Pubblicazione: (2025)

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
di: Liang, Zi, et al.
Pubblicazione: (2026)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
di: Shi, Chenhao, et al.
Pubblicazione: (2023)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
di: Hochrainer, Christoph, et al.
Pubblicazione: (2024)

ProSec: Fortifying Code LLMs with Proactive Security Alignment
di: Xu, Xiangzhe, et al.
Pubblicazione: (2024)

Evaluation of the Programming Skills of Large Language Models
di: Heitz, Luc Bryan, et al.
Pubblicazione: (2024)

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
di: Tung, Lam Nguyen, et al.
Pubblicazione: (2024)

Jailbreak Distillation: Renewable Safety Benchmarking
di: Zhang, Jingyu, et al.
Pubblicazione: (2025)

BackportBench: A Multilingual Benchmark for Automated Backporting of Patches
di: Zhong, Zhiqing, et al.
Pubblicazione: (2025)

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
di: Sternfeld, Alexander, et al.
Pubblicazione: (2026)

Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation
di: Liu, Yi, et al.
Pubblicazione: (2024)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
di: Chen, Junkai, et al.
Pubblicazione: (2025)

ContraFix: Agentic Vulnerability Repair via Differential Runtime Evidence and Skill Reuse
di: Liu, Simiao, et al.
Pubblicazione: (2026)

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
di: Yang, Xi, et al.
Pubblicazione: (2026)

Efficient Detection of Toxic Prompts in Large Language Models
di: Liu, Yi, et al.
Pubblicazione: (2024)

Constraint-based Adversarial Example Synthesis
di: Yu, Fang, et al.
Pubblicazione: (2024)

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
di: Li, Yan, et al.
Pubblicazione: (2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
di: Yang, Chenyuan, et al.
Pubblicazione: (2025)

An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding
di: Shang, Xiuwei, et al.
Pubblicazione: (2025)

AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection
di: Zhao, Zijie, et al.
Pubblicazione: (2026)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

How Far Have We Gone in Binary Code Understanding Using Large Language Models
di: Shang, Xiuwei, et al.
Pubblicazione: (2024)

Prompt Injection attack against LLM-integrated Applications
di: Liu, Yi, et al.
Pubblicazione: (2023)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
di: Ang, Kian Kai, et al.
Pubblicazione: (2025)

Translating C To Rust: Lessons from a User Study
di: Li, Ruishi, et al.
Pubblicazione: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
di: Li, Shaohua, et al.
Pubblicazione: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks
di: Qu, Yubin, et al.
Pubblicazione: (2026)

Exploring ChatGPT's Capabilities on Vulnerability Management
di: Liu, Peiyu, et al.
Pubblicazione: (2023)

Agent Skills in the Wild: An Empirical Study of Security Vulnerabilities at Scale
di: Liu, Yi, et al.
Pubblicazione: (2026)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants
di: Xu, Xiangzhe, et al.
Pubblicazione: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
di: Khare, Avishree, et al.
Pubblicazione: (2023)

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
di: Zhang, Yiyu, et al.
Pubblicazione: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
di: Wang, Yayi, et al.
Pubblicazione: (2026)