Covenants and ZKPs on Bitcoin Without Soft Fork
5/1/2024
A zk-SNARK based proving system with PlonK-style arithmetization.
9/6/2024
Generate inputs for any ZK system
9/2/2024
