PinnedMark A. GreensladeZK Governance Protocol For A POS BlockchainCourtesy of GPT-4oNov 1, 2024Nov 1, 2024
PinnedMark A. GreensladeLitmus: Merkle Proof VerificationMatt Doty: Casper Association R&DOct 19, 2024Oct 19, 2024
PinnedQuinn DoughertyFormalizing “Zug” ConsensusHere at Casper Association R&D, we are charged with formalizing and proving correct the theories underlying the Casper blockchain.Oct 18, 2024Oct 18, 2024
PinnedMark A. GreensladeKairos: Efficient Merkle Trie for ZK VMsAvi Dessauer — Casper Network R&DSep 30, 2024Sep 30, 2024
PinnedJonas PauliBridging USDC on CasperThis article documents the journey of implementing a USDC bridge that is compliant with Circle’s CCTP (Cross Chain Transfer Protocol).Sep 30, 2024Sep 30, 2024
PinnedJonas PauliZK-EVM State Replication in alternative Execution EnvironmentsCross-chain interoperability has long been a challenge in the blockchain space. However, new solutions leveraging Zero Knowledge proofs…Sep 30, 2024Sep 30, 2024
PinnedAvi DessauerKairos-Trie: An Efficient Merkle Trie for ZK VMsThis blog post is a deep dive into kairos-trie, a Rust trie store specially conceived for ZK environments. Following an overview of the…Sep 30, 2024Sep 30, 2024
PinnedMark A. GreensladeLitmus: In-Browser Light ClientPavel Burylichev — Casper Network R&DSep 29, 2024Sep 29, 2024
PinnedMark A. GreensladeLitmus: Enhanced Web Wallet SecurityPavel Burylichev — Casper Network R&DSep 29, 2024Sep 29, 2024