lyronctk/zator

This is stars and forks stats for /lyronctk/zator repository. As of 26 Apr, 2024 this repository has 136 stars and 12 forks.

Zator: Verified inference of a 512-layer neural network using recursive SNARKs 🐊 There has been tremendous progress in the past year toward verifying neural network inference using SNARKs. Along this line of research, notable projects such as EZKL and work by D. Kang et al have been able to snark models as complex as a 50-layer MobileNetv2 on the Halo2 proving stack. The primary constraint preventing these efforts from expanding to even deeper models is the fact that they attempt to fit the entire...