LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

circom-circuits

linqining/circom-circuits

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

4mo ago

Recent commits

Latest commits.

refactor: add derive_raw_fp_inv tactic and proof naming conventions
3940383Justin Martin4mo ago
refactor: add custom Ltac tactics, hint database, and .vos support across all proofs
4756052Justin Martin4mo ago
chore: ignore .coq-native build artifact directories
2ac7a18Justin Martin4mo ago
feat: prove all Tier 4 completeness theorems via axiomatized field inverse
66822f0Justin Martin4mo ago
docs: update trust assumptions to reflect resolved verification gaps
d58f3bdJustin Martin

4mo ago

feat: prove all BigInt completeness theorems, eliminating all Admitted lemmas

f5527efJustin Martin4mo ago

feat: add completeness proofs for witness computation (#2)

86bbc87Justin Martin4mo ago

feat: axiomatize BabyJubjub group law properties (closes #5)

1121416Justin Martin4mo ago

Top contributors

Builders behind this project.