Show HN: Proof-native smart contracts without a transaction archive

Category: infrastructure

Tags: blockchain, proof-systems, smart-contracts, zero-knowledge, post-quantum, rust

Score: 8.0/10 (Innovation: 9, Technical: 10, Documentation: 8, Utility: 5)

Parano1d is a proof-native L1 blockchain with recursive proofs that enable validation from genesis without replay, and V2 introduces proof-native smart contracts with a bounded 16-instruction ABI for live rights. The project implements a post-quantum proof stack (FROST-GKR) with no trusted setup, signatureless authorization, and pruning while maintaining verifiability. It is technically ambitious and innovative but targets a niche audience of blockchain protocol researchers and advanced developers.

Target audience: blockchain protocol engineers, cryptography researchers, smart contract developers

Repository: https://colosseum.com/arena/projects/parano1d · Rust · Apache-2.0 · 45 stars

View on Hacker News