Casper Association R & D

Casper Association R & D

Pinned

Andrzej Broński

ZK Hack Kraków: Winning Double with Risc0

Hackathons are renowned for fostering innovation and creativity, and ZK Hack Kraków was no exception.

6d ago

ZK Hack Kraków: Winning Double with Risc0

6d ago

Pinned

Jonas Pauli

Authorized Anonymous Voting with ZK

Acropolis —A privacy preserving voting zkApp

Jun 20

Authorized Anonymous Voting with ZK

Jun 20

Pinned

Mark A. Greenslade

Casper 2.0 Deep Dive I

A series of technical articles covering Casper 2.0

Jun 7

Casper 2.0 Deep Dive I

Jun 7

Pinned

Mark A. Greenslade

Introducing LITMUS

All proofs emitted by a cryptographically secured system must be verifiable by an independent observer with reasonable cost in both space…

May 26

Introducing LITMUS

May 26

Pinned

Mark A. Greenslade

Responsible DeFi with ACTUS

Strategic advice courtesy of ChatGPT

May 26

Responsible DeFi with ACTUS

May 26

Pinned

Quinn Dougherty

Finance as a Reactive System? Verifying ACTUS Traces with Linear Temporal Logic

Financial interactions are like a traffice light

Mar 14

Mar 14

Pinned

Jonas Pauli

ZK-CSPR: Scaling Casper (V0.1)

This design document of a zero-knowledge rollup system intended to increase the throughput of native Casper transactions.

Mar 11

ZK-CSPR: Scaling Casper (V0.1)

Mar 11

Pinned

Marijan

Announcing risc0pkgs: Your RISC0 Zero-Knowledge Project Built and Deployed With Nix

We show you how you can get started building and deploying your RISC0 project with the power of Nix.

Feb 7

Announcing risc0pkgs: Your RISC0 Zero-Knowledge Project Built and Deployed With Nix

Feb 7

Pinned

Jonas Pauli

Merkle Trees and Privacy

This article will review the implementation details of a privacy enhanced Merkle Tree and explain the utilization of zero knowledge proofs…

Mar 8

Merkle Trees and Privacy

Mar 8

Pinned

Nick Van den Broeck

The security risks of centralized L2

Security risks that come with centralized L2s, and how to design a proper strategy and architecture to circumvent them.

Jan 9

The security risks of centralized L2

Jan 9

The Casper Association stewards the evolution of the Casper Blockchain. It’s R & D program aims to amplify innovation across the eco-system.
Connect with Casper Association R & D
Editors
Casper Association
Casper is a powerful, public smart contract platform empowering creators, communities, and businesses to connect with integrity and trust.
Mark A. Greenslade
dériviste cryptographique

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams