LayerXcom/cbc-casper-proof external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

LayerXcom/cbc-casper-proof

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/LayerXcom/cbc-casper-proof)

Close

LayerXcom / cbc-casper-proofView on GitHubMore

• External links
• Readme badge

Proofs of properties of CBC Casper

☆36Oct 7, 2019Updated 6 years ago

Alternatives and similar repositories for cbc-casper-proof

Users that are interested in cbc-casper-proof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• LayerXcom / lx-sonic

  View on GitHub
  Sonic implementation in Rust
  ☆17Jun 4, 2019Updated 6 years ago
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago
• kwantam / GooSig

  View on GitHub
  GooSig: short signatures from RSA that hide the signer's RSA public key
  ☆12Jan 8, 2020Updated 6 years ago
• kandersen / dpc

  View on GitHub
  Distributed Protocol Combinators
  ☆14Apr 11, 2021Updated 4 years ago
• cbc-casper / cbc-casper-paper

  View on GitHub
  An Introduction to CBC Casper Consensus Protocols
  ☆137Feb 26, 2019Updated 7 years ago
• decanus / bureka

  View on GitHub
  Pastry DHT implementation with a standalone libp2p compatible node
  ☆12Jun 22, 2020Updated 5 years ago
• LayerXcom / gram

  View on GitHub
  A 64bit-TinyRAM simulator in Go
  ☆13Oct 18, 2018Updated 7 years ago
• dancju / ln-crypto

  View on GitHub
  message signing and verifying for Lightning Network
  ☆11Jan 6, 2023Updated 3 years ago
• LayerXcom / verified-vyper-contracts

  View on GitHub
  FVyper: A collection of useful Vyper contracts developed with formal methods
  ☆57Apr 19, 2021Updated 4 years ago
• drewstone / rust-miximus

  View on GitHub
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆22May 6, 2019Updated 6 years ago
• kilic / pre-comm-ct

  View on GitHub
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Mar 16, 2020Updated 6 years ago
• raiden-network / raiden-services

  View on GitHub
  Development of the Raiden Monitoring and Pathfinding Services
  ☆10Mar 7, 2023Updated 3 years ago
• smlsharp / mlpractice-book

  View on GitHub
  Supplemental materials for the book entitled "Practical ML Programming with SML#"
  ☆10Jun 27, 2025Updated 8 months ago
• runtimeverification / casper-proofs

  View on GitHub
  Coq definitions and lemmas for verification of Casper
  ☆19Aug 15, 2019Updated 6 years ago
• status-im / nescience

  View on GitHub
  A Zero-Knowledge Toolkit
  ☆15Oct 15, 2020Updated 5 years ago
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 3 years ago
• renproject / rzl-mpc-specification

  View on GitHub
  Specification of the RenVM MPC algorithm
  ☆19May 27, 2020Updated 5 years ago
• banteg / imagehashmasks

  View on GitHub
  hashmask reverse lookup
  ☆17Feb 2, 2021Updated 5 years ago
• interlay / interbtc-spec

  View on GitHub
  interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge
  ☆17May 18, 2022Updated 3 years ago
• kframework / solidity-semantics

  View on GitHub
  Semantics of Solidity in K
  ☆29Oct 11, 2019Updated 6 years ago
• decrypto-org / TrustIsRisk

  View on GitHub
  Decentralized monetary trust network
  ☆32Jul 30, 2017Updated 8 years ago
• mryndzionek / tlaplus_specs

  View on GitHub
  Different TLA+ specifications, mostly for learning purposes
  ☆31May 6, 2024Updated last year
• jrhea / mothra

  View on GitHub
  Libp2p for dummies
  ☆12Jul 24, 2020Updated 5 years ago
• LayerXcom / plasma-mvp-vyper

  View on GitHub
  Implementation of Minimal Viable Plasma in Vyper
  ☆52Aug 12, 2020Updated 5 years ago
• arielgabizon / Lectures

  View on GitHub
  ☆28Jan 12, 2026Updated 2 months ago
• raulk / dht-hawk

  View on GitHub
  a pet hawk that watches peer flux in libp2p dhts 🦅
  ☆20Dec 13, 2019Updated 6 years ago
• GaloisInc / BLST-Verification

  View on GitHub
  BLST-Verification
  ☆23Jan 22, 2026Updated 2 months ago
• ethereum-mousse / mousse

  View on GitHub
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆48Mar 12, 2021Updated 5 years ago
• status-im / geth_exporter

  View on GitHub
  geth metrics exporter for Prometheus
  ☆13Jan 21, 2026Updated 2 months ago
• iden3 / iden3-docs

  View on GitHub
  iden3 documentation
  ☆14Jan 23, 2024Updated 2 years ago
• whiteblock / gossipsub-testing

  View on GitHub
  Gossipsub tests
  ☆17Jun 22, 2022Updated 3 years ago
• foodotbar / Compact-Proofs-of-Retrievability

  View on GitHub
  Compact Proofs of Retrievability
  ☆13May 28, 2014Updated 11 years ago
• CarlBeek / CBC_LMD

  View on GitHub
  ☆10Mar 28, 2022Updated 3 years ago
• LayerXcom / vyper-remix

  View on GitHub
  Remix Vyper Plugin
  ☆19Sep 4, 2020Updated 5 years ago
• wfus / proof-of-sequential-work

  View on GitHub
  Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…
  ☆10Aug 26, 2018Updated 7 years ago
• ethereum / cbc-casper

  View on GitHub
  ☆230Apr 9, 2019Updated 6 years ago
• daira / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Mar 13, 2026Updated last week
• protolambda / zrnt

  View on GitHub
  ZRNT - Executable spec for ETH 2.0, implemented in Go
  ☆102Aug 28, 2025Updated 6 months ago