RWC 2026 will be held in Taipei between March 9 and 11, 2026, and Karthik is serving as one of the program committee chairs. Submissions are now open and the deadline is October 10th. So if you have something cool you're doing with crypto, submit a talk!
September 18, 2025 at 9:02 AM
RWC 2026 will be held in Taipei between March 9 and 11, 2026, and Karthik is serving as one of the program committee chairs. Submissions are now open and the deadline is October 10th. So if you have something cool you're doing with crypto, submit a talk!
The hax toolchain already supports several proof backends, including F*, Rocq, ProVerif, and SSProve. Give it a try hax-playground.cryspen.com
June 17, 2025 at 4:38 AM
The hax toolchain already supports several proof backends, including F*, Rocq, ProVerif, and SSProve. Give it a try hax-playground.cryspen.com
With the support of this grant, Cryspen will release a new version of hax that can translate Rust source code to purely functional models in Lean, enabling users to mathematically prove the correctness of their code using the increasingly popular Lean proof assistant.
June 17, 2025 at 4:38 AM
With the support of this grant, Cryspen will release a new version of hax that can translate Rust source code to purely functional models in Lean, enabling users to mathematically prove the correctness of their code using the increasingly popular Lean proof assistant.