Skip to content
@cspr-rad

Casper Association R&D

Casper Association research & development
README.md

Casper Association Research and Development

Pinned Loading

  1. kairos-trie kairos-trie Public

    Rust 6

  2. kairos kairos Public

    Rust 2

  3. cctl cctl Public

    Forked from casper-network/cctl

    Bash application to work with a local casper-node network.

    Shell 1

  4. actus-spec actus-spec Public

    Typst

  5. kairos-spec kairos-spec Public

    Typst

Repositories

Showing 10 of 51 repositories
  • cspr-consensus-formal Public

    Formalization of some pen-and-paper proofs associated with Casper's consensus algorithm.

    cspr-rad/cspr-consensus-formal’s past year of commit activity
    Lean 0 0 0 0 Updated Sep 30, 2024
  • litmus-wasm Public
    cspr-rad/litmus-wasm’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Sep 29, 2024
  • litmus-worker Public
    cspr-rad/litmus-worker’s past year of commit activity
    TypeScript 0 0 0 0 Updated Sep 29, 2024
  • docs Public

    Publically available documentation generated by R&D team

    cspr-rad/docs’s past year of commit activity
    0 MIT 0 0 0 Updated Sep 26, 2024
  • casper-groth16-contract Public Forked from jonas089/casper-groth16-contract

    Verify a Circom proof in a Casper Smart Contract

    cspr-rad/casper-groth16-contract’s past year of commit activity
    Rust 0 1 0 0 Updated Sep 25, 2024
  • kairos Public
    cspr-rad/kairos’s past year of commit activity
    Rust 2 Apache-2.0 0 14 1 Updated Sep 24, 2024
  • litmus Public
    cspr-rad/litmus’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 24, 2024
  • groth16-wasm Public Forked from jonas089/groth16-wasm

    Groth16 R&D work revolving around precompiles for Casper L1

    cspr-rad/groth16-wasm’s past year of commit activity
    Rust 0 1 0 0 Updated Sep 24, 2024
  • litmus-zk-sp1 Public

    SP1 ZK-VM port of litmus verification functions.

    cspr-rad/litmus-zk-sp1’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Sep 22, 2024
  • cctl-rs Public
    cspr-rad/cctl-rs’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 20, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…