LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

uc_model_checking

universal composability

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

8mo ago

Recent commits

Latest commits.

adding verification requests
b94c44adfirsov8mo ago
starting to work on nizk
004645bdfirsov8mo ago
polishing
40a5722dfirsov9mo ago
polishing
a700c1adfirsov9mo ago
verify reqs fixed
c47472adfirsov9mo ago

records instead of tuples

b7a7b56dfirsov9mo ago

readme for f-sig

5bdf4c3dfirsov9mo ago

readme for f-sig

17bf900dfirsov9mo ago

Top contributors

Builders behind this project.