#zkp

Compact은 왜 다른 종류의 스마트 컨트랙트 언어인가

Midnight Network의 스마트 컨트랙트 모델은 로컬 비공개 연산, 공개 transcript, ZK proof, verifier key를 중심으로 동작합니다. 따라서 이 모델에서 컨트랙트를 작성하는 언어 역시 프라이버시를 부가 기능이 아니라…

Midnight의 두 가지 state 이해하기: public state와 private state

이전 글에서는 NIGHT와 DUST가 서로 다른 방식으로 상태를 갖는다는 점을 살펴봤습니다. NIGHT는 비차폐(unshielded) 원장 UTXO로 존재하고, DUST는 차폐(shielded)된 수수료 리소스로 사용됩니다.

NIGHT: 수수료를 내는 토큰이 아니라, 수수료를 만드는 토큰

많은 체인에서 수수료를 생각할 때 가장 먼저 떠올리는 질문은 보통 이렇습니다.

Zero-Knowledge Proofs: The Math

This is my second article about Zero-Knowledge Proofs (ZKPs). If you haven’t read it, check out Part 1 as a starting point.

Zero-Knowledge Proofs: Proving Something Without Revealing Anything

Introduction

I have Zero Knowledge to speak about today!

A Layman’s Guide to Zero-Knowledge.

SuperEx Educational Series: Understanding Zero-Knowledge Circuit Design

#SuperEx #EducationalSeries #ZeroKnowledge

Practical Zero-Knowledge PIOP for Maliciously Secure Multiparty Homomorphic Encryption (ACM CCS…

實用零知識 PIOP：實現惡意安全多方同態加密的深度分析與應用

Awesome Zero Knowledge Proofs Learning

Curated by Me

THE END OF VISUAL EVIDENCE

Will cryptography be our final ‘Certificate of Humanity’?

Security and Verifiability in Federated Learning: A Zero-Knowledge Reputation-Based Blockchain…

零知識聲譽基於區塊鏈的聯邦學習框架：提升安全性與可驗證性

Thinking in Notes: What c Cash Actually Hides, Stores, and Risks

Can They Really Sell Your Eyeball Scans? A Technical Review of World

Here I am, resurrecting my blog like a dusty necromancer coming back for one last summon.

ZK Proofs Part III: More ZK Math

Where were we… ah yes, Fiat Shamir Transformation.

ZKP의 C언어, Groth16 톺아보기

Groth16 전 과정 순서대로 알아보기

Beyond Consensus: How APRO is Partnering with Brevis to Build the Next Generation of Provable…

At APRO, we’ve always believed that the oracle’s role extends far beyond price feeds. As the leading oracle on BNB Chain, our mission is to…

從頭複習 zk-SNARK (Groth16)

聲明：想瞭解 zk-SNARK 的話，推薦大家去閱讀《读懂区块链之零知识证明（zk-SNARK）》，裡面先解釋了 ZKP 的基本特性，然後帶到 ZCash 上面的應用，最後花很多篇幅講解 zk-SNARK…

Zero Knowledge Proofs: Proving Truth Without Revealing Data

How modern cryptography enables verification without disclosure

How Yield Generation Works Natively on Bitcoin with zkFOL

Overview

Cortex’s Half-Year Progress and Roadmap

How we’re unifying AI frameworks and laying the groundwork for privacy-preserving machine learning

🏆 ZKVM Kings Clash: Inside the Architecture & Performance Battle Between Pico and SP1

Abstract

Anonymous Data in the Age of AI: Hidden Risks and Safer Practices

Privacy’s Newest Threat

OKX Ventures Invests in Accountable, the New Standard for Real-Time Financial Verification

Accountable uses privacy-preserving cryptography to enable selective disclosure, allowing institutions to prove assets and liabilities…

Brevis Research Report: The Infinite Verifiable Computing Layer of zkVM and ZK Data Coprocessor

Author: 0xjacobzhao | linktr.ee/0xjacobzhao

Polyhedra ID

Polyhedra ID is a new identity verification system made by Polyhedra Network which is currently in beta. You can access it here…

TLShare: Private Authenticated MPC and FHE Inputs Over TLS

Part 6: TLShare Applications

TLShare: Private Authenticated MPC and FHE Inputs Over TLS

Part 5: FHE Mode

TLShare: Private Authenticated MPC and FHE Inputs Over TLS

Part 4: MPC Mode

Fermah — Proof Of Aggregation

I think one of the biggest drivers of the Web3 ecosystem is its ability to bring Web2 expectations to life. Users are always in need of…

Evolving zkTLS: Privacy-Preserving Computation from Decentralized Oracles

Part 3: Nillion x Primus Labs

Evolving zkTLS: Privacy-Preserving Computation from Decentralized Oracles

Part 2: Nillion’s Private-to-Private Oracles

Evolving zkTLS: Privacy-Preserving Computation from Decentralized Oracles

Part 1: Problems and Opportunities

FERMAH X ICICLE: Accelerating Confidential Proving Delegation at Scale

Overview

CLOBs on Blobs: How Succinct’s zkVM Could Revolutionize On‑Chain Order Books

Introduction

Succinct’s Modular ZK Architecture & Scaling Proving Networks

Why build a monolithic prover for every app? Succinct’s plug-and-play zkVM and off-chain architecture turn zero-knowledge proving into a…

Proofs on Demand: Succinct’s ZK Marketplace Unleashes Open Provers

A permissionless “AWS of ZK proofs” where anyone can earn crypto by proving computations– if they stake, bid, and deliver on time.

Boundless: A Berryfied Story 🍓

Came for the berries, stayed for the proofs!

Агрегиране на доказателства

Основните проблеми: цена, време и сигурност

Fermah x Labyrinth: Осигуряване на съвместима поверителност с делегиране на поверително доказване

Ние сме развълнувани да обявим нашето сътрудничество с Labyrinth Protocol, многоверижна модулна рамка за поверителност, която използва…

🌕 The Missing Piece to Bring Moon Math to the Masses

🔍 Introducing Fermah: The Universal ZK Proof Market

Разкриване на същността нFermah

Днес разкриваме Fermah, универсалния слой за генериране на доказателства.

🧩Fermah: Revolutionizing Zero-Knowledge Proofs with a Universal Proof Market

Zero-knowledge proofs (ZKPs) are one of the most powerful innovations in cryptography — often called “moon math” for a reason. 🌙🧠  But…

Crypto Cash with NTAG424 DNA

Cryptographic systems typically split into two camps: symmetric and asymmetric. Symmetric algorithms like AES-128 are fast, lightweight…

How to ZK: Noir vs Circom

Exploring their ecosystem, tooling, and performance.

Познакомьтесь с первыми проектами, интегрировавшими zPass в готовые к производству приложения

___________________________________________________________

Праймеріз: ключові інсайди Aleo, які ви не можете пропустити

Переклад на українську. Оригінал статті.

Увага: Головоломка Aleo Wallet на Chrome порушує конфіденційність користувачів.

Переклад на українську. Оригінал.

Открытие Fermah. Сегодня мы представляем Fermah — универсальный уровень генерации доказательств.

Последняя битва с боссом

Demox Labs залучила $4,5 млн для розвитку інфраструктури доказу з нульовим розголошенням

Переклад на українську. Оригінал.

Розуміння доказів з нульовим розголошенням: Мистецтво доводити, не розкриваючи

Переклад на українську. Оригінал.