Skip to content

Actions: Verified-zkEVM/ZKLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: more update on Fiat-Shamir Compile blueprint #12: Commit 7bd3276 pushed by quangvdao
January 8, 2025 13:50 3m 31s main
main
January 8, 2025 13:50 3m 31s
feat: added initial writeup of the BCS and Fiat-Shamir transforms Compile blueprint #11: Commit e5dcfe7 pushed by quangvdao
January 7, 2025 07:46 3m 36s main
main
January 7, 2025 07:46 3m 36s
chore: fixed broken file, added TODOs for Merkle trees Compile blueprint #10: Commit 2d78e29 pushed by quangvdao
January 3, 2025 04:41 3m 9s main
main
January 3, 2025 04:41 3m 9s
Merge pull request #5 from Verified-zkEVM/fix-oracle-verifier Compile blueprint #9: Commit 8ee8b1a pushed by quangvdao
January 2, 2025 15:12 1h 15m 30s main
main
January 2, 2025 15:12 1h 15m 30s
Create References.md Compile blueprint #8: Commit 0643b13 pushed by quangvdao
December 21, 2024 04:54 1h 26m 17s main
main
December 21, 2024 04:54 1h 26m 17s
Update ROADMAP.md Compile blueprint #7: Commit c0d8e3f pushed by quangvdao
December 21, 2024 04:50 1h 30m 57s main
main
December 21, 2024 04:50 1h 30m 57s
Update README.md Compile blueprint #6: Commit c519255 pushed by quangvdao
December 21, 2024 03:05 1h 33m 0s main
main
December 21, 2024 03:05 1h 33m 0s
feat: added new definition of code distance via Set.infsep Compile blueprint #5: Commit 2784880 pushed by quangvdao
December 20, 2024 18:23 1h 30m 46s main
main
December 20, 2024 18:23 1h 30m 46s
chore: fixed error in UniPoly by putting Lagrange in namespace Compile blueprint #4: Commit f52f3fc pushed by quangvdao
December 20, 2024 18:05 1h 32m 11s main
main
December 20, 2024 18:05 1h 32m 11s
Update README.md Compile blueprint #3: Commit c0b2997 pushed by quangvdao
December 18, 2024 16:31 1h 14m 3s main
main
December 18, 2024 16:31 1h 14m 3s
Update README.md Compile blueprint #2: Commit 26dc42b pushed by quangvdao
December 18, 2024 16:30 1h 14m 8s main
main
December 18, 2024 16:30 1h 14m 8s
Compile blueprint Compile blueprint #1: Manually run by quangvdao
December 18, 2024 16:16 1h 12m 41s main
main
December 18, 2024 16:16 1h 12m 41s