@@ -64,34 +64,34 @@ let mut ring = (0..RING_SIZE).map(|i| Secret::from_seed(&i.to_le_bytes()).public
6464// Patch the ring with the public key of the prover
6565ring [prover_key_index ] = public . 0 ;
6666// Any key can be replaced with the padding point
67- ring [0 ] = RingContext :: padding_point ();
67+ ring [0 ] = RingProofParams :: padding_point ();
6868```
6969
7070_ Ring parameters construction_
7171``` rust
72- let ring_ctx = RingContext :: from_seed (RING_SIZE , b " example seed" );
72+ let params = RingProofParams :: from_seed (RING_SIZE , b " example seed" );
7373```
7474
7575_ Prove_
7676``` rust
7777use ark_ec_vrfs :: ring :: Prover ;
78- let prover_key = ring_ctx . prover_key (& ring );
79- let prover = ring_ctx . prover (prover_key , prover_key_index );
78+ let prover_key = params . prover_key (& ring );
79+ let prover = params . prover (prover_key , prover_key_index );
8080let proof = secret . prove (input , output , aux_data , & prover );
8181```
8282
8383_ Verify_
8484``` rust
8585use ark_ec_vrfs :: ring :: Verifier ;
86- let verifier_key = ring_ctx . verifier_key (& ring );
87- let verifier = ring_ctx . verifier (verifier_key );
86+ let verifier_key = params . verifier_key (& ring );
87+ let verifier = params . verifier (verifier_key );
8888let result = Public :: verify (input , output , aux_data , & proof , & verifier );
8989```
9090
9191_ Verifier key from commitment_
9292``` rust
93- let ring_commitment = ring_ctx . verifier_key (). commitment ();
94- let verifier_key = ring_ctx . verifier_key_from_commitment (ring_commitment );
93+ let ring_commitment = params . verifier_key (). commitment ();
94+ let verifier_key = params . verifier_key_from_commitment (ring_commitment );
9595```
9696
9797## Features
0 commit comments