Team IT Security (TSEC) Nachrichtenportal Logo

🔧 The Witness Problem: When BigInt Precision Breaks Your Proof


Nachrichtenbereich: 🔧 Programmierung
🔗 Quelle: dev.to

The witness and the circuit computed different numbers. Both were "correct." Here's why that's terrifying — and the bugs we found that prove it.




What Is the Witness Problem?


In a ZK proof... [Weiterlesen]

Sharing is caring on Social Media

Reddit
Telegram
LinkedIn
Xing
Twitter
Whatsapp
Facebook
Flipboard

🔧 Managing private state in Midnight DApps


📈 1023.99 Punkte
🔧 Programmierung

🔧 Witnesses in Depth: Patterns, Types, and Real Use Cases in Compact


📈 730.38 Punkte
🔧 Programmierung

🔧 The Taxi Cab Problem: Why 80% Reliable Witnesses Are Usually Wrong


📈 567.1 Punkte
🔧 Programmierung

🔧 Solidity to Compact: Developer's Migration Guide


📈 497.77 Punkte
🔧 Programmierung

🔧 I put a witness on my AI. Devil's advocate killed three designs first.


📈 450.14 Punkte
🔧 Programmierung

🔧 The Witness Problem: When BigInt Precision Breaks Your Proof


📈 419.18 Punkte
🔧 Programmierung

🔧 Python to Rust to Proof: Cross-Validating a ZK System


📈 412.96 Punkte
🔧 Programmierung

🔧 Building Private NFT Marketplaces on Midnight: Hidden Ownership, Anonymous Trading


📈 375.32 Punkte
🔧 Programmierung

🔧 REDB inside, part 1 — the 13 tables the whole engine runs on (with the actual SQL, and why it's not EAV)


📈 362.93 Punkte
🔧 Programmierung

🔧 Selective Disclosure Patterns in Compact


📈 340.25 Punkte
🔧 Programmierung

🔧 Build a privacy-preserving voting DApp on Midnight


📈 317.6 Punkte
🔧 Programmierung

🔧 Announcing TypeScript 3.2


📈 312.25 Punkte
🔧 Programmierung

🔧 Announcing TypeScript 3.2 RC


📈 301.89 Punkte
🔧 Programmierung

🔧 From JSONB to Bitmasks: Faster Flags & Cleaner RLS in Postgres with Go/TS


📈 300.71 Punkte
🔧 Programmierung

🔧 Designing Public vs. Private State in Compact: What Goes Where and Why


📈 261.9 Punkte
🔧 Programmierung

🔧 Security Checklist for Midnight dApps Before Deployment


📈 253.56 Punkte
🔧 Programmierung

🔧 📝 Fixing BigInt Serialization Error in Node.js + Express (A Beginner-Friendly Explanation)


📈 238.5 Punkte
🔧 Programmierung

🔧 Gemma.Witness - Offline Multimodal Evidence Capture with Gemma 4


📈 224.49 Punkte
🔧 Programmierung

🔧 Context Mesh Lite: Hybrid Vector Search + SQL Search + Graph Search Fused (for Super Accurate RAG)


📈 217.76 Punkte
🔧 Programmierung

🔧 Advanced Compact Patterns for Web3 Developers


📈 216.3 Punkte
🔧 Programmierung

🔧 # 💸 The $2.3 Million Lesson: Why Your PostgreSQL Money Transactions Are Probably Wrong


📈 199.36 Punkte
🔧 Programmierung

🔧 Monkey Market


📈 197.02 Punkte
🔧 Programmierung

🔧 Managing Private State in Midnight: Patterns, Pitfalls, and Best Practices


📈 196.43 Punkte
🔧 Programmierung

🔧 Build shielded token mint, transfer, and burn flows in Compact


📈 187.49 Punkte
🔧 Programmierung

🔧 Understanding Data Types in JavaScript: A Comprehensive Guide


📈 186.65 Punkte
🔧 Programmierung

🔧 [Tutorial] Reading and Reacting to Contract State from a Frontend on Midnight network


📈 186.65 Punkte
🔧 Programmierung

🔧 Designing Conversational Infrastructure for AI Agents: Context Forking, Rate Limiting, and Identity Rotation


📈 186.65 Punkte
🔧 Programmierung

🔧 Private AI Inference with Midnight: Proving Model Outputs Without Revealing Inputs


📈 182.41 Punkte
🔧 Programmierung

🔧 Midnight dApp 部署前安全检查清单：开发者完整指南


📈 177.72 Punkte
🔧 Programmierung

🔧 Building High-Performance Analytics with Rust, Apache Iceberg, and Apache Doris: A Modern Data Stack


📈 172.94 Punkte
🔧 Programmierung

🔧 Retrofitting Privacy: Adding Midnight to an Existing dApp Step by Step


📈 170.71 Punkte
🔧 Programmierung

🔧 JavaScript Numbers: The Ultimate Guide for Developers


📈 159.06 Punkte
🔧 Programmierung

🔧 I Automated 90% of The Ethers.js v5 v6 Migration using Codemods and AI


📈 155.54 Punkte
🔧 Programmierung

🔧 Under the Hood of Bitcoin: UTXO Lifecycle, Script Execution, and Practical Debugging


📈 150.83 Punkte
🔧 Programmierung

🔧 Implementation Guide for TEI XML Schema Combining RELAX NG and Schematron


📈 149.66 Punkte
🔧 Programmierung