# Banshee zkCasper Spec
- [Introduction](/EQEvI_hMQXGnZ_8gfbiPiQ)
## Overview
- [Architecture](/r89o3kFcTA-zWW1ia5spXQ)
- [Tables](/6B5be79aQni9TeRlxb0yIA)
- [Public Inputs](/29ALkrsiRiC4Rkboj3wnaA)
## Circuits
- [Casper Circuit](/lFxw_hsGSSC1Ir7cnt0coA)
- [State Circuit](/MM_04SbgR42f053XEqcs9w)
- [Validators Circuit](/rgNEXSR4T--WGypp02n1rw)
- [Aggregation Circuit](/IkcCzb_vSTuUiiLFavLqRw)
- [Attestations Circuit](/6pIqAv1jQE6zz4MMTSM57Q)
- [SHA256 Circuit](/2oO6i0RNTVeF2lCXOwqbGw)
## Optimizations
- [Recurise SHA256 Circuit](/dRg9q8lbQt-w5P4oxlSigQ)
- [Heterogeneous Proving](/gLyD0yyOQFCmB6oetW_48w)
- [KZG Membership Proofs](/pw5Skc4xSia1SLGlX6pbsg)
{"description":"Introduction","title":"Banshee zkCasper Spec","metaMigratedAt":"2023-06-20T12:05:07.653Z","metaMigratedFrom":"Content","breaks":true,"contributors":"[{\"id\":\"eaf22bea-50a8-416e-9c18-02860a8b3f45\",\"add\":737,\"del\":71}]"}