Details

Title Система анонимной верификации данных с использованием доказательств с нулевым разглашением в децентрализованных реестрах: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Интеллектуальные информационные системы и обработка данных» = An anonymous data verification system using zero-knowledge proofs in decentralized registries
Creators Писарев Владислав Сергеевич
Scientific adviser Йовановски Ненад
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности
Imprint Санкт-Петербург, 2026
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects анонимность ; подтверждение ; фактов ; Zero-Knowledge доказательства ; DID ; verifiable ; credentials ; zokrates ; noir ; barretenberg ; blockchain ; SMART CONTRACTS ; anonymity ; fact verification ; Zero-Knowledge proofs ; verifiable credentials
Document type Bachelor graduation qualification work
Language Russian
Level of education Bachelor
Speciality code (FGOS) 02.03.03
Speciality group (FGOS) 020000 - Компьютерные и информационные науки
DOI 10.18720/SPBPU/3/2026/vr/vr26-2771
Rights Доступ по паролю из сети Интернет (чтение)
Additionally New arrival
Record key ru\spstu\vkr\42646
Record create date 8/21/2026

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Group Anonymous
Network Internet

системы анонимного подтверждения фактов на основе современных криптографических примитивов: Zero-Knowledge-доказательств и децентрализованных идентификаторов. Проанализированы существующие подходы к децентрализованной идентификации и проверке аттестуемых данных, включая стандарты W3C Verifiable Credentials и DID. Проведён обзор систем прототипов, использующих ZK-доказательства для проверки возраста, дипломов, результатов KYC и иных атрибутов личности без раскрытия персональных данных. Изучены технологии генерации и верификации zk-доказательств для Ethereum-совместимых систем, включая ZoKrates, Noir и Barretenberg, а также механизмы хранения доверенных публичных ключей организаций-издателей в блокчейн-реестрах. Особое внимание уделено роли смарт-контрактов и неизменяемой среды исполнения как источника доверия в распределённых системах.

anonymous fact verification based on modern cryptographic primitives: Zero-Knowledge proofs and decentralized identifiers. Existing approaches to decentralized identity and verification of attestable data are analyzed, including the W3C Verifiable Credentials and DID standards. A review is conducted of prototype systems that use ZK proofs to verify age, diplomas, KYC results, and other personal attributes without disclosing personal data.Technologies for generating and verifying zk-proofs for Ethereum-compatible systems are studied, including ZoKrates, Noir, and Barretenberg, as well as mechanisms for storing trusted public keys of issuing organizations in blockchain registries. Special attention is paid to the role of smart contracts and immutable execution environments as sources of trust in distributed systems.

Network User group Action
ILC SPbPU Local Network All
Read
Internet Authorized users SPbPU
Read
Internet Anonymous
  • 1e2782b41c343456418c3e6ae9df9dd524403b27d966e0f0bf727fe867d0424f.pdf
  • 9bdb8e588d02ba0d119c0ec1084c5f185f90aaddd5019ac8e745c0b38ba095df.pdf
...