45 matches found
longfellow-zk
Longfellow ZK ┘Ж╪╕╪▒╪й ╪╣╪з┘Е╪й ╪к┘Е┘Г┘С┘Ж ┘Е┘Г╪к╪и╪й Longfellow ┘Е┘Ж ╪и┘Ж╪з╪б ╪и╪▒┘И╪к┘И┘Г┘И┘Д╪з╪к ╪╡┘Б╪▒ ╪з┘Д┘Е╪╣╪▒┘Б╪й zero-knowledge ╪з┘Д┘Е╪к╪╣┘Д┘В╪й ╪и┘Е╪╣╪з┘К┘К╪▒ ╪з┘Д╪к╪н┘В┘В ┘Е┘Ж ╪з┘Д┘З┘И┘К╪й ╪з┘Д┘В╪п┘К┘Е╪й ┘Е╪л┘Д ┘Е╪╣┘К╪з╪▒ ISO MDOC╪М ┘И┘Е╪╣┘К╪з╪▒ JWT╪М ┘И╪и┘К╪з┘Ж╪з╪к ╪з┘Д╪з╪╣╪к┘Е╪з╪п ╪з┘Д┘В╪з╪и┘Д╪й ┘Д┘Д╪к╪н┘В┘В ┘Е┘Ж W3. ╪к┘Е ┘И╪╡┘Б ┘З╪░╪з ╪з┘Д╪к┘Ж┘Б┘К╪░ ┘Б┘К: ╪┤┘З╪з╪п╪з╪к ┘Е╪м┘З┘И┘Д╪й ┘Е┘Ж ECDSA libzk: ┘Е┘Г╪к╪и╪й C++ ┘Д╪и╪▒╪з┘З┘К┘Ж ╪╡┘Б╪▒ ╪з┘Д┘Е╪╣╪▒┘Б╪й ╪к┘И╪л┘К┘В...
libsignal
рдЕрд╡рд▓реЛрдХрди libsignal рдореЗрдВ рдкреНрд▓реЗрдЯрдлрд╝реЙрд░реНрдо-рдЕрдЬреНрдЮреЗрдп platform-agnostic API рд╢рд╛рдорд┐рд▓ рд╣реИрдВ рдЬрд┐рдирдХрд╛ рдЙрдкрдпреЛрдЧ рдЖрдзрд┐рдХрд╛рд░рд┐рдХ Signal рдХреНрд▓рд╛рдЗрдВрдЯ рдФрд░ рд╕рд░реНрд╡рд░ рдХрд░рддреЗ рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЗрдВ Java, Swift, рдпрд╛ TypeScript рд▓рд╛рдЗрдмреНрд░реЗрд░реА рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди Rust рдореЗрдВ рд▓рд┐рдЦреЗ рдЧрдП рд╣реИрдВ: libsignal-protocol: Signal рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреЛ рд▓рд╛рдЧреВ рдХрд░...
OrchidMantis
Orchid Mantis A Framework for ZKPoX тАФ Zero-Knowledge Proof...
ZkRansomware: Proof-Of-Data Recoverability and Multi-Round Game Theoretic Modeling of Ransomware Decisions
Ransomware is still one of the most serious cybersecurity threats. Victims often pay but fail to regain access to their data, while also facing the danger of losing data privacy. These uncertainties heavily shape the attacker-victim dynamics in decision-making. In this paper, we introduce and...
EUVD-2024-35250
Malicious code in bioql PyPI...
EUVD-2023-50471
Malicious code in bioql PyPI...
EUVD-2024-37397
Malicious code in bioql PyPI...
VehiclePassport: a GAIA-X-Aligned, Blockchain-Anchored Privacy-Preserving, Zero-Knowledge Digital Passport for Smart Vehicles
Modern vehicles accumulate fragmented lifecycle records across OEMs, owners, and service centers that are difficult to verify and prone to fraud. We propose VehiclePassport, a GAIA-X-aligned digital passport anchored on blockchain with zero-knowledge proofs ZKPs for privacy-preserving verificatio...
CVE-2025-57801
gnark is a zero-knowledge proof system framework. In versions prior to 0.14.0, the Verify function in eddsa.go and ecdsa.go used the S value from a signature without asserting that 0 тЙд S order, leading to a signature malleability vulnerability. Because gnarkтАЩs native EdDSA and ECDSA circuits lack...
Cryptographic Data Exchange for Nuclear Warheads
Nuclear arms control treaties have historically focused on strategic nuclear delivery systems, leaving nuclear warheads outside formal verification frameworks. This paper presents a cryptographic protocol for secure and verifiable warhead tracking, addressing challenges in nuclear warhead...
Towards Trustworthy AI: Secure Deepfake Detection Using CNNs and Zero-Knowledge Proofs
In the era of synthetic media, deepfake manipulations pose a significant threat to information integrity. To address this challenge, we propose TrustDefender, a two-stage framework comprising i a lightweight convolutional neural network CNN that detects deepfake imagery in real-time extended...
Quantum-Resilient Privacy Ledger (QRPL): a Sovereign Digital Currency for the Post-Quantum Era
The emergence of quantum computing presents profound challenges to existing cryptographic infrastructures, whilst the development of central bank digital currencies CBDCs has raised concerns regarding privacy preservation and excessive centralisation in digital payment systems. This paper propose...
Verifiable Unlearning on Edge
Machine learning providers commonly distribute global models to edge devices, which subsequently personalize these models using local data. However, issues such as copyright infringements, biases, or regulatory requirements may require the verifiable removal of certain data samples across all edg...
ZK-SERIES: Privacy-Preserving Authentication Using Temporal Biometric Data
Biometric authentication relies on physiological or behavioral traits that are inherent to a user, making them difficult to lose, forge or forget. Biometric data with a temporal component enable the following authentication protocol: recent readings of the underlying biometrics are encoded as tim...
Yotta: a Large-Scale Trustless Data Trading Scheme for Blockchain System
Data trading is one of the key focuses of Web 3.0. However, all the current methods that rely on blockchain-based smart contracts for data exchange cannot support large-scale data trading while ensuring data security, which falls short of fulfilling the spirit of Web 3.0. Even worse, there is...
On Immutable Memory Systems for Artificial Agents: a Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
This paper presents a formalized architecture for synthetic agents designed to retain immutable memory, verifiable reasoning, and constrained epistemic growth. Traditional AI systems rely on mutable, opaque statistical models prone to epistemic drift and historical revisionism. In contrast, we...
Emission Impossible: Privacy-Preserving Carbon Emissions Claims
Information and Communication Technologies ICT have a significant climate impact, and data centres account for a large proportion of the carbon emissions from ICT. To achieve sustainability goals, it is important that all parties involved in ICT supply chains can track and share accurate carbon...
Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
Machine-learning systems continue to advance at a rapid pace, demonstrating remarkable utility in various fields and disciplines. As these systems continue to grow in size and complexity, a nascent industry is emerging which aims to bring machine-learning-as-a-service MLaaS to market. Outsourcing...
DP-RTFL: Differentially Private Resilient Temporal Federated Learning for Trustworthy AI in Regulated Industries
Federated Learning FL has emerged as a critical paradigm for enabling privacy-preserving machine learning, particularly in regulated sectors such as finance and healthcare. However, standard FL strategies often encounter significant operational challenges related to fault tolerance, system...
Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
As Artificial Intelligence AI systems, particularly those based on machine learning ML, become integral to high-stakes applications, their probabilistic and opaque nature poses significant challenges to traditional verification and validation methods. These challenges are exacerbated in regulated...