nowfound

Alternatives

Products that do what Crystalline Protocol – A blockchain with a built-in "Logic Firewall" does

created Crystalline Protocol. It treats the blockchain state not just as a key-value store, but as a mathematical set governed by the Axioms of Zermelo-Fraenkel set theory. The PoC (written in Rust) demonstrates an "Axiomatic Engine" that enforces the Axiom of Regularity. It physically prevents circular dependencies (logical loops) at the VM level. If a transaction creates a cycle, the "Logic Firewall" rejects it before it can ever be executed.

  1. 1LA
  2. 2AA
  3. 3DB
  4. 4ZC

    Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly language of zk and every constraint costs prover (and sometimes verifier) time, so production circuits are aggressively hand-optimized. Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as…

    Jul 2026 · zk.golf

  5. 5
    Lock61

    Protocol for safely storing and distributing Etheruem assets

    2019

  6. 6
    Fluree84

    An enterprise secure scalable blockchain database

    2017

  7. 7

    Sharing economy built on blockchain

    2018

  8. 8
    IPFS84

    Peer-to-peer hypermedia protocol for Blockchain powered web

    2015

  9. 9TH
  10. 10RI
  11. 11

    Blockchain-based permanent message creator and reader

    2018

  12. 12IH
  13. 13AB

    2017 · theblockchainnewsletter.com

  14. 14ME
  15. 15NR
  16. 16AL
  17. 17CS

    Hi HN, Alexey from Chainstack here. We built Chainstack Self-Hosted to package everything we’ve learned from 8+ years of running blockchain nodes into a single control panel. The goal we’re building this product around is to make blockchain infrastructure boring to operate. The software is free to install. You only pay for the infrastructure you run it on. The quickest way to get hands-on with it is through the Vultr Marketplace or one of the other providers listed in the docs. The current release supports Ethereum Mainnet, Sepolia, and Hoodi with Reth + Prysm full nodes. We’ll be adding…

    Jun 2026 · docs.chainstack.com

  18. 18SA
  19. 19R1

    2017 · vsergeev.github.io

  20. 20

    Post - Quantum Blockchain (ML-DSA-65)

    Jul 2026 · quantum-lattice.futuristicai.co.za

  21. 21SA
  22. 22AE
  23. 23DA
  24. 24TS

    We have built Tarit as a hypervisor built from ground up for running AI agent and RL environments. It is based on rust-vmm and can be used as a replacement for firecracker. Firecracker was built to serve a different need of primarily serverless compute and hence does not have primitives like live snapshots without pausing the VM operations. We also provide a basic orchestrator that handles placement of the microVMs, creating clusters with HA, maintaining a warm pool of VMs, and takes care of setting up networking and monitoring. Our benchmarks on a metal instance shows an acquire VM from…

    Jul 2026 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →