You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@@ -13,6 +13,11 @@ The Universal Proof Generation Layer
-<https://www.fermah.xyz/>
### Aleo Mainnet is Here
-<https://aleo.org/post/announcing-aleo-mainnet/>
### powdr: a toolkit that helps build zkVMs and similar proof frameworks.
It has two main components:
1. powdr-asm: an extensible assembly IR language to perform dynamic executions.
2. powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc. It includes a functional meta-constraint language to describe how constraints are generated.
-<https://github.com/powdr-labs/powdr>
## Updates
### ZK Day at Science of Blockchain Conference '24