search

ebfull / halo

Other
115 stars 17 forks source link

Bitcoin block header validation circuit #1

Closed str4d closed 5 years ago

str4d commented 5 years ago

Includes a SHA-256 gadget ported from bellman. The underlying AllocatedBit and Boolean constraints have been adapted from R1CS.