search

lowRISC / manticore

Apache License 2.0
16 stars 13 forks source link

Implement the Cerberus authentication challenge #114

Closed mcy closed 3 years ago

mcy commented 3 years ago

This PR is the culmination of my last six or so PRs to enable all of the relevant infrastructure to make this functionality possible.

Includes a complete end-to-end test demonstrating that this actually works.

jrvanwhy commented 3 years ago

Can you look at the CI failure? It appears make_fuzz_safe! is interacting badly with lifetimes.

jrvanwhy commented 3 years ago

Oh, immediately after I wrote that, I took a look at #115. #115 looks related, so maybe it fixes the failure?

mcy commented 3 years ago

@jrvanwhy should be fixed now. =)