all InfoSec news
Orbis Specification Language: a type theory for zk-SNARK programming
Aug. 4, 2022, 1:30 p.m. |
IACR News www.iacr.org
ePrint Report: Orbis Specification Language: a type theory for zk-SNARK programming
Morgan Thomas
Orbis Specification Language (OSL) is a language for writing statements to be proven by zk-SNARKs. zk-SNARK theories allow for proving wide classes of statements. They usually require the statement to be proven to be expressed as a constraint system, called an arithmetic circuit, which can take various forms depending on the theory. It is difficult to express complex statements in the form of arithmetic circuits. OSL is …
More from www.iacr.org / IACR News
Updatable Policy-Compliant Signatures
23 hours ago |
www.iacr.org
Guess and Determine Analysis Based on Set Split
23 hours ago |
www.iacr.org
Real-Valued Somewhat-Pseudorandom Unitaries
2 days, 2 hours ago |
www.iacr.org
Jobs in InfoSec / Cybersecurity
Cybersecurity Skills Challenge -- Sponsored by DoD
@ Correlation One | United States
Security Operations Center (SOC) Analyst
@ GK Cybersecurity Group | Remote
Azure Security Architect
@ First Quality | Remote US - Eastern or Central Timezone
Lead Security Analyst
@ OpenText | Virtual, CA
Cybersecurity Research Engineer
@ Peraton | Silver Spring, MD, United States
Enterprise Security Engineer
@ Salesforce | California - San Francisco