Pull Requests
8
Code Reviews
5
Top Repositories
#
Repository
Stars
Forks
Issues (open)
Contributors
Activity Feed (latest 7)
pushed to civer_with_ffsolver in costa-group/circom_civer
Jul 1, 2025, 12:02 PM
deleted branch civer_with_ffsol at costa-group/circom_civer
Jun 19, 2025, 1:38 PM
created a branch civer_with_ffsolver in costa-group/circom_civer
Jun 19, 2025, 1:38 PM
deleted branch our_solver at costa-group/circom_civer
Jun 19, 2025, 1:31 PM
created a branch civer_with_ffsol in costa-group/circom_civer
Jun 19, 2025, 1:31 PM
created a branch civer_with_cvc5 in costa-group/circom_civer
Jun 19, 2025, 1:31 PM
pushed to clustering_equivalency_update in costa-group/ZK-ARCKIT
Jun 7, 2025, 8:48 PM